22nd ACM International Conference on Hybrid Systems: Computation and Control

HSCC 2019


Theoretical Computer Science



HSCC 2019 Call for Papers
22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
Part of the Cyber-Physical Systems/Internet-of-Things (CPS-IoT) Week 2019
April 16-18, 2019
Montreal, Canada
URL: http://2019.hscc-conference.org/
Important dates
Abstract submission deadline (optional): October 10, 2018 (AOE)
Paper submission deadline: October 17, 2018 (AOE)
Tool paper repeatability package submission deadline: October 22, 2018 (AOE)
Rebuttal phase: December 3-5, 2018
Acceptance/rejection notifications: December 21, 2018
Camera-ready: February 15, 2019
Conference dates: April 16-18, 2019
Paper submission information
Regular papers including special track papers on Safety Autonomy, AL and ML in CPS
(maximum 10 pages, 10pt font, two-column ACM format)
Tool and Case Study Papers (maximum 6 pages, 10pt font, two-column ACM format)
Conference Scope
Hybrid Systems: Computation and Control (HSCC) 2019 is the 22nd 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
- Programming and specification languages
- Network science and network-based control
- Security, privacy, and resilience for cyber-physical systems with focus on computation and control
- Safe autonomy, Artificial intelligence and Machine learning in CPS
- Software 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.
New this Year! Special track papers on Safe autonomy, Artificial Intelligence and Machine Learning We invite regular submissions in topics related to safe autonomy, AI and ML in CPS. Formatting instructions are same as that for regular papers, however, the authors will indicate their interest in the special track during the submission. We will include these in a special session at HSCC along with few invited speakers related to this topic.
Submission guidelines
HSCC invites submissions in the categories of (1) regular papers including special track papers in Safe autonomy, AI and ML for CPS, 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.
Awards
- HSCC will have an ACM SIGBED Best Paper Award, all regular papers will be automatically eligible for this award.
- HSCC will institute an "HSCC Test-Of-Time Award". The rules for eligibility, nomination and selection of the paper for this award can be found here.
- 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’19 will be eligible for the best demo/poster award.
Program Committee Chairs
Necmiye Ozay (University of Michigan, Ann Arbor, USA)
Pavithra Prabhakar (Kansas State University, USA)
Repeatability Evaluation Chair
Sergiy Bogomolov (Australian National University, Australia)
Publicity Chair
Taylor Johnson (Vanderbilt University, USA)
Program Committee
Alessandro Abate (University of Oxford, UK)
Erika Abraham (RWTH Aachen University, Germany)
Matthias Althoff (Technical University of Munich, Germany)
Ebru Aydin Gol (Middle East Technical University, Turkey)
Christel Baier (TU Dresden, Germany)
Stanley Bak (Air Force Research Lab, UK)
Sergiy Bogomolov (Australian National University, Australia)
Samuel Coogan (Georgia Institute of Technology, USA)
Jonathan Decastro (Cornell University, USA)
Jyotirmoy Deshmukh (University of Southern California, USA)
Rüdiger Ehlers (University of Bremen, Germany)
Lu Feng (University of Virginia, USA)
Goran Frehse (Univ. Grenoble Alpes - Verimag, France)
Jie Fu (Worcester Polytechnic Institute, USA)
Sicun Gao
(University of California San Diego, USA)
Miriam García Soto (IST Austria, Austria)
Khalil Ghorbal (INRIA, France)
Ichiro Hasuo (National Institute of Informatics, Japan)
Joao Hespanha (University of California, Santa Barbara, USA)
Jianghai Hu
(Purdue University, USA)
Franjo Ivancic (Google, USA)
Jean- Baptiste Jeannin (University of Michigan, USA)
Taylor T Johnson (Vanderbilt University, USA)
Raphaël Jungers (Universite Catholique de Lovain, Belgium)
Maryam Kamgarpour (ETH Zurich, Switzerland)
James Kapinski (Toyota Technical Center, USA)
Atreyee Kundu
(Indian Institute of Science, Bangalore, India)
Jerome Le Ny
(Polytechnique Montreal, Canada)
Jun Liu (University of Waterloo, Canada)
Rupak Majumdar (Max Planck Institute for Software Systems, Germany)
Ian Mitchell (University of British Columbia, Canada)
Dejan Nickovic (Austrian Institute of Technology, Austria)
Meeko Oishi (University of New Mexico, USA)
Necmiye Ozay (University of Michigan, USA) co-Chair
Michael Posa (University of Pennsylvania, USA)
Pavithra Prabhakar (Kansas State University, USA) co-Chair
Maria Prandini (Politecnico di Milano, Italy)
Akshay Rajhans (MathWorks, USA)
Vasumathi Raman (Nuro, USA)
Matthias Rungger (ABB Corporate Research, Germany)
Krishna S (IIT Bombay, India)
Dorsa Sadigh (Stanford University, USA)
Ricardo Sanfelice (University of California Santa Cruz, USA)
Sriram Sankaranarayanan (University of Colorado, Boulder, USA)
Sanjit A. Seshia (University of California, Berkeley, USA)
Zhikun She (Beihang University, China)
Ashish Tiwari (Microsoft, USA)
Ashutosh Trivedi (University of Colorado, Boulder, USA)
Jana Tumova (KTH Royal Institute of Technology, Sweden)
Mahesh Viswanathan (University of Illinois at Urbana- Champaign, USA)
Rafael Wisniewski (Aalborg University, Denmark)
Majid Zamani (Technical University of Munich, Germany)
Steering Committee
Rajeev Alur (University of Pennsylvania, USA)
Werner Damm (OFFIS, Germany)
Martin Fränzle (Universität Oldenburg, Germany)
John Lygeros (ETH Zurich, Switzerland)
Oded Maler (Verimag, Fran
Paulo Tabuada (UCLA, USA)
Claire Tomlin (University of California, Berkeley, USA)