2017 Hybrid Systems: Computation and Control (HSCC) -- First Call for Papers
CALL FOR PAPERS
20th International Conference on Hybrid Systems: Computation and Control (HSCC)
April 18-21, 2017 | Pittsburgh, Pennsylvania, USA | http://hscc2017.ece.illinois.edu/
Important dates
- Paper Submission deadline: October 13, 2016 (firm, 11:59 pm UTC-12)
- Rebuttal phase: TBA
- Notifications: December 20, 2016
- Demo/poster submission: TBA
- Camera-ready: February 16, 2017
- Conference dates: April 18-21, 2017
Conference 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
HSCC 2017 will be part of the ninth Cyber Physical Systems Week (CPS Week), and co- located with the International Conference on Cyber-Physical Systems (ICCPS), Information Processing in Sensor Networks (IPSN), the Real-Time and Embedded Technology and Applications Symposium (RTAS), Conference on Internet-of-Things Design and Implementation (IOTDI), and related workshops.
Regular papers: Submissions should present unpublished original research, not under review elsewhere. Maximum 10 pages in 10pt, two-column ACM format. This year we will enforce a light double-blind reviewing process; the conference webpage will have more details. Paper submissions should be preceded by an abstract (date TBA). 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.
Tool and case study papers: Tool Papers should describe an implemented tool and its novelty. Maximum 6 pages in the 10pt, two-column ACM format.
Demo/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.
Submission website for papers: https://easychair.org/conferences/?conf=hscc17
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.
The official publication date may be up to two weeks before the conference.
Committees for HSCC 2017
Program Committee Chairs
- Goran Frehse, Univ. Grenoble Alpes-Verimag, France
- Sayan Mitra, Univ. of Illinois at Urbana-Champaign, USA
Publicity Chair
- Necmiye Ozay, Univ. of Michigan, USA
Program Committee
- TBA
Steering Committee
- Rajeev Alur, University of Pennsylvania, USA
- Werner Damm, OFFIS, Germany
- John Lygeros, ETH Zurich, Switzerland
- Oded Maler, Verimag, France
- Paulo Tabuada, UCLA, USA
- Claire Tomlin, UC Berkeley, USA