Hybrid systems : computation and control : HSCC ́11, proceedings of the 14th international conference, Chicago, Illinois, April 12-14, 2011 - Pappas, George J. (ACM - Association for Computing Machinery, 2011)