2008
Infinite Runs in Weighted Timed Automata with Energy Constraints
BOUYER, Patricia, Uli FAHRENBERG, Kim G. LARSEN, Nicolas MARKEY, Jiří SRBA et. al.Základní údaje
Originální název
Infinite Runs in Weighted Timed Automata with Energy Constraints
Název česky
Nekonečné běhy v ohodnocených časových automatech s ohraničením energie
Autoři
BOUYER, Patricia (250 Francie), Uli FAHRENBERG (276 Německo), Kim G. LARSEN (208 Dánsko), Nicolas MARKEY (250 Francie) a Jiří SRBA (203 Česká republika, garant)
Vydání
Netherlands, Proceedings of Formal Modeling and Analysis of Timed Systems (FORMATS'08), Lecture Notes in Computer Science 5215, od s. 33-47, 15 s. 2008
Nakladatel
Springer-Verlag
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Nizozemské království
Utajení
není předmětem státního či obchodního tajemství
Kód RIV
RIV/00216224:14330/08:00026471
Organizační jednotka
Fakulta informatiky
ISBN
978-3-540-85777-8
UT WoS
000260375100004
Klíčová slova česky
časové automaty; nekonečné běhy; rozhodnutelnost; složitost
Klíčová slova anglicky
timed automata; infinite runs; decidability; complexity
Štítky
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 24. 3. 2010 15:18, Prof. Jiří Srba, Ph.D.
V originále
We study the problems of existence and construction of infinite schedules for finite weighted automata and one-clock weighted timed automata, subject to boundary constraints on the accumulated weight. More specifically, we consider automata equipped with positive and negative weights on transitions and locations, corresponding to the production and consumption of some resource (e.g. energy). We ask the question whether there exists an infinite path for which the accumulated weight for any finite prefix satisfies certain constraints (e.g. remains between 0 and some given upper-bound). We also consider a game version of the above, where certain transitions may be uncontrollable.
Česky
Studujeme problémy existence a konstrukce nekonečné plány pro konečné vážené automaty a jeden-hodiny vážené časované automaty, s výhradou omezení na hranici nahromaděné hmotnosti. Přesněji řečeno, domníváme se, že automaty vybavené pozitivní a negativní váhy na přechody a místa, odpovídající výroby a spotřeby některých zdrojů (např. energie). Ptáme se, zda existuje nekonečné cestě, pro které akumulované váhy pro všechny konečné prefix splňuje určitá omezení (např. zůstává mezi 0 a některé dané horní-svázal). Bereme v potaz také hru verzi výše, kde některé přechody mohou být nekontrolovatelné.
Návaznosti
| MSM0021622419, záměr |
|