1. The algorithmic analysis of hybrid systems;Alur,1994
2. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems;Alur,1993
3. A formal modeling scheme for continuous systems: Focus on diagnosis;Biswas,1993
4. Mechanical Impact Dynamics;Brach,1991
5. A unified framework for hybrid control: Model and optimal control theory;Branicky;IEEE Trans. Automat. Control,1998