Choose the MOST sensible and appropriate answers
References
Wolf Kohn, John James, Anil Nerode, Karan Harbison and Ashok Agrawala."A Hybrid Systems Approach to Computer Aided Control Engineering," IEEE Control Systems, April 1995, pp. 14-25.
Anil Nerode, Wolf Kohn."Models for Hybrid Systrem: Automata, Topologies,
Controllability, Observability". Lecture Notes in Computer Science: Hybrid
Systems. Springer-Verlag, 1993, pp. 317-356.