Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

Computing an Inner and an Outer Approximation of the Viability Kernel

Dominique Monnet 1, 2, 3 Jordan Ninin 2, 1, 3 Luc Jaulin 2, 1, 3
1 Lab-STICC_ENSTAB_CID_IHSEV
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
2 Pôle STIC_OSM
ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne
3 Lab-STICC_ENSTAB_CID_PRASYS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : The viability kernel corresponds to the set of all state vectors of a controlled dynamic system that are viable, i.e., such that there exists an input such that the system will not enter inside a forbidden zone. In this paper, we propose a method which computes an inner and an outer approximation of the viability kernel in a guaranteed way. Our method is based on interval analysis and uses the notions of V-viability and capture basin. We illustrate our approach on the car on the hill problem. A software package has been developed to solve any 2D-problem.
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01366752
Contributeur : Jordan Ninin <>
Soumis le : vendredi 16 septembre 2016 - 14:15:43
Dernière modification le : vendredi 27 novembre 2020 - 09:34:05
Archivage à long terme le : : samedi 17 décembre 2016 - 13:25:22

Fichier

Viability_Kernel_FINAL.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Pas de modification 4.0 International License

Identifiants

  • HAL Id : hal-01366752, version 1

Citation

Dominique Monnet, Jordan Ninin, Luc Jaulin. Computing an Inner and an Outer Approximation of the Viability Kernel. Reliable Computing, Springer Verlag, 2016, 22. ⟨hal-01366752⟩

Partager

Métriques

Consultations de la notice

1009

Téléchargements de fichiers

420