Sufficient conditions for robust safety in differential inclusions using barrier functions - Archive ouverte HAL
Article Dans Une Revue Automatica Année : 2025

Sufficient conditions for robust safety in differential inclusions using barrier functions

Résumé

This paper considers robust-safety notions for differential inclusions. A general framework is proposed to certify the considered notions in terms of barrier functions. While most existing literature has focused solely on what we designate as uniform robust safety, in this paper, we make a clear distinction between uniform and non-uniform robust safety. For both cases, we establish sufficient conditions on the nominal (unperturbed) system. Our conditions involve only the barrier function and the system’s right-hand side. Our results allow for unbounded safety regions as well as non-smooth barrier functions. The paper concludes with applications to safety-critical self-triggered control and fast-slow dynamics as well as assume–guarantee contracts.

Dates et versions

hal-04789593 , version 1 (18-11-2024)

Identifiants

Citer

Mohamed Maghenem, Masoumeh Ghanbarpour Mamaghani, Adnane Saoud. Sufficient conditions for robust safety in differential inclusions using barrier functions. Automatica, 2025, 171 (January), pp.111938. ⟨10.1016/j.automatica.2024.111938⟩. ⟨hal-04789593⟩
6 Consultations
0 Téléchargements

Altmetric

Partager

More