SNR 2016
Date: Apr 11, 2016 12:00 am – Apr 11, 2016 11:00 am
Location: Vienna, Austria
2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2016)
Affiliated with CPSWeek 2016
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 overapproximate the set of reachable states over time, where efficient computation of such overapproximations 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 symbolic and numerical approaches.
The SNR workshop solicits papers broadly in the area of verification and synthesis of continuous and hybrid systems. The scope of the workshop includes, but is not restricted to, the following topics:
- Reachability analysis approaches for hybrid systems
- Flow-pipe construction; symbolic state set representations
- Trajectory generation from symbolic paths; counterexample computation
- Abstraction techniques for hybrid systems
- Reliable integration
- Decision procedures for real arithmetic
- Automated deduction
- Logics to reason about hybrid systems
- Reachability analysis for planning and synthesis
- Domain-specific approaches in biology, robotics, etc.
- Stochastic/probabilistic hybrid systems
- Tools, benchmarks, and case studies
Workshop Co-Chairs
- Erika Abraham (RWTH Aachen University, Germany)
- Sergiy Bogomolov (Institute of Science and Technology Austria, Austria)
Publicity Chair
- Przemyslaw Daca (Institute of Science and Technology Austria, Austria)
Program Committee
- Matthias Althoff (Technische Universitaet Muenchen, Germany)
- Ezio Bartocci (Vienna University of Technology, Austria)
- Parasara Sridhar Duggirala (University of Connecticut, USA)
- Martin Fraenzle (University of Oldenburg, Germany)
- Goran Frehse (Verimag, France)
- Sicun Gao (MIT, USA)
- Antoine Girard (L2S, CNRS, France)
- Taylor T. Johnson (University of Texas at Arlington, USA)
- Mircea Lazar (Technische Universiteit Eindhoven, The Netherlands)
- Maria Prandini (Politecnico di Milano, Italy)
- Stefan Ratschan (Academy of Sciences, Czech Republic)
- Rajarshi Ray (National Institute of Technology Meghalaya, India)
- Sriram Sankaranarayanan (University of Colorado Boulder, USA)
- Ashish Tiwari (SRI, USA)
- Stavros Tripakis (Aalto University, Finland, and UC Berkeley, USA)
- Martin Wehrle (University of Basel, Switzerland)
- Edmund Widl (Austrian Institute of Technology, Austria)
- Paolo Zuliani (University of Newcastle, UK)
Submitted by Anonymous
on
2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2016)
Affiliated with CPSWeek 2016
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 overapproximate the set of reachable states over time, where efficient computation of such overapproximations 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 symbolic and numerical approaches.
The SNR workshop solicits papers broadly in the area of verification and synthesis of continuous and hybrid systems. The scope of the workshop includes, but is not restricted to, the following topics:
- Reachability analysis approaches for hybrid systems
- Flow-pipe construction; symbolic state set representations
- Trajectory generation from symbolic paths; counterexample computation
- Abstraction techniques for hybrid systems
- Reliable integration
- Decision procedures for real arithmetic
- Automated deduction
- Logics to reason about hybrid systems
- Reachability analysis for planning and synthesis
- Domain-specific approaches in biology, robotics, etc.
- Stochastic/probabilistic hybrid systems
- Tools, benchmarks, and case studies
Workshop Co-Chairs
- Erika Abraham (RWTH Aachen University, Germany)
- Sergiy Bogomolov (Institute of Science and Technology Austria, Austria)
Publicity Chair
- Przemyslaw Daca (Institute of Science and Technology Austria, Austria)
Program Committee
- Matthias Althoff (Technische Universitaet Muenchen, Germany)
- Ezio Bartocci (Vienna University of Technology, Austria)
- Parasara Sridhar Duggirala (University of Connecticut, USA)
- Martin Fraenzle (University of Oldenburg, Germany)
- Goran Frehse (Verimag, France)
- Sicun Gao (MIT, USA)
- Antoine Girard (L2S, CNRS, France)
- Taylor T. Johnson (University of Texas at Arlington, USA)
- Mircea Lazar (Technische Universiteit Eindhoven, The Netherlands)
- Maria Prandini (Politecnico di Milano, Italy)
- Stefan Ratschan (Academy of Sciences, Czech Republic)
- Rajarshi Ray (National Institute of Technology Meghalaya, India)
- Sriram Sankaranarayanan (University of Colorado Boulder, USA)
- Ashish Tiwari (SRI, USA)
- Stavros Tripakis (Aalto University, Finland, and UC Berkeley, USA)
- Martin Wehrle (University of Basel, Switzerland)
- Edmund Widl (Austrian Institute of Technology, Austria)
- Paolo Zuliani (University of Newcastle, UK)