Distributed Computation for Cooperative Control
Hybrid Automata: an algorithmic approach to the specification and verification of hybrid systems