CFP: 16th International Conference on Hybrid Systems: Computation and Control (HSCC 2013)

CONFERENCE SCOPE

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;

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), HiCoNS (Conference on High Confidence Networked Systems) and ICCPS (International Conference on Cyber-Physical Systems).

IMPORTANT DATES

Strict submission deadline: October 15, 2012 [Monday]
Rebuttal phase: Nov 21-25, 2012
Author notification: December 14, 2012 [Friday]
Camera-ready submission: Feb 11, 2013 [Monday]

Conference dates: April 8-11, 2012

SUBMISSION GUIDELINES

Regular papers: no more than ten pages (in ten point, two-column ACM format) presenting original research or industrial applications of techniques for design and/or analysis of hybrid systems or their integration into industrial design flows.

Tool and Case-Studies papers: no more than six pages (in ten point, two-column ACM format) describing an implemented tool and its novel features, or a case study utilizing hybrid systems tools or techniques.

Workshops and tutorials: proposals should be submitted through CPSWEEK at: http://rtg.cis.upenn.edu/cpsweek/worktut.html

All subissions should be made through the HSCC 2012 Easychair Website.

PROGRAM CHAIRS

• Calin Belta, Boston University, USA
• Franjo Ivancic, NEC Laboratories America, USA

PROGRAM COMMITTEE

• Alessandro Abate, Delft University of Technology, The Netherlands
• Erika Abraham, RWTH Aachen University, Germany
• Aaron Ames, Texas A&M University, USA
• Manfred Broy, Technical University Munich, Germany
• Patrick Cousot, Ecole Normale Superieure, France
• Thao Dang, VERIMAG, France
• Domitilla Del Vecchio, MIT, USA
• Stefano Di Cairano, Mitsubishi Electric Control Laboratories, USA
• Alexandre Donze, University of California Berkeley, USA
• Magnus Egerstedt, Georgia Institute of Technology, USA
• Georgios Fainekos, Arizona State University, USA
• Eric Feron, Georgia Institute of Technology, USA
• Goran Frehse, VERIMAG, France
• Antoine Girard, Universite Joseph Fourier, France
• Radu Grosu, Vienna University of Technology, Austria
• Klaus Havelund, NASA Jet Propulsion Laboratory, USA
• Holger Hermanns, Saarland University, Germany
• Agung Julius, Rensselaer Polytechnic Institute, USA
• Xenofon Koutsoukos, Vanderbilt University, USA
• Kim Larsen, Aalborg University, Denmark
• Mircea Lazar, Eindhoven University of Technology, The Netherlands
• Jie Liu, Microsoft Research, USA
• Rupak Majumdar, MPS-SWS, Germany
• Ian Mitchell, University of British Columbia, Canada
• Sayan Mitra, University of Illinois Urbana-Champaign, USA
• Pieter Mosterman, McGill University, Canada
• Jens Oehlerking, Robert Bosch GmbH, Germany
• Andre Platzer, Carnegie Mellon University, USA
• Andreas Podelski, University of Freiburg, Germany
• Pavithra Prabhakar, IMDEA Software, Spain
• S Ramesh, General Motors R&D, India
• Stefan Ratschan, Czech Academy of Sciences, Czech Republic
• Ricardo Sanfelice, University of Arizona, USA
• Sriram Sankaranarayanan, University of Colorado Boulder, USA
• Paulo Tabuada, University of California Los Angeles, USA
• Ashish Tiwari, SRI International, USA
• Verena Wolf, Saarland University, Germany
• Paolo Zuliani, Carnegie Mellon University, USA

STEERING COMMITTEE

• Rajeev Alur, University of Pennsylvania, USA
• Werner Damm, Carl von Ossietzky Universität Oldenburg, Germany
• Bruce Krogh, Carnegie Mellon University, USA
• Oded Maler, Verimag, France
• Manfred Morari, ETH, Switzerland
• Claire Tomlin, University of California Berkeley, USA