1. “Hybrid systems I. Verification and control”, ed. Grossman, R.L., Nerode, A., Ravn, A.P., and Rishel, H. Lecture Notes in Computer Sciences, vo1.736, Springer, 1993.
2. “Hybrid systems II. Verification and control”, ed. Antsaklis, P., Kohn, W., Nerode, A., and Sastry, Sh. Lecture Notes in Computer Sciences, vo1.999, Springer, 1995.
3. “Hybrid systems III. Verification and control”, ed. Alur, R., Henzinger, T.A., and Zontag, E.D. Lecture Notes in Computer Sciences,vol.1066, Springer, 1996.
4. Antsaklis, P., Stiver, J., and Lemmon, M., “Hybrid systems modelling and autonomous control systems”, in [1], pp.366–392.
5. Brockett, R.W., “Hybrid models for motor control systems“. In Trentelman, H.L and Willems, J.C., editors, “Essays in Control”, Birkhauser, Boston, 1993.