posted by user: bogom || 2348 views || tracked by 2 users: [display]

SNR 2016 : 2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (CPSWeek 2016)


When Apr 11, 2016 - Apr 11, 2016
Where Vienna, Austria
Submission Deadline Jan 20, 2016
Notification Due Mar 9, 2016
Final Version Due Mar 16, 2016
Categories    hybrid systems   reachability   formal methods   real-time

Call For Papers


SNR 2016

2nd International Workshop on Symbolic and Numerical Methods for
Reachability Analysis

April 11th, 2016, Vienna, Austria
Affiliated with CPSWeek 2016

Important Dates

Submissions deadline: January 20, 2016
Notification: March 09, 2016
Final version: March 16, 2016
Workshop date: April 11, 2016

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

Submission Information

The workshop solicits long papers (maximal 10 pages) and short papers
(maximal 6 pages). Submissions must present original unpublished work
which is not submitted elsewhere. They should be written in English
and formatted according to the IEEE guidelines for conference proceedings

Papers can be submitted using the EasyChair system:

All submissions will undergo a peer-reviewing process. Accepted papers
will be published electronically in the IEEE Xplore Digital Library

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)

Related Resources

TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
SNR 2022   The 8th International Workshop on Symbolic-Numeric Methods for Reachability Analysis
AI 2022   8th International Conference on Artificial Intelligence and Applications
COSADE 2023   The 14th International Workshop on Constructive Side-Channel Analysis and Secure Design
ESOP 2023   32st European Symposium on Programming
MLMHCIHCAMCI 2022   Machine Learning Methods in High-Content Imaging and High-Content Analysis for Molecular and Cellular Imaging
PAVeTrust 2022   2nd Workshop on Program Analysis and Verification on Trusted Platforms
ICCIoT 2023   4th International Conference on Cloud and Internet of Things
MLMHCIHCAMCI 2022   Machine Learning Methods in High-Content Imaging and High-Content Analysis for Molecular and Cellular Imaging
ICLA 2022   10th Indian Conference on Logic and its Applications