Wednesday, March 16, 2016

[DMANET] CfP: Workshop SNR collocated with CPSWeek 2016


SNR 2016

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

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


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


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


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

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

Stefan Ratschan.
Computing ODE-barriers in Hyper-rectangles

16:00-17:30 Session 4: Discrete-time and probabilistic systems

Riccardo Vignali and Maria Prandini.
Model reduction of discrete time hybrid systems: A structural
approach based on observability

Yang Gao and Martin Fränzle.
CSiSAT: A Satisfiability Solver for SMT Formulas with Continuous
Probability Distributions

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
* 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.