21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC)

April 11-13, 2018,

Porto, Portugal

 

URL: www.hscc2018.deib.polimi.it

 

Important dates:

Paper submission deadline: October 6, 2017 (11:59pm UTC-12) FIRM

Notification: December 2017

Camera-ready: February 2018

Conference dates: April 11-13, 2018

* Please refer to the conference website for up-to-date information. *

 

Paper submission information:

Regular papers (maximum 10 pages, 10pt font, two-column ACM format) 

Tool and Case Study Papers (maximum 6 pages, 10pt font, two-column ACM format)

Demos (maximum 2 pages, 10pt font, two-column ACM format, title should begin with “Demo”)

Posters (maximum 2 pages, 10pt font, two-column ACM format, title should begin with “Poster”)

 

Awards:

- Best Repeatability Evaluation Award; Papers would be eligible upon passing the repeatability evaluation process will receive the “artifact evaluated” badge.

- Best Demo/Poster Award

- Best Paper Award *New*

- Test-of-Time Award *New*

 

Conference scope:

HSCC 2018 is the 21st 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 systems, with an emphasis on computational aspects. By drawing on strategies from computation and control, hybrid systems theory finds application in 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 are expected to cover a wide spectrum of topics from theoretical results to practical considerations, from academic research to industrial adoption, including but 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 resiliency in cyber-physical systems with a focus on computation and control

- Artificial intelligence and machine learning in control algorithms

- Software tools

- 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

 

Program Committee Chairs:

Maria Prandini, Politecnico di Milano

Jyotirmoy V.Deshmukh, University of Southern California

 

Repeatability Evaluation Chair:

Sergiy Bogomolov, Australian National University

 

Publicity Chair:

Kostas Margellos, University of Oxford

 

Demo and Poster Session Chair:

Jens Oehlerking, Robert Bosch GmbH

 

Awards Chair

Akshay Rajhans, The MathWorks

 

Program Committee:

See www.hscc2018.deib.polimi.it

 

Steering Committee:

Rajeev Alur, University of Pennsylvania

Werner Damm, OFFIS

John Lygeros, ETH Zurich

Oded Maler, Verimag

Paulo Tabuada, University of California at Los Angeles

Claire Tomlin, University of California at Berkeley

 

Submission website: 

See www.hscc2018.deib.polimi.it