HSCC: Hybrid Systems

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2020 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
HSCC 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control
Apr 16, 2019 - Apr 18, 2019 Montreal, Canada Oct 17, 2018 (Oct 10, 2018)
HSCC 2017 Hybrid Systems: Computation and Control
Apr 19, 2017 - Apr 21, 2017 Pittsburgh, PA, USA Oct 14, 2016
HSCC 2016 Hybrid Systems Computation and Control
Apr 12, 2016 - Apr 14, 2016 Vienna Oct 23, 2015 (Oct 8, 2015)
HSCC 2015 Hybrid Systems Computation and Control
Apr 15, 2015 - Apr 15, 2015 Seattle, WA Oct 20, 2014 (Oct 13, 2014)
HSCC 2014 International Conference on Hybrid Systems: Computation and Control
Apr 15, 2014 - Apr 17, 2014 Berlin Oct 14, 2013
HSCC 2013 Hybrid Systems: Computation and Control
Apr 8, 2013 - Apr 8, 2013 Philadelphia, PA, USA Oct 15, 2012
HSCC 2012 Hybrid Systems: Computation and Control 2012
Apr 17, 2012 - Apr 19, 2012 Beijing, China Oct 14, 2011
HSCC 2011 International Conference on Hybrid Systems: Computation and Control
Apr 12, 2011 - Apr 14, 2011 Chicago, IL, USA Oct 10, 2010
HSCC 2010 The 13th ACM International Conference on Hybrid Systems: Computation and Control
Apr 12, 2010 - Apr 16, 2010 Stockholm, Sweden Oct 10, 2009 (Oct 3, 2009)
HSCC 2009 Hybrid Systems: Computation & Control
Apr 13, 2009 - Apr 15, 2009 San Francisco Oct 10, 2008
HSCC 2008 11th International Conference on Hybrid Systems: Computation And Control
Apr 22, 2008 - Apr 24, 2008 St. Louis, MO, USA Jan 9, 2008 (Oct 12, 2007)
 
 

Present CFP : 2019

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)
 

Related Resources

CDC 2019   58th Conference on Decision and Control
SIGIR 2019   International ACM SIGIR Conference on Research and Development in Information Retrieval
ICRIS--Ei and Scopus 2019   2019 The 2nd International Conference on Robotics and Intelligent System (ICRIS 2019)--Ei Compendex and Scopus
KDD 2019   25TH ACM SIGKDD CONFERENCE ON KNOWLEDGE DISCOVERY AND DATA MINING
MathSJ 2018   Applied Mathematics and Sciences: An International Journal
IJCCI 2019   International Joint Conference on Computational Intelligence
IEEE-CoDIT 2019   IEEE - 6th 2019 International Conference on Control, Decision and Information Technologies
SACMAT 2019   24th ACM Symposium on Access Control Models and Technologies
ICRCA--ACM, Ei and Scopus 2019   ACM--2019 The 4th International Conference on Robotics, Control and Automation (ICRCA 2019)--EI Compendex, Scopus