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

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

Dates and versions

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

Licence

Attribution - NonCommercial - ShareAlike

Identifiers

Cite

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⟩
412 View
299 Download

Altmetric

Share

Gmail Facebook X LinkedIn More