231 search results - page 2 / 47 » Continuity controlled hybrid automata |
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...
HYBRID
1998
Springer
14 years 3 months ago
1998
Springer
We continue investigation of languages, accepted by timed automata of Alur and Dill. In [ACM97] timed regular expressions equivalent to timed automata were introduced. Here we intr...
HYBRID
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
HYBRID
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. In earlier work, we developed a mathematical hybrid I/O automaton (HIOA) modeling framework, capable of describing both discrete and continuous behavior. This framework h...
HYBRID
2010
Springer
14 years 5 months ago
2010
Springer