Hybrid systems : computation and control : part of CPS week ; HSCC'14 ; proceedings of the 17th international conference ; Berlin, Germany, April 15 - 17, 2014 (ACM - Association for Computing Machinery, 2014)