Call for Papers

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 cyber- physical systems
• 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.
  

Submission guidelines

All submissions should be 9pt font, two-column ACM conference format, in PDF. Templates for the ACM format are available for Microsoft Word and LaTeX here.

Submission website: EasyChair submission link

Paper submissions are encouraged to be preceded by an abstract submission.

Important dates

Regular papers

Submissions should present unpublished original research, not under review elsewhere. Regular papers can include new theoretical foundations, algorithms, and/or practical results with strong evaluation components.

All regular papers including special track papers on Safe Autonomy, Artificial Intelligence and Machine Learning will be judged on significance, originality, relevance, correctness, and clarity. Authors of accepted regular papers with a computational component will be invited to participate in an optional repeatability evaluation process after notification of acceptance.

Tool and case study papers

Tool papers will be judged on the significance, clarity, and novelty of the implemented tool/technique described in the paper. Case study papers should report the evaluation of a technique or tool on a challenging application and/or benchmarks.

We consider reproducibility and repeatability of the results presented in the tool/case study papers an important aspect of such papers. While submission of a repeatability evaluation package is not mandatory, we strongly encourage the authors to submit such a package at the time of paper submission. Tool or case study papers with a repeatability evaluation package will be judged on the merit of both the paper itself, but also on the repeatability of the presented results. Tool/Case study papers not accompanied by a RE package would be judged on the strength of the benchmarks (e.g. large-scale industrial/proprietary benchmarks), or the role of the tool as a component in a complex tool-chain ecosystem. Instructions on preparing the repeatability evaluation package can be found here. The deadline for submission of the repeatability package is five days after the paper submission deadline.

Note for tool/case study paper authors on double-blind process:

Additional pages

Double-blind reviewing for papers

• author names and institutions must be omitted, and
• references to authors’ own related work should be in the third person (e.g., not “We build on our previous work …” but rather “We build on the work of …”).

Demos and posters