Inner approximated reachability analysis

Eric Goubault 1 Olivier Mullier 2 Sylvie Putot 1 Michel Kieffer 3, 4
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
4 Division Télécoms et réseaux - LTCI
L2S - Laboratoire des signaux et systèmes : 1289, IUF - Institut Universitaire de France : 56663, LTCI - Laboratoire Traitement et Communication de l'Information : 162010
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 5 avril 2018 - 12:30:24
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

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〉

Partager

Métriques

Consultations de la notice

459

Téléchargements de fichiers

154