What's decidable about hybrid automata?
Hybrid Automata: an algorithmic approach to the specification and verification of hybrid systems