Published: 8th April 2017
DOI: 10.4204/EPTCS.247
ISSN: 2075-2180


Proceedings 3rd International Workshop on
Symbolic and Numerical Methods for Reachability Analysis
Uppsala, Sweden, 22nd April 2017

Edited by: Erika Ábrahám and Sergiy Bogomolov

Towards Verification of Uncertain Cyber-Physical Systems
Carna Radojicic, Christoph Grimm, Axel Jantsch and Michael Rathmair
Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method
Adrien Le Coënt, Florian De Vuyst, Ludovic Chamoin and Laurent Fribourg
Minkowski Operations of Sets with Application to Robot Localization
Benoit Desrochers and Luc Jaulin
On the Underapproximation of Reach Sets of Abstract Continuous-Time Systems
Ievgen Ivanov
Compile-Time Extensions to Hybrid ODEs
Yingfu Zeng, Ferenc Bartha and Walid Taha


This volume contains the papers presented at SNR 2017, the 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis. The workshop was held on April 22, 2017 in Uppsala, Sweden as a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2017).

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

SNR 2017 Co-chairs: SNR 2017 Program Committee: