14 search results - page 1 / 3 » On Timed Automata with Input-Determined Guards |
FSTTCS
2006
Springer
14 years 2 months ago
2006
Springer
We consider a general class of timed automata parameterized by a set of "input-determined" operators, in a continuous time setting. We show that for any such set of opera...
FORMATS
2004
Springer
14 years 4 months ago
2004
Springer
FORMATS
2007
Springer
14 years 5 months ago
2007
Springer
We identify a class of timed automata, which we call counter-free input-determined automata, which characterize the class of timed languages definable by several timed temporal l...
HYBRID
2005
Springer
14 years 4 months ago
2005
Springer
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...
FSTTCS
2010
Springer
13 years 9 months ago
2010
Springer
Quantitative properties of timed regular languages, such as information content (growth rate, entropy) are explored. The approach suggested by the same authors is extended to lang...