Call for papers

 

Scope

HSCC 2017 is the 20th in a series of conferences on all aspects of hybrid systems. It is dedicated to advancing design and analysis techniques that bridge control theory and computer science, and is expanding to new domains in security and privacy and in systems biology. The conference covers the range from theoretical results to practical applications and experiences in cyber-physical systems (CPS), mixed signal circuits, robotics, infrastructure networks, and biological models. Topics of interest include, but are not limited to, the following subjects:

  • Mathematical foundations, computability and complexity
  • Modeling paradigms and techniques
  • Design, synthesis, planning, and control
  • Analysis, verification, validation, and testing
  • Programming and specification languages
  • Network science and control over networks
  • Security and privacy in cyberphysical systems
  • Software tools
  • Applications and case studies

Submission guidelines

Submissions should present unpublished original research, not under review elsewhere. The Program Committee will evaluate the technical contribution of each submission as well as its accessibility to both experts and the general HSCC audience. All regular papers will be judged on significance, originality, relevance, correctness, and clarity. Tool papers will be judged on the significance, clarity, and novelty of the implemented tool described in the paper. All submissions should be in PDF and printable on US Letter and A4 sized paper. Submissions should use the two-column ACM format and be in 10 pt font. Templates for ACM format are available for Microsoft Word and LaTeX at here.

  • Regular papers can be maximum 10 pages.
  • Tool and case study papers can be maximum 6 pages.

Submission website: EasyChair submission link

Paper submissions should be preceded by an abstract submission (date: Oct 6, 2016, 11:59 pm UTC-12).

New this year: HSCC 2017 will employ light double-blind reviewing. To facilitate this, 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 …”).
The purpose of this process is to help the PC come to an initial judgement about the paper without bias, it is not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. A document answering frequently asked questions should address many common concerns.

The submission itself is the object of review and so it should strive to convince the reader of at least the plausibility of reported results. Still, we encourage authors to provide any supplementary material that is required to support the claims made in the paper, such as detailed proofs, proof scripts, or experimental data. These materials should be uploaded at submission time, as a single pdf or a tarball, not via a URL. These (possibly non-anonymous) supplementary material is available to the reviewers after they have submitted their first-draft reviews and learnt the identity of the authors. Reviewers are under no obligation to look at the supplementary material but may refer to it if they have questions about the material in the body of the paper.

Demos and posters

Demo/poster descriptions are used for selecting contributions for demo/poster session, and will not be published in the proceedings. Maximum 2 pages, ACM format. Title should begin with “Demo (Poster):”. Descriptions should be submitted to the “Demonstrations and Posters” track at the submission website.

Awards

Authors of distinguished papers may be invited to submit an extended version of their work for possible publication in a Special issue of a leading journal. A Best Student Paper Award will be presented to the author of the best paper written solely or primarily by a student.

Repeatability evaluation

Authors of accepted papers will be invited to participate in an optional repeatability evaluation process after the camera-ready submission. Papers that pass will receive the “artifact evaluated” badge and there will be a Best RE Award.