HSCC 2020

23rd ACM International Conference on
Hybrid Systems: Computation and Control

April 21-24, 2020

Sydney Australia

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.

Sponsors

Important dates

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.

  1. Artificial Intelligence and Machine Learning in CPS
  2. Design Automation for CPS
  3. 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

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.

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:

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

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

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

  1. Alessandro Abate
    University of Oxford
    United Kingdom
  2. Aaron Ames
    California Institute of Technology
    United States
  3. Nikos Arechiga
    Toyota Research Institute
    United States
  4. Ebru Aydin Gol
    Middle East Technical University
    Turkey
  5. Ezio Bartocci
    Vienna University of Technology
    Austria
  6. Sergiy Bogomolov
    Australian National University
    Australia
  7. Samuel Coogan
    Georgia Institute of Technology
    United States
  8. Thao Dang
    CNRS/VERIMAG
    France
  9. Jin Song Dong
    National University of Singapore
    Singapore
  10. Tommaso Dreossi
    Amazon A9
    United States
  11. RĂĽdiger Ehlers
    Clausthal University of Technology
    Germany
  12. Georgios Fainekos
    Arizona State University
    United States
  13. Chuchu Fan
    University of Illinois at Urbana-Champaign
    United States
  14. Lu Feng
    University of Virginia
    United States
  15. Shromona Ghosh
    Waymo
    United States
  16. Ichiro Hasuo
    National Institute of Informatics
    Japan
  17. Ayonga Heried
    Ohio State University
    United States
  18. Hisahiro Ito
    MathWorks, UK
    United Kingdom
  19. Jean-Baptiste Jeannin
    University of Michigan
    United States
  20. Susmit Jha
    SRI International
    United States
  21. Taylor T Johnson
    Vanderbilt University
    United States
  22. Raphaël Jungers
    UCLouvain
    Belgium
  23. Maryam Kamgarpour
    ETH Zurich
    Switzerland
  24. Shishir Kolathaya
    Indian Institute of Science
    India
  25. Navinda Kottege
    CSIRO
    Australia
  26. Jerome Le Ny
    Polytechnique Montreal
    Canada
  27. Wenchao Li
    Boston University
    United States
  28. Rupak Majumdar
    MPI-SWS
    Germany
  29. Nikolai Matni
    University of Pennsylvania
    United States
  30. Manuel Mazo Jr.
    Delft University of Technology
    Netherlands
  31. Pierluigi Nuzzo
    University of Southern California
    United States
  32. Denny Oetomo
    University of Melbourne
    Australia
  33. Meeko Oishi
    University of New Mexico
    United Stateas
  34. Dimitra Panagou
    University of Michigan
    United States
  35. Paritosh Pandya
    TIFR
    India
  36. Ioannis Poulakakis
    University of Delaware
    United States
  37. Pavithra Prabhakar
    Kansas State University
    United States
  38. Sylvie Putot
    École Polytechnique
    France
  39. Partha Roop
    The University of Auckland
    New Zealand
  40. Krishna S
    IIT Bombay
    India
  41. Indranil Saha
    Indian Institute of Technology Kanpur
    India
  42. Sriram Sankaranarayanan
    University of Colorado Boulder
    United States
  43. Sanjit A. Seshia
    University of California, Berkeley
    United States
  44. Yasser Shoukry
    University of Maryland
    United States
  45. Koushil Sreenath
    University of California, Berkeley
    United States
  46. Paulo Tabuada
    University of California, Los Angeles
    United States
  47. Ashish Tiwari
    Microsoft
    United States
  48. Jana Tumova
    KTH Royal Institute of Technology
    Sweden
  49. Rafael Wisniewski
    Aalborg University
    Denmark
  50. Insoon Yang
    Seoul National University
    South Korea
  51. Majid Zamani
    University of Colorado Boulder
    United States
  52. Naijun Zhan
    Institute of Software Chinese Academy of Sciences
    China

Repeatability Evaluation Program Committee

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

Poster/Demo Program Committee

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