Hybrid systems : computation and control : HSCC'13 ; proceedings of the 16th international conference ; Philadelphia, PA, USA, April 8-11, 2013 (ACM - Association for Computing Machinery, 2013)