Inner approximated reachability analysis - CentraleSupélec Access content directly
Conference Papers Year : 2014

Inner approximated reachability analysis


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.
Fichier principal
Vignette du fichier
hscc09-goubaultA.pdf (426.86 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive

Dates and versions

hal-01073731 , version 1 (21-01-2015)


Attribution - NonCommercial - ShareAlike



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⟩
414 View
308 Download



Gmail Facebook X LinkedIn More