posted by organizer: ttj || 10123 views || tracked by 14 users: [display]

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


Conference Series : Hybrid Systems
When Apr 16, 2019 - Apr 18, 2019
Where Montreal, Canada
Abstract Registration Due Oct 10, 2018
Submission Deadline Oct 17, 2018
Notification Due Dec 1, 2018
Final Version Due Feb 15, 2019
Categories    hybrid systems   cyber-physical systems   control   formal methods

Call For Papers

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

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.

- 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)

Related Resources

ICRCA--ACM, Ei and Scopus 2021   ACM--2021 The 5th International Conference on Robotics, Control and Automation (ICRCA 2021)--Ei Compendex, Scopus
ACM--ICCCR--Ei Compendex, Scopus 2021   ACM--2021 International Conference on Computer, Control and Robotics (ICCCR 2021)--Ei Compendex, Scopus
ACM--RSAE--EI Compendex, Scopus 2021   ACM--2021 The 3rd International Conference on Robotics Systems and Automation Engineering (RSAE 2021)--EI Compendex, Scopus
ICACAR 2021   2021 4th International Conference on Advanced Control, Automation and Robotics (ICACAR 2021)
JCCAR 2021   2021 International Joint Conference on Control, Automation and Robotics (JCCAR 2021)
ACM--ICRCA--Ei Compendex and Scopus 2021   ACM--2021 The 5th International Conference on Robotics, Control and Automation (ICRCA 2021)--Ei Compendex, Scopus
ACM--MSIE--EI Compendex, Scopus 2021   ACM--2021 3rd International Conference on Management Science and Industrial Engineering (MSIE 2021)--EI Compendex, Scopus
EI/SCOPUS-CCEAI 2021   5th International Conference on Control Engineering and Artificial Intelligence (CCEAI 2021)
MathSJ 2020   Applied Mathematics and Sciences: An International Journal
HSCC 2020   23rd ACM International Conference on Hybrid Systems: Computation and Control