posted by user: sayanmitra || 2876 views || tracked by 13 users: [display]

HSCC 2016 : Hybrid Systems Computation and Control


Conference Series : Hybrid Systems
When Apr 12, 2016 - Apr 14, 2016
Where Vienna
Abstract Registration Due Oct 8, 2015
Submission Deadline Oct 23, 2015
Notification Due Dec 18, 2015
Categories    formal methods   control   verification   real-time

Call For Papers

19th International Conference on Hybrid Systems: Computation and Control (HSCC)
April 12-14, 2016,
Vienna, Austria


Important dates

Abstract Submission deadline (required): October 8, 2015. (no extensions possible)
Paper Submission deadline: October 23, 2015. (no extensions possible)
Rebuttal phase: November 27 to December 4, 2015.
Author notification: December 18, 2015.
Camera-ready submission: TBA.
Demos/posters submission deadline: TBA.
Conference dates: April 12-14, 2016.

Conference Scope

Hybrid Systems: Computation and Control (HSCC) has long been the leading, single-track conference on foundations, techniques, and tools for analysis, verification, control, synthesis, implementation, and applications of dynamical systems that exhibit continuous and discrete (hybrid) dynamics. Applications deal broadly with cyber-physical systems (CPS), and include mixed signal circuits, robotics, large-scale infrastructure networks, as well as natural systems such as biochemical and physiological models.

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, planning and control
- Analysis, automated verification (Boolean or quantitative)
- Certification, validation, and testing
- Model building from data (via learning) and model simulation
- Mathematical foundations, computability and complexity
- Programming languages, specification formalisms
- Software tool engineering and experimentation
- Real-time and resource-aware control
- Network science and control over networks
- Applications in cyber-physical systems, and in particular: automotive, avionics, energy and power, mobile and autonomous robotics, medical devices, manufacturing, transportation, systems and synthetic biology, models for the life sciences, and other areas.

HSCC 2016 will be held as part of the eighth Cyber Physical Systems Week (CPS Week), alongside the International Conference on Cyber-Physical Systems (ICCPS), the International Conference on Information Processing in Sensor Networks (IPSN), the Real-Time and Embedded Technology and Applications Symposium (RTAS), and CPS-related workshops.

Special Issue: Authors of distinguished papers may be invited to submit an extended version of their work for possible publication in a special issue of a leading journal in the CPS research area.

Best Student Paper Award: As established in the previous years, a best student paper award will be given to a contribution primarily authored by a student.

Repeatability Evaluation: HSCC has a history of publishing strong papers emphasising computational contributions; however, subsequent re-creation of these computational elements is often challenging because details of the implementation are unavoidably absent in the paper. 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 in the proceedings, and all submissions will receive confidential feedback from independent reviewers on any challenges faced in recreating the computational results. Further details will be posted at the conference web page.

Submission Guidelines

Submitted papers should present unpublished original research, not under review elsewhere.

Regular papers: maximum 10 pages in the 10pt, two-column ACM format.

Tool and Case Study papers: maximum 6 pages in the 10pt, two-column ACM format. Tool Papers should describe an implemented tool and its novel features. Case studies should present hybrid systems tools or techniques.

Demo/posters: Maximum 2 pages. Demo/poster descriptions serve the sole purpose of selecting contributions for the demo and poster session and will not be published in the conference proceedings.


Submissions of Regular, Tool and Case-Study papers should be made through the HSCC 2016 EasyChair submission website:
Submissions deadline is October 23, 2015 - corresponding abstracts should be submitted by October 8, 2015.

ACM templates can be found at:

Demo/poster submissions: The submission deadline will be announced sometime in the beginning of 2016. Submission will be through email to with "HSCC demo/poster submission" in the subject line. Questions should be directed to the same address.

Committees for HSCC 2016

Program Committee Chairs
Alessandro Abate, University of Oxford, UK
Georgios Fainekos, Arizona State University, USA

