Batiment IMAG, Salle 206
15 mai 2018 - 14h00
Computing inner and outer approximations of forward reach sets of a nonlinear dynamical system
par Luc Jaulin de 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
