Sufficient conditions for robust safety in differential inclusions using barrier functions
From MaRDI portal
Publication:6659220
DOI10.1016/j.automatica.2024.111938MaRDI QIDQ6659220
Adnane Saoud, Mohamed Adlene Maghenem, Masoumeh Ghanbarpour Mamaghani
Publication date: 8 January 2025
Published in: Automatica (Search for Journal in Brave)
Cites Work
- Continuous selections. I
- Robust control barrier functions for constrained stabilization of nonlinear systems
- Analytic extensions of differentiable functions defined in closed sets.
- Piecewise structure of Lyapunov functions and densely checked decrease conditions for hybrid systems
- Assume-guarantee contracts for continuous-time systems
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
- Digital self-triggered robust control of nonlinear systems
- Converse Barrier Certificate Theorems
- Stability and Stabilization of Discontinuous Systems and Nonsmooth Lyapunov Functions
- A smooth Lyapunov function from a class-${\mathcal{KL}}$ estimate involving two positive semidefinite functions
- Converse Theorems for Safety and Barrier Certificates
- Converse Barrier Functions via Lyapunov Functions
- Necessary and sufficient conditions for the nonincrease of scalar functions along solutions to constrained differential inclusions
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- Discontinuous dynamical systems
This page was built for publication: Sufficient conditions for robust safety in differential inclusions using barrier functions
