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

Bracketing backward reach sets of a dynamical system

Thomas Le Mézo 1, 2 Luc Jaulin 1, 2 Benoit Zerr 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
Abstract : In this paper, we present a new method for bracketing (i.e., characterizing from inside and from outside) backward reach set of the target region T of a continuous time dynamical system. The principle of the method is to formalize the problem as a constraint network, where the variables are the trajectories (or paths) of the system. The resolution is made possible by using mazes which is a set of paths that contain all solutions of the problem. As a result, we will be able to derive a method able to compute a backward reach set for a huge class of systems without any knowledge of a parametric Lyapunov function and without assuming any linearity for our system. The method will be illustrated on several examples.
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-02190303
Contributeur : Thomas Le Mézo <>
Soumis le : lundi 22 juillet 2019 - 12:11:34
Dernière modification le : lundi 9 novembre 2020 - 14:17:49

Fichier

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

Identifiants

Citation

Thomas Le Mézo, Luc Jaulin, Benoit Zerr. Bracketing backward reach sets of a dynamical system. International Journal of Control, Taylor & Francis, 2020, 93 (11), pp.2528-2540. ⟨10.1080/00207179.2019.1643910⟩. ⟨hal-02190303⟩

Partager

Métriques

Consultations de la notice

157

Téléchargements de fichiers

126