Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

A Model Checking Approach to Dynamical Systems Analysis

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

 David  Safranek
Date
Le mardi 24 janvier 2017 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
David Safranek (Masaryk University, Brno)

We will describe our novel high-performance algorithm for synthesis of interdependent parameters from CTL specifications for non-linear dynamical systems based on coloured model checking. The method employs a symbolic representation of sets of parameter valuations in terms of first-order theory of the reals. Moreover, we will discuss an interesting extension of the algorithm that allows to address the problem of bifurcation analysis of parameterised high-dimensional dynamical systems.

To this end, we introduce the hybrid CTL logic augmented with direction formulae. This allows us to describe various behaviour patterns and phase portraits. Finally, we will describe applications of the method to a class of piecewise multi-affine dynamical systems representing dynamics of biological systems with complex non-linear behaviour involving multi-stability or limit cycles.


À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

No entries.

Les séminaires précédents