Seminar details

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




Contact | Site Map | Site powered by SPIP 3.0.28 + AHUNTSIC [CC License]

info visites 1275851