231 search results - page 5 / 47 » Continuity controlled hybrid automata |
HYBRID
2001
Springer
15 years 1 months ago
2001
Springer
58
Voted
HYBRID
2007
Springer
15 years 3 months ago
2007
Springer
66
Voted
HYBRID
2007
Springer
15 years 3 months ago
2007
Springer
HYBRID
2003
Springer
15 years 2 months ago
2003
Springer
The algorithmic analysis of timed automata is fundamentally limited by the undecidability of the universality problem. For this reason and others, there has been considerable inter...
HYBRID
2007
Springer
15 years 3 months ago
2007
Springer
This paper addresses questions regarding the decidability of hybrid automata that may be constructed hierarchically and in a modular way, as is the case in many exemplar systems, b...