Wednesday, March 16, 2016

[DMANET] CfP: Workshop SNR collocated with CPSWeek 2016

CALL FOR PARTICIPATION

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