Hybrid Systems: Computation and Control : 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings - Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo ((Lecture Notes in Computer Science))