Inner and outer reachability for the verification of control systems
Éric Goubault, Sylvie Putot · 2019
We investigate the information and guarantees provided by different inner and outer approximated reachability analyses, for proving properties of dynamical systems. We explore the connection of these approximated sets with the maximal and minimal reachable sets of Mitchell [31], with an additional notion of robustness to disturbance. We demonstrate the practical use of a specific computation of these approximated reachable sets. We revisit in particular the reachavoid properties.