|
|
|
Thomas Le Mézo, Luc Jaulin, Damien Massé and Benoit Zerr
In this paper, we show that a basic fixed point method used to enclose the greatest fixed point in a Kleene algebra will allow us to compute inner and outer approximations of invariant-based sets for continuous-time nonlinear dynamical systems. Our contr...
ver más
|
|
|