CPSWEEK

It is our great pleasure to welcome you to the proceedings of the 19th International Conference on "Hybrid Systems: Computation and Control" (HSCC 2016) held in Vienna, Austria, on April 12-14th 2016. HSCC has long been the leading, single-track conference on foundations, techniques, and tools for analysis, verification, control, synthesis, optimization, implementation, and applications of dynamical systems that exhibit continuous and discrete (hybrid) dynamics. Applications at HSCC deal broadly with Cyber-Physical Systems (CPS), and include (but are not limited to) robotics, mixed signal circuits, largescale infrastructure networks, as well as natural systems such as biochemical and physiological models.

HSCC 2016 is held as part of the 8th 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. Previous editions of the HSCC conferences have been held as a single event since 1998, and in conjunction with CPS Week since 2009. Information on the HSCC conference series can be found at http://www.hscc-conference.org

Forty-five Program Committee members have helped to provide at least 4 reviews for each of the 65 submitted contributions. Continuing the tradition of HSCC started in 2012, a 7-day rebuttal period has been offered to the authors in order to respond to the comments of the reviewers. Based on the PC discussions following the author rebuttal, 28 high-quality articles have been accepted, to be presented during the thirty-minute single-track sessions at the conference. These contributions appear as full papers in the proceedings. Furthermore, 4 tool and case study articles appear as short papers in the proceedings. The short papers are presented alongside other contributions during the joint CPS Week Poster and Demo session. The Demo and Poster session for HSCC 2016 has been organized by Dr. Jim Kapinski. The overall acceptance rate for the conference was 49%, while specifically for the regular papers the acceptance rate was 47%.

We have decided to strongly promote the Repeatability Evaluation (RE) process, which draws upon several similar efforts at other conferences (SIGMOD, SAS, CAV, ECOOP, OOPSLA, all of them having an emphasis on "artifacts"), and which follows a first experimental run during HSCC 2014. HSCC has a rich 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. The goal of the HSCC RE process is to improve the reproducibility of computational results in the papers selected for the conference. Prof. Ian Mitchell has led the effort, aided by an RE Committee of 21 junior researchers, providing on average 3 evaluations to each of the 18 submitted RE packages. This year, 14 papers have passed the RE process and they have been recognized in the proceedings by printing an RE stamp on their first page (for further information please see the report below).

The contributions have been bundled in eight thematic single-track sessions, ranging over the following themes: temporal logic applications; analysis of switched systems; safety and stability analysis; methods for reachability analysis; time- and event-based models; control synthesis; models with uncertainty; reachability computation. Furthermore, one session hosts poster and demo (tool papers or RE packages) contributions, as well as the case study papers.

A highlight of HSCC 2016 has been the presence of a high-profile invited speaker, Prof. Sandra Hirche from TU Munich, giving a lecture on the topic of "Optimal Co-Design of Scheduling and Control for Networked Systems." Furthermore, CPS Week has featured plenary talks by two distinguished academic speakers, Prof. Rajeev Alur (University of Pennsylvania) and Prof. Tomaso Poggio (MIT), and from an industrial panel discussion on CPS. The distinguished panelists have been: Ken Butts, Toyota, USA; Rada Rodriguez, Schneider Electric, Germany; Joe Salvo, GE Global Research, USA; Sabine Herlitschka, Infineon, Austria.

HSCC 2016 features three awards: a best student paper award; a best poster/demo award; and a best RE award. These awards have been administered by a selection of colleagues from the PC. Further details on HSCC 2016 are featured on the website: http://www.cs.ox.ac.uk/conferences/hscc2016