Call for Papers — HSCC 2012
15th International Conference on Hybrid Systems: Computation and Control
Beijing, China, 17-19 April 2012
http://hscc2012.hscc-conference.org/
Conference Scope
Hybrid Systems: Computation and Control is a leading, single-track conference focusing on research into systems in which the interplay between discrete (or symbolic or switching) and continuous dynamical behaviors plays a key role. Such interplay often arises in embedded, reactive and cyber-physical systems, but also appears in other new contexts; for example, systems biology, or mixed-signal electronic circuits. 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.
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;
- Tools for analysis, verification, control, and design;
- Programming languages support and implementation;
- Modeling and analysis for applications and new domains, including:
- automotive, communication networks, avionics, transportation
- networks, energy systems, mobile robotic networks, manufacturing,
- analog and mixed-signal electronics, systems biology, and other
- sciences
Important Dates
Initial submission: Extended to October 21 (initially Octover 14)
Rebuttal phase: November 25-30
Author notification: December 16
Final version: January 16