172
click to vote
HYBRID
2007
Springer
16 years 3 days 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...