Hybrid Systems: Computation and Control : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings - Egerstedt, Magnus (Herausgeber); Mishra, Bud (Herausgeber) (Theoretical Computer Science and General Issues, 2008)