CfP HSCC 2014

HSCC 2014
17th International Conference on Hybrid Systems: Computation and Control
April 15-17, 2014
Berlin, Germany

URL: hscc-conference.org

Important dates:
Submission deadline: October 14, 2013.
Rebuttal phase: November 27-December 2, 2013.
Author notification: December 17, 2013.
Camera-ready submission: February 3, 2014
Conference dates: April 15-17, 2014

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 combined continuous and
discrete (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 research in
this area.

Topics of interest include, but are not limited to:

• Design, synthesis, analysis, verification, and control of hybrid systems;
• 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 2014 will be part of the 7th CPSWeek (Cyber-Physical Systems
Week) collocating 5 conferences: HSCC, the Real-Time and Embedded
Technology and Applications Symposium (RTAS), the International
Conference on Information Processing in Sensor Networks (IPSN), the
Conference on High Confidence Networked Systems (HiCoNS) and the
International Conference on Cyber-Physical Systems (ICCPS).

Submission Guidelines:

Submitted papers should present original research that is unpublished
and not submitted elsewhere.

Regular papers: no more than ten pages in the conference 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 the conference
format describing an implemented tool and its novel features, or a
case study utilizing hybrid systems tools or techniques.

Authors of accepted papers with a computational component will be
invited to submit their code and data to an optional repeatability
evaluation in late January. Submissions of Regular, Tool and
Case-Study papers should be made through the HSCC 2014 Easychair
Website:

https://www.easychair.org/conferences/?conf=hscc2014

Proposals for workshops and tutorials should be submitted through
CPSWeek under:

https://www.cpsweek2014.org/

Program Chairs:
Martin Fraenzle, Carl von Ossietzky Universitaet Oldenburg, Germany.
John Lygeros, ETH Zurich, Switzerland.

Program Committee:
Alessandro Abate, University of Oxford, UK.
Erika Abraham, RWTH Aachen, Germany
Matthias Althoff, TU Ilmenau, Germany
Calin Belta, Boston University, U.S.A.
Patricia Boyer-Decitre, CNRS, France
Manfred Broy, TU Muenchen, Germany
Krishnendu Chaterjee, IST. Austria, Austria
Patrick Cousot, New York University, U.S.A.
Stefano Di Cairano, Mitsubishi, U.S.A.
Alexandre Donze, U.C. Berkeley, U.S.A.
Georgios Fainekos, Arizona State University, U.S.A.
Goran Frehse, Verimag, France
Klaus Havelund, NASA JPL, U.S.A.
Ian Hiskens, University of Michigan, U.S.A.
Franjo Ivancic, NEC Labs, U.S.A.
Xenofon Koutsoukos, Vanderbilt University, U.S.A.
Mircea Lazar, T.U. Eindhoven, The Netherlands
Javad Lavaei, Columbia University, U.S.A.
Rupak Majumdar, M.P.I., Germany
Pieter Mosterman, Mathworks, U.S.A.
Girish Nair, University of Melbourne, Australia
Jens Oehlerking, Bosch, Germany
Andreas Podelski, University of Freiburg, Germany
Pavithra Prabhakar, IMDEA, Spain
Daniel Quevedo, University of Newcastle, Australia
Federico Ramponi, University of Brescia, Italy
Joerg Raisch, T.U. Berlin, Germany
Stefan Ratschan, Academy of Sciences, Czech Republic
Anders Ravn, Aalborg University, Denmark
Hendrik Sandberg, KTH, Sweden
Ricardo Sanfelice, University Arizona, U.S.A.
Sriram Sankaranarayanan, University of Colorado at Boulder, U.S.A.
Paulo Tabuada, UCLA, U.S.A.
Ufuk Topcu, University of Pennsylvania, U.S.A.
Ashutosh Trivedi, IIT Bombay, India
Verena Wolf, Saarland Unversity, Germany
Naijun Zhan, Chinese Academy of Sciences, PR China
Paolo Zuliani, University of Newcastle, U.K.

Steering Committee:
Rajeev Alur, University of Pennsylvania, USA
Bruce Krogh, Carnegie-Mellon University, USA
Oded Maler, Verimag, France
Claire Tomlin, University of California Berkeley, USA
Werner Damm, OFFIS, Germany