HSCC 2020

The Conference

Welcome to the home page of the 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2020). HSCC 2020 is the 23rd in a series of conferences on all aspects of hybrid systems. It is dedicated to advancing design and analysis techniques that bridge control theory and computer science, and is expanding to new domains in security and privacy and in systems biology. The conference covers the range from theoretical results to practical applications and experiences in cyber-physical systems (CPS), mixed signal circuits, robotics, infrastructure networks, and biological models.

HSCC 2020 will be part of the thirteenth Cyber Physical Systems Week (CPS Week), and co-located with the International Conference on Cyber-Physical Systems (ICCPS), Information Processing in Sensor Networks (IPSN), the Real-Time and Embedded Technology and Applications Symposium (RTAS), Conference on Internet-of-Things Design and Implementation (IOTDI), and related workshops.

The program for HSCC 2020 can be found here.

Important dates

Paper submission deadline: October 23, 2019 (AOE)
Tool paper repeatability package submission deadline: October 28, 2019 (AOE)
Rebuttal phase: December 5-8, 2019
Acceptance/rejection notifications: December 27th, 2019
Regular paper repeatability package submission deadline: January 09, 2020
Poster/demo session submission: January 31, 2020 (notification February 7, 2020)
Camera-ready: February 14, 2020
Conference dates: April 21-24, 2020

Visa and Travel

For information regarding visa and travel, please consult the CPS-IoT website. Any additional questions should be directed towards the CPS-IoT organizers.

📜 Paper submission information

HSCC invites submissions in the categories of (1) regular papers including special track papers, and (2) case study and tool papers. We will employ a double blind reviewing process and will have a rebuttal phase to provide authors the opportunity to reply to reviewer concerns.

Regular Papers

Regular papers including papers submitted to three special tracks.

Artificial Intelligence and Machine Learning in CPS
Design Automation for CPS
Autonomy and Robotics

10 pages max^*
10pt font
two-column ACM format

Tool and Case Study Papers

Tool papers will be judged on the significance, clarity, and novelty of the implemented tool/technique described in the paper.

Case study papers should report the evaluation of a technique or tool on a challenging application and/or benchmarks.

6 pages max*
10pt font
two-column ACM format

^*Excluding references

Templates for the ACM format are available for Microsoft Word and LaTeX here.

Submission Guidelines

Submission website: EasyChair submission link.
Paper submissions are encouraged to be preceded by an abstract submission.
HSCC 2020 will employ light double-blind reviewing (click here for details).
The conflict of interest policy we shall be following during the review process can be found here.

Additional information on publication policies are given below.

Reproducability and Repeatability

We consider reproducibility and repeatability of the results presented in the tool/case study papers an important aspect of such papers. While submission of a repeatability evaluation package is not mandatory, we strongly encourage the authors to submit such a package at the time of paper submission. Tool or case study papers with a repeatability evaluation package will be judged on the merit of both the paper itself, but also on the repeatability of the presented results. Tool/Case study papers not accompanied by a RE package would be judged on the strength of the benchmarks (e.g. large-scale industrial/proprietary benchmarks), or the role of the tool as a component in a complex tool-chain ecosystem. Instructions on preparing and submitting the repeatability evaluation package can be found here.

Tool/Case Study Paper Repeatability Package Submission Deadline: OCTOBER 28, 2019 (AOE)
Regular Paper Repeatability Package Submission Deadline: January 09, 2020

Note for tool/case study paper authors on double-blind process: While we expect the tool/case study papers submitted to the main conference to follow the double-blind instructions, the RE packages do not need to be anonymized. Therefore please remove any links to a repository that could reveal your identity from the paper but include these in your RE package submission. RE packages and papers will be evaluated by different committees. RE committee's findings will be communicated to the regular reviewers of the paper before the final decisions are made.

Poster/Demo Session and Submission Information

