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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2012 Ninth International Conference on Quantitative Evaluation of Systems S. 128 - 137
Hauptverfasser:	Bouyer, P., Larsen, K. G., Markey, N.
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.09.2012
Schlagworte:	Clocks Cost accounting Delay energy constraints Energy states Schedules Turing machines Weighted timed automata
ISBN:	9781467323468, 1467323462
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!