HSCC 2012
The 15th International Conference on Hybrid Systems: Computation and Control (HSCC 2012) will take
place in Beijing, in April 17-19, 2012.

HSCC 2012 is part of the 5th Cyber Physical Systems Week (CPSWeek) which is the collocated cluster of five conferences and workshops: HSCC, RTAS (Real-Time and Embedded Technology and Applications Symposium), IPSN (International Conference on Information Processing in Sensor Networks), and ICCPS (International Conference on Cyber-Physical Systems). Through CPSWeek, the five major events will have a shared registration process, joint invited speakers and poster sessions, and joint social events.

HSCC 2012 is the 15th in a series of successful annual meetings dedicated to research in embedded reactive systems involving the interplay between symbolic/discrete and continuous dynamical behaviors. Such interplay often arises in embedded, reactive and cyber-physical systems, but also appears in other types of systems as well. Academic and industrial researchers are invited to submit manuscripts detailing the latest developments in practice and theory pertaining to the analysis, design, control, optimization, verification, implementation and applications of such hybrid systems.

The previous editions of HSCC were held in Berkeley, USA (1998), Nijmegen, The Netherlands (1999), Pittsburgh, USA (2000), Rome, Italy (2001), Palo Alto, USA (2002), Prague, Czech Republic (2003), Philadelphia, USA (2004), Zurich, Switzerland (2005), Santa Barbara, USA (2006), Pisa, Italy (2007), St. Louis, USA (2008), San Francisco, USA (2009), Stockholm, Sweden (2010), Chicago, USA (2011).


Conference Topics

Submissions are invited in all areas pertaining to the analysis, design, control, optimization,
implementation, and applications of hybrid dynamical systems. Topics of interest include, but are not
limited to:

Models of heterogeneous systems;
Computability and complexity issues;
Real-time computing and control;
Embedded and resource-aware control;
Computation and control over wireless networks;
Mobile robotic networks;
Tools for analysis, verification, control, and design;
Programming languages support and implementation;
Hybrid modeling and analysis techniques in systems biology
Applications, including automotive, communication networks, avionics, energy systems, transportation networks, biology and other sciences, manufacturing and robotics.



Thao Dang and Ian Mitchell
HSCC 2012 Program Chairs

email: hscc2012@easychair.org