Hybrid systems : computation and control : HSCC'12 ; proceedings of the 15th ACM international conference : Beijing, China, April 17 - 19, 2012 (ACM - Association for Computing Machinery, 2012)