Hybrid systems: computation and control : 11th International Workshop, HSCC 2008 : St. Louis, MO, USA, April 22-24, 2008 : proceedings - Egerstedt, Magnus, 1971-; Mishra, Bhubaneswar, 1958- (Lecture notes in computer science ;, 2008)