Hybrid Systems: Computation and Control - HSCC 2005; Kanade, Takeo; Morari, Manfred; Thiele, Lothar; Rossi, Francesca (Springer Berlin / Heidelberg, 2005)