Hybrid systems: computation and control (vol. # 3414) 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings - Morari, Manfred (Lecture Notes in Computer Science, 2005)