posted by user: wimmer || 2901 views || tracked by 8 users: [display]

HSCC 2012 : Hybrid Systems: Computation and Control 2012


Conference Series : Hybrid Systems
When Apr 17, 2012 - Apr 19, 2012
Where Beijing, China
Submission Deadline Oct 14, 2011
Notification Due Dec 16, 2011
Final Version Due Jan 16, 2012
Categories    hybrid systems   verification   control

Call For Papers

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


Related Resources

ISNN 2018   15th International Symposium on Neural Networks
CONCUR 2018   29th International Conference on Concurrency Theory
Scopus-ICACR 2018   2018 2nd International Conference on Automation, Control and Robotics (ICACR 2018)
ICARCV 2018   15th International Conference on Control, Automation, Robotics and Vision
ICMSC - Ei 2018   IEEE-ICMSC 2018-International Conference on Mechanical, System and Control Engineering--Ei Compendex & Scopus
IJCSA 2018   International Journal on Computational Science & Applications
INISTA 2018   IEEE International Conference on Innovations in Intelligent SysTems and Applications
CDC 2019   IEEE 58th Conference on Decision an Control
ICRCA--ACM, Ei Compendex and Scopus 2018   2018 The 3rd International Conference on Robotics, Control and Automation (ICRCA 2018)--ACM, Ei Compendex and Scopus
FMCAD 2018   International Conference on Formal Methods in Computer-Aided Design