SNR 2017
Date: Apr 22, 2017 12:00 am – Apr 22, 2017 11:00 am
Location: Uppsala, Sweden
3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2017)
Affiliated with ETAPS 2017
Scope
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. Some methods explicitly construct flow-pipes that over-approximate the set of reachable states over time, where efficient computation of such over-approximations requires symbolic representations such as support functions. 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.
The SNR workshop solicits papers broadly in the area of analysis and synthesis of continuous and hybrid systems.
The scope of the workshop includes, but is not restricted to, the following topics with application to continuous and hybrid systems:
- Reachability analysis
- Flow-pipe construction; symbolic state set representations
- Logical frameworks for reasoning
- Bounded model checking
- Automated deduction
- Invariant generation
- Symbolic execution
- Trajectory generation; counterexample computation
- Abstraction techniques
- Reliable integration
- Simulation
- Reachability analysis for planning and synthesis
- Domain-specific approaches in biology, robotics, etc.
- Stochastic/probabilistic hybrid systems
Invited Speakers
- TBA
Workshop Co-Chairs
- Erika Abraham (RWTH Aachen University, Germany)
- Sergiy Bogomolov (Australian National University, Australia)
Publicity Chair
- Przemyslaw Daca (Institute of Science and Technology Austria, Austria)
Program Committee
- 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)
Submitted by Anonymous
on
3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2017)
Affiliated with ETAPS 2017
Scope
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. Some methods explicitly construct flow-pipes that over-approximate the set of reachable states over time, where efficient computation of such over-approximations requires symbolic representations such as support functions. 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.
The SNR workshop solicits papers broadly in the area of analysis and synthesis of continuous and hybrid systems.
The scope of the workshop includes, but is not restricted to, the following topics with application to continuous and hybrid systems:
- Reachability analysis
- Flow-pipe construction; symbolic state set representations
- Logical frameworks for reasoning
- Bounded model checking
- Automated deduction
- Invariant generation
- Symbolic execution
- Trajectory generation; counterexample computation
- Abstraction techniques
- Reliable integration
- Simulation
- Reachability analysis for planning and synthesis
- Domain-specific approaches in biology, robotics, etc.
- Stochastic/probabilistic hybrid systems
Invited Speakers
- TBA
Workshop Co-Chairs
- Erika Abraham (RWTH Aachen University, Germany)
- Sergiy Bogomolov (Australian National University, Australia)
Publicity Chair
- Przemyslaw Daca (Institute of Science and Technology Austria, Austria)
Program Committee
- 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)