Lecture Notes in Computer Science 1567:
Hybrid Systems V

Edited by
Panos Antsaklis, Wolf Kohn,
Michael Lemmon, Anil Nerode, and Shankar Sastry