 |
ECOLE SUPÉRIEURE D'ÉLECTRICITÉ Une grande école d'ingénieurs au cœur des sciences de l'information,de l'énergie et des systèmes |
 |
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.
Cited literature [25 references]
https://hal-supelec.archives-ouvertes.fr/hal-01073731
Contributor : Michel Kieffer <>
Submitted on : Wednesday, January 21, 2015 - 5:32:41 PM
Last modification on : Wednesday, May 27, 2020 - 12:20:03 PM
Document(s) archivé(s) le : Wednesday, April 22, 2015 - 10:10:30 AM
Contributor : Michel Kieffer <>
Submitted on : Wednesday, January 21, 2015 - 5:32:41 PM
Last modification on : Wednesday, May 27, 2020 - 12:20:03 PM
Document(s) archivé(s) le : Wednesday, April 22, 2015 - 10:10:30 AM
File
hscc09-goubaultA.pdf
Publisher files allowed on an open archive
Licence
Distributed under a Creative Commons Attribution - NonCommercial - ShareAlike 4.0 International License
