6 search results - page 1 / 2 » On Continuous Timed Automata with Input-Determined Guards |
FSTTCS
2006
Springer
15 years 1 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
15 years 2 months ago
2004
Springer
FORMATS
2007
Springer
15 years 3 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...
100
Voted
HYBRID
2005
Springer
15 years 3 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...
RTAS
2003
IEEE
15 years 2 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...