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:

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

info visites 3861797