An Interval Approach to Compute Invariant Sets. - Thomas Le Mézo; Luc Jaulin; Benoît Zerr (IEEE Trans. Autom. Control., 2017)

Bracketing the solutions of an ordinary differential equation with uncertain initial conditions. - Thomas Le Mézo; Luc Jaulin; Benoît Zerr (Appl. Math. Comput., 2018)

Bracketing largest invariant sets of dynamical systems: an application to drifting underwater robots in ocean currents. (Encadrement des plus grands ensembles invariants de systèmes dynamiques: une application aux robots sous-marins dérivant dans les courants océaniques). - Thomas Le Mézo (2019)

Bracketing backward reach sets of a dynamical system. - Thomas Le Mézo; Luc Jaulin; Benoît Zerr (Int. J. Control, 2020)

Kleene Algebra to Compute Invariant Sets of Dynamical Systems. - Thomas Le Mézo; Luc Jaulin; Damien Massé; Benoît Zerr (Algorithms, 2022)