Hybrid systems computation and control : 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005 : proceedings / - Morari, Manfred.; Thiele, Lothar. (Lecture notes in computer science ;)