Hybrid Systems: Computation and Control (HSCC) 2020 is the 23rd in a series of conferences focusing on original research on concepts, tools, and techniques from computer science, control theory, and applied mathematics for the analysis and control of hybrid dynamical systems with an emphasis on computational aspects. By drawing on strategies from computation and control, the hybrid systems field offers techniques that are applicable to both man-made cyber-physical systems (ranging from small robots to global infrastructure networks) and natural systems (ranging from biochemical networks to physiological models). Posters and demos in the conference are expected to range over a wide spectrum of topics from theoretical results to practical considerations, and from academic research to industrial adoption. Posters and demos covering design automation, tools, and benchmarks are especially welcome.

Posters presented at the conference will provide an opportunity for conference attendees to interact with researchers in an informal setting. Posters may be about already accepted papers, ongoing research projects, discussions on new problem statements, or preview of late-breaking results.

Demos will give the audience a closer look at tools and techniques, and offer an interactive experience with the demonstrated entities. The selection criteria for acceptance will be: novelty, technical merit, relevance to HSCC and, especially for demos, details on the presentation. If desired and not previously published, abstracts up to 2 page in length describing the poster or demo will be included for publication in the electronic proceedings of HSCC.

These sessions are an excellent way to exchange ideas and for presenters to obtain feedback from the attendees. A Best Poster/Demo prize will be awarded and announced during the conference and on the website.

Poster/Demo Important dates:

Submission deadline: January 31, 2020 (AoE)
Acceptance notification: February 7, 2020
Final version submission: February 14, 2020

Poster/Demo Submissions:

Submissions consist of an extended abstract of no more than two pages in the ACM template at: https://www.acm.org/publications/proceedings-template Abstracts should be submitted via EasyChair: https://easychair.org/my/conference?conf=hscc2020pd

Posters:

Maximum 2 pages, 9pt font, two-column ACM format, title should begin with "Poster:" Poster presentations do not have to describe completed work. Poster abstracts can report ongoing or preliminary research work, present case studies, or discuss new research directions. Previously published work may be submitted as a poster, but in such cases, the abstract will not appear in the proceedings (specified by an option in the submission system). An easel will be provided for all posters.

Demos:

Maximum 2 pages, 9pt font, two-column ACM format, title should begin with "Demo:"

Conference Scope

Hybrid Systems: Computation and Control (HSCC) 2020 is the 23rd in a series of conferences focusing on original research on concepts, tools, and techniques from computer science, control theory, and applied mathematics for the analysis and control of hybrid dynamical systems with an emphasis on computational aspects. By drawing on strategies from computation and control, the hybrid systems field offers techniques that are applicable to both man-made cyber-physical systems (ranging from small robots to global infrastructure networks) and natural systems (ranging from biochemical networks to physiological models). Papers in the conference are expected to range over a wide spectrum of topics from theoretical results to practical considerations, and from academic research to industrial adoption.

Topics of interest include, but are not limited to

Mathematical foundations, computability and complexity
Analysis, verification, validation, and testing
Modeling paradigms and techniques
Design, synthesis, planning, and control
Nonlinear and safety-critical control
Programming and specification languages
Network science and network-based control
Security, privacy, and resilience for cyber-physical systems with focus on computation and control
Autonomy, artificial intelligence and machine learning in CPS
Design automation for CPS, including design formalisms, techniques and tools for the above topics
Applications and industrial case studies in: automotive, transportation, autonomous systems, avionics, energy and power, robotics, medical devices, manufacturing, systems and synthetic biology, models for the life sciences, and other related areas.

Special tracks

This year, HSCC will have three special tracks on interdisciplinary topics of increasing interest and importance to CPS: (1) Artificial Intelligence and Machine Learning in CPS (autonomous and semi-autonomous CPS, learning-based CPS, deep learning, intersection of robotics/AI and CPS, etc.), and (2) Design Automation for CPS (modeling, specification, verification, synthesis, composition, hierarchy, languages, etc. for CPS design). (3) Autonomy and Robotics. The submission requirements and review process for special track papers will be the same as regular papers. The main reason to have a special track is to broaden the HSCC pool of papers in the direction of these topics.

