SNR 2016
========
2nd International Workshop on Symbolic and Numerical Methods for
Reachability Analysis
April 11th, 2016, Vienna, Austria
Affiliated with CPSWeek 2016
https://snr2016.pages.ist.ac.at/
Topics
=====
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
Registration
==========
http://www.cpsweek.org/2016/reg.html
Early registration deadline: *March 18, 2016*
Invited talks
============
Stylianos Basagiannis (United Technologies Research Center, Ireland)
Formal Verification towards Software Safety-Critical Certification of
Airborne Systems under DO-178C
Thao Dang (Verimag, France)
Template Complex Zonotopes: A New Set Representation for Verification
of Hybrid Systems
Walid Taha (Halmstad University, Sweden)
Accurate Rigorous Simulation Should be Possible for Good Designs
Program
========
9:00-10:30 Session 1: Validated simulation
9:00-10:00 Invited talk
Walid Taha (joint work with Adam Duracz and Ference Bartha).
Accurate Rigorous Simulation Should be Possible for Good Designs
10:00-10:30
Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
and Laurent Fribourg.
Control of Nonlinear Switched Systems Based on Validated Simulation
11:00-12:30 Session 2: Formal methods in industry
11:00-12:00 Invited talk
Stylianos Basagiannis.
Software Certification of Airborne Cyber-Physical Systems under DO-178C
12:00-12:30 Podium discussion
Formal Methods: Bridging the Gap Between Academic and Industrial Research
14:00-15:30 Session 3: Reachability analysis
14:00-15:00 Invited talk
Thao Dang (joint work with Santosh Arvind Adimoolam).
Template complex zonotopes: A new set representation for
verification of hybrid systems
15:00-15:30
Stefan Ratschan.
Computing ODE-barriers in Hyper-rectangles
16:00-17:30 Session 4: Discrete-time and probabilistic systems
16:00-16:30
Riccardo Vignali and Maria Prandini.
Model reduction of discrete time hybrid systems: A structural
approach based on observability
16:30-17:00
Yang Gao and Martin Fränzle.
CSiSAT: A Satisfiability Solver for SMT Formulas with Continuous
Probability Distributions
17:00-17:30
Kristóf Marussy, Attila Klenik, Vince Molnár, András Vörös, Miklos
Telek and Istvan Majzik.
Configurable Numerical Analysis for Stochastic Systems
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
