Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Chain of set inversion problems; Application to reachability analysis

Benoît Desrochers 1, 2 Luc Jaulin 1, 2
1 Lab-STICC_ENSTAB_CID_PRASYS
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
Abstract : This paper deals with the set inversion problem X = f −1 (Y) in the case where f : R n → R m depends on a parameter vector p ∈ R q which is known to be inside a box [p]. We show that for a large class of problems, we can obtain an accurate approximation of the solution set, without bisecting in the p-space. To do this, symbolic methods are required to cast our initial problem into a chain of set-inversion problems, the links of which have some nice properties with respect to p. As an application, we consider the problem of computing the set of all initial states of an uncertain discrete-time state system that reach a target set Y in a given time.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

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

https://hal-ensta-bretagne.archives-ouvertes.fr/hal-01702404
Contributeur : Marie Briec <>
Soumis le : mardi 6 février 2018 - 17:09:01
Dernière modification le : mercredi 5 août 2020 - 03:41:43

Fichier

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

Identifiants

  • HAL Id : hal-01702404, version 1

Citation

Benoît Desrochers, Luc Jaulin. Chain of set inversion problems; Application to reachability analysis. 20th World Congress of the International Federation of Automatic Control, IFAC 2017, Jul 2017, Toulouse, France. ⟨hal-01702404⟩

Partager

Métriques

Consultations de la notice

316

Téléchargements de fichiers

236