Computation of Parametric Barrier Functions for Dynamical Systems using Interval Analysis - ENSTA Paris - École nationale supérieure de techniques avancées Paris Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Computation of Parametric Barrier Functions for Dynamical Systems using Interval Analysis

Résumé

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.
Fichier principal
Vignette du fichier
main.pdf (347.59 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01073673 , version 1 (10-10-2014)

Identifiants

Citer

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

Altmetric

Partager

Gmail Facebook X LinkedIn More