Converse Barrier Certificate Theorems
From MaRDI portal
Publication:2980573
Cited in
(15)- Vector barrier certificates and comparison systems
- Safety-critical dynamic event-triggered control of nonlinear systems
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Safe reward‐based deep reinforcement learning control for an electro‐hydraulic servo system
- Constraint learning for control tasks with limited duration barrier functions
- Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications
- Safety verification for distributed parameter systems using barrier functionals
- Converse Theorems for Safety and Barrier Certificates
- Sufficient conditions for robust safety in differential inclusions using barrier functions
- Learning safe neural network controllers with barrier certificates
- Barrier certificates revisited
- On converse zeroing barrier functions
- Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems
- Fault-tolerant safe control design of switched and interconnected nonlinear systems
- Constrained control of input-output linearizable systems using control sharing barrier functions
This page was built for publication: Converse Barrier Certificate Theorems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2980573)