Minimizing Running Costs in Consumption Systems

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F14%3A00074098" target="_blank" >RIV/00216224:14330/14:00074098 - isvavai.cz</a>

Výsledek na webu

<a href="http://arxiv.org/abs/1402.4995" target="_blank" >http://arxiv.org/abs/1402.4995</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-08867-9_30" target="_blank" >10.1007/978-3-319-08867-9_30</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Minimizing Running Costs in Consumption Systems

Popis výsledku v původním jazyce

A standard approach to optimizing long-run running costs of discrete systems is based on minimizing the mean-payoff, i.e., the long-run average amount of resources ("energy") consumed per transition. However, this approach inherently assumes that the energy source has an unbounded capacity, which is not always realistic. For example, an autonomous robotic device has a battery of finite capacity that has to be recharged periodically, and the total amount of energy consumed between two successive chargingcycles is bounded by the capacity. Hence, a controller minimizing the mean-payoff must obey this restriction. In this paper we study the controller synthesis problem for consumption systems with a finite battery capacity, where the task of the controller is to minimize the mean-payoff while preserving the functionality of the system encoded by a given linear-time property.

Název v anglickém jazyce

Minimizing Running Costs in Consumption Systems

Popis výsledku anglicky

A standard approach to optimizing long-run running costs of discrete systems is based on minimizing the mean-payoff, i.e., the long-run average amount of resources ("energy") consumed per transition. However, this approach inherently assumes that the energy source has an unbounded capacity, which is not always realistic. For example, an autonomous robotic device has a battery of finite capacity that has to be recharged periodically, and the total amount of energy consumed between two successive chargingcycles is bounded by the capacity. Hence, a controller minimizing the mean-payoff must obey this restriction. In this paper we study the controller synthesis problem for consumption systems with a finite battery capacity, where the task of the controller is to minimize the mean-payoff while preserving the functionality of the system encoded by a given linear-time property.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP202%2F10%2F1469" target="_blank" >GAP202/10/1469: Formální metody pro analýzu a verifikaci komplexních systémů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2014

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Computer Aided Verification

ISBN

9783319088662

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

16

Strana od-do

457-472

Název nakladatele

Springer International Publishing

Místo vydání

Neuveden

Místo konání akce

Vídeň

Datum konání akce

1. 1. 2014

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—