Computation of Parametric Barrier Functions for Dynamical Systems using Interval Analysis

Olivier Bouissou 1 Alexandre Chapoutot 2 Adel Djaballah 2 Michel Kieffer 3
1 LMeASI - Laboratoire Modélisation et Analyse de Systèmes en Interaction
LIST - Laboratoire d'Intégration des Systèmes et des Technologies : DRT/LIST
3 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 : The formal verification of safety properties for hybrid systems is an important but challenging problem. Recently, barrier functions have been introduced to prove safety without requiring the computation of the reachable set of continuous or hybrid dynamical systems. This paper presents a new approach for the construction of barrier functions for safety verification of nonlinear dynamical systems. The proposed method is based on the search for the parameters of a parametric barrier function using interval analysis. This technique allows considering complex dynamics without needing any relaxation of constraints in the barrier function.
Type de document :
Communication dans un congrès
53rd IEEE Conference on Decision and Control (CDC), Dec 2014, Los Angeles, United States. pp.1-4, 2014, 〈10.1109/cdc.2014.7039472 〉
Liste complète des métadonnées

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

https://hal-supelec.archives-ouvertes.fr/hal-01073673
Contributeur : Michel Kieffer <>
Soumis le : vendredi 10 octobre 2014 - 11:58:53
Dernière modification le : mardi 24 avril 2018 - 14:08:16
Document(s) archivé(s) le : dimanche 11 janvier 2015 - 10:45:29

Fichier

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

Identifiants

Citation

Olivier Bouissou, Alexandre Chapoutot, Adel Djaballah, Michel Kieffer. Computation of Parametric Barrier Functions for Dynamical Systems using Interval Analysis. 53rd IEEE Conference on Decision and Control (CDC), Dec 2014, Los Angeles, United States. pp.1-4, 2014, 〈10.1109/cdc.2014.7039472 〉. 〈hal-01073673〉

Partager

Métriques

Consultations de la notice

420

Téléchargements de fichiers

218