Publicity Chair
Sayan Mitra, Univ. of Illinois at Urbana Champaign, USA

Repeatability Evaluation Chair
Ian M. Mitchell, University of British Columbia, Canada

Demo/Poster Chair
James Kapinski, Toyota Motors, USA

Program Committee
Shun-ichi Azuma, Kyoto University, Japan
Christel Baier, TU Dresden, Germany
Ezio Bartocci, TU Vienna, Austria
Calin Belta, Boston University, USA
Spring Berman, Arizona State University, USA
Mireille Broucke, University of Toronto, Canada
Krishnendu Chatterjee, IST Austria, Austria
Alessandro Cimatti, Fondazione Bruno Kessler, Italy
Alessandro D'Innocenzo, University of L'Aquila, Italy
Thao Dang, VERIMAG, France
Jyotirmoy Deshmukh, Toyota Motors, USA
Xu Chu Ding, United Technology Research Center, USA
Alexandre DonzÈ, UC Berkeley, USA
Martin Fr‰nzle, University in Oldenburg, Germany
Antoine Girard, University of Grenoble, France
Ichiro Hasuo, University of Tokyo, Japan
Jun-ichi Imura, Tokyo Institute of Technology, Japan
Franjo Ivancic, Google NY, USA
Taylor Johnson, UT Arlington, USA
Agung Julius, Rensselaer Polytechnic institute, USA
Sertac Karaman, MIT, USA
Joost-Pieter Katoen, RWTH Aachen University, Germany
Marta Kwiatkowska, University of Oxford, UK
Jun Liu, University of Waterloo, Canada
Daniele Magazzeni, King's College London, UK
Manuel Mazo Jr, TU Delft, The Netherlands
Sayan Mitra, Univ. 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
Andreas Podelski, University of Freiburg, Germany
Pavithra Prabhakar, Kansas State University, USA
Maria Prandini, Politecnico di Milano, Italy
Akshay Rajhans, The MathWorks, USA
S Ramesh, General Motors R&D, India
Sriram Sankaranarayanan, Univ. of Colorado, Boulder, USA
Oleg Sokolsky, University of Pennsylvania, USA
Herbert Tanner, University of Delaware, USA
Ufuk Topcu, UT Austin, USA
Ashuthosh Trivedi, IIT Bombay, India
Jana Tumova, KTH, Sweden
Verena Wolf, Saarland University, Germany
Majid Zamani, Technical University of Munich, Germany
Naijun Zhan, Chinese Academy of Sciences, PR China
Paolo Zuliani, Newcastle University, UK

Steering Committee
Rajeev Alur, University of Pennsylvania, USA
Werner Damm, OFFIS, Germany
John Lygeros, ETH Zurich, Switzerland
Oded Maler, Verimag, France
Paulo Tabuada, UCLA, USA
Claire Tomlin, University of California Berkeley, USA

Related Resources

IJCCI 2017   9th International Joint Conference on Computational Intelligence
ICRAI 2017   2017 International Conference on Robotics and Artificial Intelligence-ACM
ICACI 2018   10th International Conference on Advanced Computational Intelligence
HVC 2017   Haifa Verification Conference
HHMC 2017   Workshop on Hybrid Human-Machine Computing
ISCSIC 2017   2017 International Symposium on Computer Science and Intelligent Controls
IEEE - ICMSC - Ei 2018   IEEE-ICMSC 2018-International Conference on Mechanical, System and Control Engineering--Ei Compendex & Scopus
ICRAE - IEEE 2017   IEEE--2017 2nd International Conference on Robotics and Automation Engineering (ICRAE 2017) - IEEE Xplore and Ei Compendex
IEEE--ICCRE--Ei 2018   2018 IEEE 3rd International Conference on Control and Robotics Engineering (ICCRE 2018)--IEEE Xplore and Ei Compendex
ICRCA 2017   2017 The 2nd International Conference on Robotics, Control and Automation (ICRCA 2017)--Ei Compendex and Scopus