On the Converse Safety Problem for Differential Inclusions: Solutions, Regularity, and Time-Varying Barrier Functions - Pôle Automatique et Diagnostic Accéder directement au contenu
Article Dans Une Revue IEEE Transactions on Automatic Control Année : 2023

On the Converse Safety Problem for Differential Inclusions: Solutions, Regularity, and Time-Varying Barrier Functions

Résumé

This paper presents converse theorems for safety in terms of barrier functions for unconstrained continuous-time systems modeled as differential inclusions. Via a counterexample, we show the lack of existence of autonomous and continuous barrier functions certifying safety for a nonlinear system that is not only safe but also has a smooth right-hand side. Guided by converse Lyapunov theorems for (non-asymptotic) stability, time-varying barrier functions and appropriate infinitesimal conditions are shown to be both necessary as well as sufficient under mild regularity conditions on the right-hand side of the system. More precisely, we propose a general construction of a time-varying barrier function in terms of a marginal function involving the finite-horizon reachable set. Using techniques from set-valued and nonsmooth analysis, we show that such a function guarantees safety when the system is safe. Furthermore, we show that the proposed barrier function construction inherits the regularity properties of the proposed reachable set. In addition, when the system is safe and smooth, we build upon the constructed barrier function to show the existence of a smooth barrier function guaranteeing safety. Comparisons and relationships to results in the literature are also presented.
Fichier principal
Vignette du fichier
Main.ConvSaf.new+1.pdf (873.04 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03854251 , version 1 (15-11-2022)

Identifiants

Citer

Mohamed Maghenem, Ricardo Sanfelice. On the Converse Safety Problem for Differential Inclusions: Solutions, Regularity, and Time-Varying Barrier Functions. IEEE Transactions on Automatic Control, 2023, 68 (1), pp.172-187. ⟨10.1109/TAC.2022.3148226⟩. ⟨hal-03854251⟩
18 Consultations
31 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More