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 | |
| 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 | |
| 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: |