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.
- 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 23, 2019 (tentative)
- Regular paper repeatability package submission deadline: January 06, 2020 (tentative)
- Poster/demo session submission: typically mid-January (after notification)
- Camera-ready: February 14, 2020
- Conference dates: April 21-24, 2020
📜 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 including papers submitted to three special tracks.
- Artificial Intelligence and Machine Learning in CPS
- Design Automation for CPS
- Autonomy and Robotics
10 pages max*
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*
two-column ACM format
Templates for the ACM format are available for Microsoft Word and LaTeX here.
- Submission website: EasyChair submission link.
- Paper submissions are encouraged to be preceded by an abstract submission.
- HSCC 2019 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 06, 2020 (tentative)
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.
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.
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.
- ACM SIGBED Best Paper Award: All regular papers will be automatically eligible for this award.
- HSCC Test-Of-Time Award
- Repeatability evaluation: Papers that pass repeatability evaluation process will receive the "artifact evaluated" badge and there will be a Best RE Award.
- Best Demo/Poster: All demos and posters accepted for presentation at HSCC’20 will be eligible for the best demo/poster award.
Program Committee Chairs
Aaron AmesCalifornia Institute of Technology, USA Sanjit SeshiaUniversity of California, Berkeley, USA
(Chair) Paulo TabuadaUCLA, USA Claire TomlinUniversity of California, Berkeley, USA John LygerosETH Zurich, Switzerland Martin FränzleUniversität Oldenburg, Germany Rajeev AlurUniversity of Pennsylvania, USA Thao DangVerimag, CNRS, France
Repeatability Evaluation Chairs
Sergiy BogomolovAustralian National University, Australia
Bardh HoxhaSouthern Illinois University, USA
Ricardo SanfeliceUniversity of California, Santa Cruz, USA
Jyotirmoy DeshmukhUniversity of Southern California, USA
Demo/Poster Session Chair
Taylor JohnsonVanderbilt University, Nashville, USA
Meeko Oishi University of New Mexico, USA
- Alessandro Abate University of OxfordUnited Kingdom
- Aaron Ames California Institute of TechnologyUnited States
- Nikos Arechiga Toyota Research InstituteUnited States
- Ebru Aydin Gol Middle East Technical UniversityTurkey
- Ezio Bartocci Vienna University of TechnologyAustria
- Sergiy Bogomolov Australian National UniversityAustralia
- Samuel Coogan Georgia Institute of TechnologyUnited States
- Thao Dang CNRS/VERIMAGFrance
- Jin Song DongNational University of SingaporeSingapore
- Tommaso Dreossi Amazon A9United States
- Rüdiger Ehlers Clausthal University of TechnologyGermany
- Georgios Fainekos Arizona State UniversityUnited States
- Chuchu Fan University of Illinois at Urbana-ChampaignUnited States
- Lu Feng University of VirginiaUnited States
- Shromona Ghosh WaymoUnited States
- Ichiro Hasuo National Institute of InformaticsJapan
- Ayonga Heried Ohio State UniversityUnited States
- Hisahiro Ito MathWorks, UKUnited Kingdom
- Jean-Baptiste Jeannin University of MichiganUnited States
- Susmit Jha SRI InternationalUnited States
- Taylor T Johnson Vanderbilt UniversityUnited States
- Raphaël Jungers UCLouvainBelgium
- Maryam Kamgarpour ETH ZurichSwitzerland
- Shishir Kolathaya Indian Institute of ScienceIndia
- Navinda Kottege CSIROAustralia
- Jerome Le Ny Polytechnique MontrealCanada
- Wenchao Li Boston UniversityUnited States
- Rupak Majumdar MPI-SWSGermany
- Nikolai Matni University of PennsylvaniaUnited States
- Manuel Mazo Jr. Delft University of TechnologyNetherlands
- Pierluigi Nuzzo University of Southern CaliforniaUnited States
- Denny OetomoUniversity of MelbourneAustralia
- Meeko Oishi University of New MexicoUnited Stateas
- Dimitra Panagou University of MichiganUnited States
- Paritosh Pandya TIFRIndia
- Ioannis Poulakakis University of DelawareUnited States
- Pavithra Prabhakar Kansas State UniversityUnited States
- Sylvie Putot École PolytechniqueFrance
- Partha Roop The University of AucklandNew Zealand
- Krishna S IIT BombayIndia
- Indranil Saha Indian Institute of Technology KanpurIndia
- Sriram Sankaranarayanan University of Colorado BoulderUnited States
- Sanjit A. Seshia University of California, BerkeleyUnited States
- Yasser Shoukry University of MarylandUnited States
- Koushil Sreenath University of California, BerkeleyUnited States
- Paulo Tabuada University of California, Los AngelesUnited States
- Ashish Tiwari Microsoft United States
- Jana Tumova KTH Royal Institute of TechnologySweden
- Rafael Wisniewski Aalborg UniversityDenmark
- Insoon Yang Seoul National UniversitySouth Korea
- Majid Zamani University of Colorado BoulderUnited States
- Naijun Zhan Institute of Software Chinese Academy of Sciences China
Repeatability Evaluation Program Committee
- Houssam AbbasOregon State University USA
- Anand BalakrishnanUniversity of Southern California USA
- Gidon ErnstLMU Munich Germany
- Souradeep DuttaUniversity of Colorado Boulder USA
- Md. Ariful IslamTexas Tech University USA
- Zhihao JiangShanghaiTech University China
- Yiannis KantarosUniversity of Pennsylvania USA
- Nikolaos KekatosUniv. Grenoble Alpes France
- Hui KongHuawei Technologies Co. Ltd China
- Soonho KongToyota Research Institute USA
- Ratan LalKansas State University USA
- Sibin MohanUniversity of Illinois at Urbana-Champaign USA
- Marco MunizAalborg University Denmark
- Luan NguyenUniversity of Notre Dame USA
- Adina M. PancheaUniversité Paris Saclay France
- Hadi RavanbakhshUniversity of California, Berkeley USA
- David ŠafránekMasaryk University Czech Republic
- Stefan SchuppRWTH Aachen Germany
- Hoang-Dung TranVanderbilt University USA
- Timothy WangUnited Technologies Research Center USA
- Shakiba YaghoubiArizona State University USA
- Junxing YangStony Brook University USA
- Aditya ZutshiGalois USA