Lower-Bound Constrained Runs in Weighted Timed Automata

We investigate a number of problems related to infinite runs of weighted timed automata, subject to lower-bound constraints on the accumulated weight. Closing an open problem from an earlier paper, we show that the existence of an infinite lower-bound-constrained run is -- for us somewhat unexpected...

Celý popis

Podrobná bibliografia

Vydané v:	2012 Ninth International Conference on Quantitative Evaluation of Systems s. 128 - 137
Hlavní autori:	Bouyer, P., Larsen, K. G., Markey, N.
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.09.2012
Predmet:	Clocks Cost accounting Delay energy constraints Energy states Schedules Turing machines Weighted timed automata
ISBN:	9781467323468, 1467323462
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!