Preface

Hybrid systems are complex dynamical systems that combine discrete and continuous components. Reachability questions, regarding whether a system can run into a certain subset of its state space, stand at the core of verification and synthesis problems for hybrid systems.

There are several successful methods for hybrid systems reachability analysis. Flowpipe-construction-based methods use iterative forward reachability analysis to over-approximate the set of reachable states, where efficient computations require dedicated datatypes (like polytopes, zonotopes or support functions) to represent state sets. Other methods based on satisfiability checking technologies symbolically encode reachability properties as logical formulas, while solving such formulas requires numerically-driven decision procedures. Last but not least, also automated deduction and the usage of theorem provers led to efficient analysis approaches. The goal of this workshop is to bring together researchers working with different reachability analysis techniques and to seek for synergies between the different approaches.

We would like to thank all authors for their contributions, the members of the Program Committee for their excellent work during the reviewing process and the invited speakers Christoph Grimm (Technische Universitaet Kaiserslautern, Germany) and Edward A. Lee (University of California at Berkeley, USA) for kindly accepting our invitation. We also gratefully acknowledge the support of EasyChair for the submission and reviewing process, and ETAPS 2017 for hosting SNR 2017.

Erika Ábrahám and Sergiy Bogomolov
SNR 2017 Co-chairs
April 2017

• Erika Abraham (RWTH Aachen University, Germany)
• Sergiy Bogomolov (Australian National University, Australia)

• Matthias Althoff (Technische Universitaet Muenchen, Germany)
• Stanley Bak (United States Air Force Research Lab, USA)
• Franck Cassez (Macquarie University, Australia)
• Xin Chen (University of Colorado at Boulder, USA)
• Thao Dang (CNRS/VERIMAG, France)
• Martin Fraenzle (University of Oldenburg, Germany)
• Goran Frehse (Verimag, France)
• Antoine Girard (L2S, CNRS, France)
• Thomas Heinz (Robert Bosch GmbH, Germany)
• Hui Kong (Institute of Science and Technology Austria, Austria)
• Oleksandr Letychevskyi (Glushkov Institute of Cybernetics, Ukraine)
• Nikolaj Nikitchenko (Kyiv National Taras Shevchenko University, Ukraine)
• Maria Prandini (Politecnico di Milano, Italy)
• Stefan Ratschan (Academy of Sciences, Czech Republic)
• Rajarshi Ray (National Institute of Technology Meghalaya, India)
• Stavros Tripakis (Aalto University, Finland, and UC Berkeley, USA)
• Vladimir Ulyantsev (ITMO University, Russia)
• Edmund Widl (Austrian Institute of Technology, Austria)
• Paolo Zuliani (University of Newcastle, UK)