Inner approximated reachability analysis

Eric Goubault 1 Olivier Mullier 2 Sylvie Putot 1 Michel Kieffer 3
1 LIST - Laboratoire d'Intégration des Systèmes et des Technologies
2 LMeASI - Laboratoire Modélisation et Analyse de Systèmes en Interaction
LIST - Laboratoire d'Intégration des Systèmes et des Technologies : DRT/LIST
3 L2S - Laboratoire des signaux et systèmes
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.
Type de document :
Communication dans un congrès
HSCC '14, Apr 2014, Berlin, Germany. Proceedings of the 17th international conference on Hybrid systems: computation and control, pp.163-172, 2014, 〈10.1145/2562059.2562113〉
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger
https://hal-supelec.archives-ouvertes.fr/hal-01073731
Contributeur : Michel Kieffer <>
Soumis le : mercredi 21 janvier 2015 - 17:32:41
Dernière modification le : jeudi 7 février 2019 - 14:48:34
Document(s) archivé(s) le : mercredi 22 avril 2015 - 10:10:30

Fichier

hscc09-goubaultA.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Licence

Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Partage selon les Conditions Initiales 4.0 International License

Identifiants

Collections

SUPELEC | SUP_LSS | SUP_TELECOMS | L2S | CEA | PARISTECH | DRT | LIST

Citation

Eric Goubault, Olivier Mullier, Sylvie Putot, Michel Kieffer. Inner approximated reachability analysis. HSCC '14, Apr 2014, Berlin, Germany. Proceedings of the 17th international conference on Hybrid systems: computation and control, pp.163-172, 2014, 〈10.1145/2562059.2562113〉. 〈hal-01073731〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

595

Téléchargements de fichiers

174

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD