HSCC 2012 - 15th International Conference on Hybrid Systems: Computation and Control Beijing, China in April 17-19, 2012 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 HSCC 2012 will be held as part of the fifth CPSWeek (Cyber-Physical Systems Week) collocating HSCC, RTAS (Real-Time and Embedded Technology and Applications Symposium), LCTES (Languages, Compilers, and Tools for Embedded Systems), IPSN (International Conference on Information Processing in Sensor Networks), and ICCPS (International Conference on Cyber-Physical Systems). Proposals for workshops and tutorials are invited, and should be submitted through the CPSWeek website (http://www.cpsweek.org) Submission Guidelines Regular papers. Papers of no more than ten pages (in ten point, two-column in ACM format) presenting original research that is unpublished and not submitted elsewhere can be submitted electronically in PDF format through the conference web site. Submitted papers will be reviewed by the program committee, and authors will be invited to submit brief rebuttals of the reviews before the final acceptances are made. Tool presentations. Papers of no more than four pages (in ten point, two-column ACM format) describing the implemented tool and its novel features. A demonstration and/or poster is expected to accompany a tool presentation at the larger CPSWEEK demo session. Important Dates Initial submission: October 14 (common to all CPSWeek conferences) Rebuttal phase: November 25-30 Author notification: December 16 Final version: January 16 Program Chairs Thao Dang, Verimag, France Ian Mitchell, University of British Columbia, Canada Program Committee Alessandro Abate, TU Delft, The Netherlands Erika Abraham, RWTH Aachen, Germany Aaron Ames, Texas A&M University, USA Patrick Cousot, New York University, USA Stefano Di Cairano, Ford, USA Alexandre Bayen, University of California at Berkeley, USA Calin Belta, Boston University, USA Emilio Frazzoli, Massachusetts Institute of Technology, USA Goran Frehse, VERIMAG, France Antoine Girard, Joseph Fourier University, Grenoble, France Radu Grosu, SUNY Stony Brook, USA Klaus Havelund, NASA Jet Propulsion Laboratory, USA Holger Hermanns, Saarland University, Germany Jianghai Hu, Purdue University, USA Jun-Ichi Imura, Tokyo Institute of Technology, Japan Franjo Ivancic, NEC, USA T. John Koo, China Shantou University, China Kim Larsen, Aalborg University, Denmark Mircea Lazar, TU Eindhoven, The Netherlands Hai Lin, National University of Singapore, Singapore Jan Lunze, Ruhr-University Bochum, Germany Rupak Majumdar, Max Planck Institute for Software Systems, Germany Sayan Mitra, University of Illinois at Urbana-Champaign, USA Dragan Nesic, University of Melbourne, Australia Songhwai Oh, Seoul National University, Korea Paritosh Pandya, Tata Institute of Fundamental Research, India Andre Platzer, Carnegie Mellon University, USA Stefan Ratschan, Academy of Sciences of the Czech Republic, Czech Republic Ricardo Sanfelice, University of Arizona, USA Sriram Sankaranarayanan, University of Colorado at Boulder, USA Thomas Stauner, BMW, Munich, Germany Paulo Tabuada, University of California at Los Angeles, USA Ashish Tiwari, SRI, USA Pascal Traverse, Airbus, France Shaofa Yang, Shenzhen Institutes of Advanced Technology, China Qianchuan Zhao, Tsinghua University, China |