Infinite Runs in Weighted Timed Automata with Energy Constraints

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

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:	Vysoce paralelní a distribuované výpočetní systémy