posted by organizer: ttj || 9171 views || tracked by 13 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : Hybrid Systems
 
Link: http://hscc2019.eecs.umich.edu
 
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
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 2020   Conference on Decision and Control
HSCC 2020   23rd ACM International Conference on Hybrid Systems: Computation and Control
SACMAT 2020   25th ACM Symposium on Access Control Models and Technologies
IJMNCT 2019   International Journal of Mobile Network Communications & Telematics
IFAC 2020   21st IFAC World Congress
EI ISCSIC 2020   2020 4th International Symposium on Computer Science and Intelligent Control(ISCSIC 2020)
ICCR--IEEE, Ei Compendex and Scopus 2019   IEEE--2019 2nd International Conference on Control and Robots (ICCR 2019)--Ei Compendex and Scopus
IJITCA 2019   International Journal of Information Technology, Control and Automation
AAAI-MAKE 2020   AAAI 2020 Spring Symposium on Combining Machine Learning and Knowledge Engineering in Practice
ACM--NLPIR--Ei Compendex and Scopus 2020   ACM--2020 4th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2020)--Scopus, Ei Compendex