Visible to the public ACM HSCC 2019 Final Call for Papers - Deadline Oct. 17Conflict Detection Enabled

No replies
Anonymous
Anonymous's picture

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

Part of CPS-IoT Week 2019

April 16-18, 2019 | Montreal, Canada | http://hscc2019.eecs.umich.edu/

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.

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.

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.

Contact
email HSCC19 PC Chairs