14 search results - page 1 / 3 » On Timed Automata with Input-Determined Guards |
FSTTCS
2006
Springer
13 years 8 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
13 years 10 months ago
2004
Springer
FORMATS
2007
Springer
13 years 11 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
13 years 10 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 2 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...