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

Full description

Bibliographic Details

Published in:	2012 Ninth International Conference on Quantitative Evaluation of Systems pp. 128 - 137
Main Authors:	Bouyer, P., Larsen, K. G., Markey, N.
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.09.2012
Subjects:	Clocks Cost accounting Delay energy constraints Energy states Schedules Turing machines Weighted timed automata
ISBN:	9781467323468, 1467323462
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!