🏆 Awards and Badges

ACM SIGBED Best Paper Award:
All regular papers will be automatically eligible for this award.
HSCC Test-Of-Time Award:
Recognizes the work published at a HSCCe in 2010 or before. See link for details. Previous winners can be found here.
Best Demo/Poster:
All demos and posters accepted for presentation at HSCC’20 will be eligible for the best demo/poster award.
Repeatability evaluation:
Papers that pass repeatability evaluation process will receive the "artifact evaluated" badge and there will be a Best RE Award.

Committees

Program Committee Chairs

Aaron Ames
California Institute of Technology, USA

Sanjit Seshia
University of California, Berkeley, USA

Steering Committee:

(Chair) Paulo Tabuada
UCLA, USA
Claire Tomlin
University of California, Berkeley, USA
John Lygeros
ETH Zurich, Switzerland
Martin Fränzle
Universität Oldenburg, Germany
Rajeev Alur
University of Pennsylvania, USA
Thao Dang
Verimag, CNRS, France

Repeatability Evaluation Chairs

Sergiy Bogomolov
Australian National University, Australia

Bardh Hoxha
Southern Illinois University, USA

Publicity Chair

Ricardo Sanfelice
University of California, Santa Cruz, USA

Proceedings Chair

Jyotirmoy Deshmukh
University of Southern California, USA

Demo/Poster Session Chair

Taylor Johnson
Vanderbilt University, Nashville, USA

Awards Chair

Meeko Oishi
University of New Mexico, USA

Webmaster

Marcell Vazquez-Chanlatte
UC Berkeley, USA

Website source.
Patches welcome.

Program Committee

Repeatability Evaluation Program Committee

Houssam Abbas
Oregon State University
USA
Anand Balakrishnan
University of Southern California
USA
Gidon Ernst
LMU Munich
Germany
Souradeep Dutta
University of Colorado Boulder
USA
Md. Ariful Islam
Texas Tech University
USA
Zhihao Jiang
ShanghaiTech University
China
Yiannis Kantaros
University of Pennsylvania
USA
Nikolaos Kekatos
Univ. Grenoble Alpes
France
Hui Kong
Huawei Technologies Co. Ltd
China
Soonho Kong
Toyota Research Institute
USA
Ratan Lal
Kansas State University
USA
Sibin Mohan
University of Illinois at Urbana-Champaign
USA
Marco Muniz
Aalborg University
Denmark
Luan Nguyen
University of Notre Dame
USA
Adina M. Panchea
Université Paris Saclay
France
Hadi Ravanbakhsh
University of California, Berkeley
USA
David Šafránek
Masaryk University
Czech Republic
Stefan Schupp
RWTH Aachen
Germany
Hoang-Dung Tran
Vanderbilt University
USA
Timothy Wang
United Technologies Research Center
USA
Shakiba Yaghoubi
Arizona State University
USA
Junxing Yang
Stony Brook University
USA
Aditya Zutshi
Galois
USA

Poster/Demo Program Committee

Somil Bansal
University of California, Berkeley
USA
Nathalie Cauchi
University of Oxford
UK
Jana Dražanová
Masaryk University
Czech Republic
Souradeep Dutta
University of Colorado Boulder
USA
Kerianne Hobbs
Air Force Research Laboratory
USA
Chao Huang
Northwestern University
USA
Taylor T Johnson (chair)
Vanderbilt University
USA
Luan Viet Nguyen
University of Notre Dame
USA
Hoang-Dung Tran
Vanderbilt University
USA
Abraham P. Vinod
University of Texas, Austin
USA
Anne-Kathrin Schmuck
Max-Planck-Institute for Software Systems
Germany
Andrew Sogokon
University of Southampton
UK
Masaki Waga
National Institute of Informatics
Japan
Weiming Xiang
Augusta University
USA
Bai Xue
Chinese Academy of Sciences
China
Shakiba Yaghoubi
Arizona State University
USA