Construction of parametric barrier functions for dynamical systems using interval analysis

Abstract : Recently, barrier certificates have been introduced to prove the safety of continuous or hybrid dynamical systems. A barrier certificate needs to exhibit some barrier function, which partitions the state space in two subsets: the safe subset in which the state can be proved to remain and the complementary subset containing some unsafe region. This approach does not require any reachability analysis, but needs the computation of a valid barrier function, which is difficult when considering general nonlinear systems and barriers. This paper presents a new approach for the construction of barrier functions for nonlinear dynamical systems. The proposed technique searches for the parameters of a parametric barrier function using interval analysis. Complex dynamics can be considered without needing any relaxation of the constraints to be satisfied by the barrier function.
Type de document :
Article dans une revue
Automatica, Elsevier, 2017, 78, pp.287 - 296. 〈10.1016/j.automatica.2016.12.013〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01164307
Contributeur : Alexandre Chapoutot <>
Soumis le : vendredi 22 janvier 2016 - 16:11:29
Dernière modification le : jeudi 7 février 2019 - 16:02:57
Document(s) archivé(s) le : samedi 23 avril 2016 - 10:15:01

Fichiers

main.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

Citation

Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou. Construction of parametric barrier functions for dynamical systems using interval analysis. Automatica, Elsevier, 2017, 78, pp.287 - 296. 〈10.1016/j.automatica.2016.12.013〉. 〈hal-01164307v2〉

Partager

Métriques

Consultations de la notice

883

Téléchargements de fichiers

362