Informace o publikaci

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 FAHRENBERG Uli LARSEN Kim G. MARKEY Nicolas SRBA Jiří

Rok publikování 2008
Druh Článek ve sborníku
Konference Proceedings of Formal Modeling and Analysis of Timed Systems (FORMATS'08), Lecture Notes in Computer Science 5215
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova timed automata; infinite runs; decidability; complexity
Popis 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é.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info