Skip to Main content Skip to Navigation
Conference papers

Inner approximated reachability analysis

Abstract : Computing a tight inner approximation of the range of a function over some set is notoriously di cult, way beyond obtaining outer approximations. We propose here a new method to compute a tight inner approximation of the set of reachable states of non-linear dynamical systems on a bounded time interval. This approach involves a ne forms and Kaucher arithmetic, plus a number of extra ingredients from set-based methods. An implementation of the method is discussed, and illustrated on representative numerical schemes, discrete-time and continuous-time dynamical systems.
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download
Contributor : Michel Kieffer Connect in order to contact the contributor
Submitted on : Wednesday, January 21, 2015 - 5:32:41 PM
Last modification on : Tuesday, July 20, 2021 - 3:06:20 AM
Long-term archiving on: : Wednesday, April 22, 2015 - 10:10:30 AM


Publisher files allowed on an open archive


Distributed under a Creative Commons Attribution - NonCommercial - ShareAlike 4.0 International License



Eric Goubault, Olivier Mullier, Sylvie Putot, Michel Kieffer. Inner approximated reachability analysis. HSCC '14, Apr 2014, Berlin, Germany. pp.163-172, ⟨10.1145/2562059.2562113⟩. ⟨hal-01073731⟩



Les métriques sont temporairement indisponibles