HSCC 2013 - HSCC 2013 : Hybrid Systems: Computation and Control

HSCC 2013 will be held as part of the sixth CPSWeek (Cyber-Physical Systems Week) collocating 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).

HSCC 2013 is the 16th 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), Beijing, China (2012).


Conference Topics

Hybrid Systems: Computation and Control (HSCC) focuses on research that involves a blend of concepts, tools and techniques from computer science, control theory, and applied mathematics for analysis and control of dynamical systems that exhibit continuous, discrete, or combined (hybrid) dynamics. By drawing on strategies from both computation and control, this field offers techniques applicable to both man-made, cyber-physical systems (ranging from mixed signal circuits and small robots to global infrastructure networks) and natural systems (ranging from biochemical networks to physiological models). HSCC has long been a leading, single-track conference for such rigorous, interdisciplinary approaches to dynamical systems with an emphasis on computational aspects. Researchers from academia and industry are invited to submit manuscripts on their latest developments in this area.

Topics of interest include, but are not limited to:

Design, synthesis, analysis, verification, and control;
Computability and complexity;
Programming languages, specification formalisms, and software tools;
Real-time computing and resource-aware control for embedded systems;
Applications in areas such as automotive, communication and wireless networks, avionics, transportation networks, energy systems, mobile robotic networks, environmental monitoring, medical devices, manufacturing, analog and mixed-signal electronics, systems biology, and other sciences;