Distributed algorithms for cooperative control
Hybrid Automata: an algorithmic approach to the specification and verification of hybrid systems