posted by user: sayanmitra || 2309 views || tracked by 9 users: [display]

HSCC 2015 : Hybrid Systems Computation and Control


Conference Series : Hybrid Systems
When Apr 15, 2015 - Apr 15, 2015
Where Seattle, WA
Abstract Registration Due Oct 13, 2014
Submission Deadline Oct 20, 2014
Notification Due Dec 17, 2014
Final Version Due Feb 3, 2015
Categories    cyberphysical systems   formal methods   control theory   theory

Call For Papers

18th International Conference on Hybrid Systems: Computation and Control
April 14-16, 2015
Seattle, USA.


Important dates

Abstract Submission deadline: October 13, 2014.
Full Paper Submission deadline: October 20, 2014. (no extensions possible).
Rebuttal phase: December 4 to December 7, 2014.
Author notification: December 17, 2014.
Camera-ready submission: February 3, 2015.
Conference dates: April 14-16, 2015.

Conference Scope

Hybrid Systems: Computation and Control (HSCC) has long been a
leading, single-track conference on foundations, techniques, and tools
for analysis, control, synthesis, implementation, and applications of
dynamical systems that exhibit continuous and discrete (hybrid)
dynamics. Applications include cyber-physical systems (CPS), mixed
signal circuits, robotics, large-scale infrastructure networks, as
well as natural systems such as biochemical and physiological
models. In particular, we solicit theoretical as well as applied
research papers that present original work combining ideas from
computer science and control systems.

Topics of interest include, but are not limited to:
- Design, synthesis and control
- Analysis and verification
- Computability and complexity
- Programming languages, specification formalisms
- Software tool engineering and experimentation
- Real-time and resource-aware control for embedded systems
- Network science and control over networks
- Applications in automotive, avionics, energy, mobile robotics,
medical devices, manufacturing, systems biology,
transportation, and other areas

HSCC 2015 will be part of the 8th CPSWeek (Cyber-Physical Systems
Week) to be held in Seattle, USA, collocating 5 conferences: HSCC,
the International Conference on Cyber-Physical Systems (ICCPS),
the International Conference on Information Processing in Sensor Networks (IPSN),
the Conference on High Confidence Networked Systems (HiCoNS), and
the Real-Time and Embedded Technology and Applications Symposium (RTAS).

Special Issue: Authors of distinguished papers will be invited to
submit an extended version of their work for possible publication in a
special issue of the journal Nonlinear Analysis: Hybrid Systems.

Best Student Paper Award: As established in the previous years, a best
student paper award will be given to a contribution which has been
primarily authored by a student. Each paper nominated for this award
should be co-authored primarily by a student (as certified by the
student’s faculty advisor).

Repeatability Evaluation: HSCC has a history of publishing strong
papers emphasizing computational contributions; however, recreating
these computational elements is hard, because details of the
implementation are unavoidably absent in the paper. Following a
successful inaugural run in 2014, authors of papers accepted to HSCC
(in any track) that contain a computational component will be invited
to participate in an optional repeatability evaluation process after
final submission of the paper in February. Papers that pass will be
highlighted at the conference, and all submissions will receive
confidential feedback from independent reviewers on any challenges faced
in recreating the computational results. Review criteria and
suggestions on how to get started on reproducible research are posted
at the conference web page (

Submission Guidelines

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

Regular papers: maximum 10 pages in the 10pt, two-column ACM format.
Submission by October 20, 2014 through the EasyChair system. Regular
papers should present 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-Study papers: maximum 6 pages in the 10pt, two-column
ACM format. Submission by October 20, 2014 through the EasyChair
system. Tool Papers should describe an implemented tool and its novel
features. Case studies should present hybrid systems tools or

Submissions of Regular, Tool and Case-Study papers should be made
through the HSCC 2015 EasyChair submission website:

Demo/poster abstracts: Approximately 2 pages. Submission by January
10, 2015 through email to with “HSCC demo/poster
submission” in the subject line. Questions should be directed to the
same address. Demo/poster abstracts serve the sole purpose of
selecting contributions for the demo and poster session and will not
be published in the conference proceedings.

Program Chairs

Antoine Girard, University of Grenoble, France.
Sriram Sankaranarayanan, University of Colorado, Boulder, USA.

Publicity Chair

Sayan Mitra, University of Illinois, Urbana-Champaign, USA.

Repeatability Evaluation Chair

Ian Mitchell, University of British Columbia, Vancouver, Canada.

Program Committee

Erika Abraham, RWTH Aachen University, Germany
Matthias Althoff , TU Ilmenau, Germany
Shun-ichi Azuma, Kyoto University, Japan
Hamsa Balakrishnan, MIT, USA
Mireille Broucke, University of Toronto, Canada
Krishnendu Chatterjee , IST Austria, Austria
Thao Dang, VERIMAG, France
Jyotirmoy Deshmukh, Toyota Motors, USA
Alexandre Donzé , UC Berkeley, USA
Georgios Fainekos, Arizona State University, USA
Eric Feron, Georgia Institute of Technology, USA
Martin Fränzle, Carl von Ossietzky Universität Oldenburg, Germany
Eric Goubault, CEA France and Ecole Polytechnique, France
Radu Grosu, Vienna University of Technology, Austria
Maurice Heemels, TU Eindhoven, Netherlands
Jun-ichi Imura, Tokyo Institute of Technology, Japan
(Samuel) Qing-Shan Jia, Tsinghua University, PR China
Marta Kwiatkowska, Oxford University, England
Kim Larsen, Aalborg University, Denmark
Javad Lavaei, Columbia University, USA
John Lygeros, ETH Zurich, Switzerland
Sayan Mitra, University of Illinois at Urbana Champaign, USA
Jens Oehlerking , Robert Bosch GmbH, Germany
Meeko Oishi, University of New Mexico, USA
Necmiye Ozay, University of Michigan, USA
Carla Piazza, University of Udine, Italy
Andre Platzer , Carnegie Mellon University, USA
Pavithra Prabhakar, IMDEA Software Institute, Spain
Maria Prandini, Politecnico di Milano, Italy
Daniel Quevedo, University of Newcastle, Australia
Jörg Raisch, TU Berlin, Germany
S Ramesh, General Motors, USA
Kohei Suenaga, Kyoto University, Japan
Danielle Tarraf, Johns Hopkins University, USA
P.S. Thiagarajan, National University of Singapore, Singapore
Ufuk Topcu, University of Pennsylvania, USA
Ashuthosh Trivedi, IIT Bombay, India
Jana Tumova, KTH, Sweden
Majid Zamani, Technical University of Munich, Germany
Naijun Zhan, Chinese Academy of Sciences, PR China\

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

Related Resources

HSCC 2017   Hybrid Systems: Computation and Control
ICFEM 2017   19th International Conference on Formal Engineering Methods
IJCCI 2017   9th International Joint Conference on Computational Intelligence
FMCAD 2017   Formal Methods in Computer-Aided Design
ICRAE - IEEE 2017   IEEE--2017 2nd International Conference on Robotics and Automation Engineering (ICRAE 2017) - IEEE Xplore and Ei Compendex
FACS 2017   14th International Conference on Formal Aspects of Component Software
icicci 2017   The IEEE International Conference on Innovations in Control, Communication and Information Systems (ICICCI-2017)
SETTA 2017   3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications
ICANN 2017   International Conference on Artificial Neural Networks 2017
FCT 2017   Fundamentals of Computation Theory