Call for papers


Call for Papers


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

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

Abstract registration (Optional) October 10, 2018, AOE
Paper submission October 17, 2018, AOE (firm)
RE package submission for tool/case study papers October 22, 2018, AOE
Rebuttal phase December 3-5, 2018
Notification December 21, 2018

Regular papers

Maximum 10 pages, 9pt font, two-column ACM format.

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

Maximum 6 pages, 9pt font, two-column ACM format.

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:
Tool and case study paper authors are strongly encouraged to submit a repeatability package due by October 22. While we expect the tool/case study papers submitted to the main conference to follow the double-blind instructions, the RE packages do not need to be anonymized. Therefore please remove any links to a repository that could reveal your identity from the paper but include these in your RE package submission. RE packages and papers will be evaluated by different committees. RE committee's findings will be communicated to the regular reviewers of the paper before the final decisions are made.

Additional pages

We note that the page limit includes references. However, additionally, each initial submission may include an optional appendix (maximum 3 pages) with supplementary material that will be read at the discretion of the program committee. The paper is expected to be self-contained without the optional appendix. This optional appendix will not be included in the camera ready submission.

Double-blind reviewing for papers

HSCC 2019 will employ a light-weight double-blind reviewing for Regular paper and Tool and Case Study papers. Submitted papers must adhere to two rules:
  • 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 …”).
See here for further details and frequently asked questions.

Demos and posters

Details TBA.