Proceedings of the 13th ACM international conference on Hybrid systems: computation and control

Abstract

This volume contains 29 peer-reviewed papers accepted for presentation at the 13th ACM International Conference on Hybrid Systems Computation and Control (HSCC 2010) held in Stockholm, April 12-16, 2010. HSCC 2010 received 102 submissions. All the submitted papers were reviewed by at least three PC members with support from external reviewers. In total, 329 reviews were written for the submissions and 29 papers were accepted after a two-week on-line PC meeting. This yields an accept rate of approximately 28%. In addition, a Work-in-Progress session for short papers was organized. The accepted Work-in-Progress papers are not included in the published proceedings. The annual conference on hybrid systems focuses on research in embedded, reactive systems involving the interplay between discrete switching and continuous dynamics. HSCC is a forum for academic and industrial researchers and practitioners to exchange information on the latest advancements, both practical and theoretical, in the design, analysis, control, optimization, and implementation of hybrid systems. Previous editions of HSCC were held in Berkeley (1998), Nijmegen (1999), Pittsburgh (2000), Rome (2001), Palo Alto (2002), Prague (2003), Philadelphia (2004), Zurich (2005), Santa Barbara (2006), Pisa (2007), St. Louis (2008) and San Francisco (2009). HSCC 2010 was part of the 3rd Cyber-Physical Systems Week (CPSWeek), which is the collocated cluster of five conferences and workshops: HSCC, ICCPS (International Conference on Cyber-Physical Systems), IPSN (International Conference on Information Processing in Sensor Networks), LCTES (Conference on Languages, Compilers, and Tools for Embedded Systems), and RTAS (Real-Time and Embedded Technology and Application Symposium). Through CPSWeek, the five conferences had joint plenary speakers, poster and demo sessions, workshops and tutorials as well as joint social events.