HSCC 2017 - 20th International Conference on Hybrid Systems: Computation and Control

HSCC is a series of successful annual meetings dedicated to research in embedded reactive systems involving the interplay between symbolic/discrete and continuous behaviors. Academic as well industrial researchers are invited to exchange information on the latest developments of applications and theoretical advancements in the analysis, control, optimization, and implementation of hybrid systems.
http://2016.hscc-conference.org
HSCC conferences are held each year as a part of the Cyber Physical Systems Week (CPSWeek) which is the collocated cluster of four conferences: HSCC, RTAS (Real-Time and Embedded Technology and Applications Symposium), IPSN (International Conference on Information Processing in Sensor Networks), ICCPS (International Conference on Cyber-Physical Systems) and several workshops. Through CPSWeek, the four major events will have a shared registration process, joint invited speakers and poster sessions, and joint social events. 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), Beijing, China (2012), Philadelphia, USA (2013), Berlin, Germany (2014), Seattle, USA (2015), and Vienna, Austria (2016). The upcoming edition will be HSCC 2017 in Pittsburgh, Pennsylvania, USA.
Conference Topics
HSCC conference invites submissions 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
Engineering Applications including automotive, communication networks, avionics, energy systems, transportation networks.
Applications to biology and other sciences
Manufacturing and robotics.
Steering Committee
Current steering committee members are:
Rajeev Alur, University of Pennsylvania, USA.
Werner Damm, OFFIS, Germany.
John Lygeros, ETH, Switzerland.
Oded Maler, Verimag, France.
Paulo Tabuada, University of California Los Angeles, USA.
Claire Tomlin, University of California Berkeley, USA.