[TYPES/announce] CfP: Workshop SNR collocated with CPSWeek 2016

Sergiy Bogomolov bogom.s at gmail.com
Wed Mar 16 12:28:57 EDT 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

More information about the Types-announce mailing list