*Batiment IMAG, Salle 206*

15 May 2018 - 14h00

Computing inner and outer approximations of forward reach sets of a nonlinear dynamical system

by Luc Jaulin from Lab-STICC, ENSTA-Bretagne

Abstract: Given a nonlinear continous-time system and an initial set X0, the forward reach set corresponds to the set of all states that can be reached for some given time t>0, assuming that the initial state belongs to X0. In the presentation, I will show that guaranteed inner and outer approximations of the forward reach set can be computed by using a fixed point interval algorithm inside a Kleene algebra. The elements of this algebra are set-valued functions which are automorphism with respect to the intersection.

Some illustrations associated with examples from the literature can be found at:

www.ensta-bretagne.fr/lemezo/pyinvariant/pyinvariant.html