CfP: 19th International Conference on Hybrid Systems: Computation and Control (HSCC 2016)
19th International Conference on Hybrid Systems: Computation and Control (HSCC 2016)
April 12-14, 2016, Vienna, Austria
HSCC 2016 will be held as part of the eighth Cyber Physical Systems Week (CPS Week), alongside the International Conference on Cyber-Physical Systems (ICCPS), the International Conference on Information Processing in Sensor Networks (IPSN), the Real-Time and Embedded Technology and Applications Symposium (RTAS), and additional CPS-related workshops.
Conference Scope
Hybrid Systems: Computation and Control (HSCC) has long been the leading, single-track conference on foundations, techniques, and tools for analysis, verification, control, synthesis, implementation, and applications of dynamical systems that exhibit continuous and discrete (hybrid) dynamics.
Applications deal broadly with cyber-physical systems (CPS), and include mixed signal circuits, robotics, large-scale infrastructure networks, as well as natural systems such as biochemical and physiological models.
Topics of interest include, but are not limited to:
- Design, synthesis, planning and control
- Analysis, automated verification (Boolean or quantitative)
- Certification, validation, and testing
- Model building from data (via learning) and model simulation
- Mathematical foundations, computability and complexity
- Programming languages, specification formalisms
- Software tool engineering and experimentation
- Real-time and resource-aware control
- Network science and control over networks
- Applications in cyber-physical systems, and in particular: automotive, avionics, energy and power, mobile and autonomous robotics, medical devices, manufacturing, transportation, systems and synthetic biology, models for the life sciences, and other areas.
Special Issue: 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 in the CPS research area.
Best Student Paper Award: As established in previous years, a best student paper award will be given to a contribution primarily authored by a student.
Repeatability Evaluation: HSCC has a history of publishing strong papers emphasizing computational contributions; however, subsequent re-creation of these computational elements is often challenging because details of the implementation are unavoidably absent in the paper. Authors of papers accepted to HSCC (in any track) that contain a computational component will be invited to participate in an optional repeatability evaluation process after final submission of the paper in February. Papers that pass will be highlighted at the conference and in the proceedings, and all submissions will receive confidential feedback from independent reviewers on any challenges faced in recreating the computational results. Further details will be posted in due time.
We solicit theoretical as well as applied research papers that present original work combining ideas from computer science and control systems.
Important Dates:
- Workshop & Tutorial Submission Deadline (via CPS Week call): October 1, 2015
- Abstract Submission Deadline: October 8, 2015 (strict)
- Paper Submission Deadline: October 23, 2015 (strict)
- Rebuttal Phase: Nov 27 to Dec 4, 2015
- Author Notification Date: December 18, 2015
- Poster and Demo Submission Deadline: TBA
- Repeatability Evaluation Deadline: TBA
- Camera-ready Submission Deadline: TBA
- Conference Dates: April 12-14, 2016
Submission Guidelines
Submitted papers should present unpublished original research, not under review elsewhere.
Regular papers: maximum 10 pages in the 10pt, two-column ACM format.
Tool and Case Study papers: maximum 6 pages in the 10pt, two-column ACM format. Tool Papers should describe an implemented tool and its novel features. Case studies should present hybrid systems tools or techniques.
Demo/posters: Maximum 2 pages. Demo/poster descriptions serve the sole purpose of selecting contributions for demo/poster session, and will not be published in the conference proceedings.
Submissions
All papers: papers submissions should be preceded by an abstract (see important dates)
The website accepting paper submissions is https://easychair.org/conferences/?conf=hscc2016
ACM templates can be found at http://www.acm.org/sigs/publications/proceedings-templates
Demo/poster submissions: The submission deadline will be announced sometime in the beginning of 2016 (seeimportant dates). Submission will be through email to hscc2016@easychair.org with "HSCC demo/poster submission" in the subject line. Questions should be directed to the same address.
Publications
The conference proceedings will be published with ACM. The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.