Pages that link to "Item:Q4682313"
From MaRDI portal
The following pages link to Converse Theorems for Safety and Barrier Certificates (Q4682313):
Displaying 9 items.
- Barrier certificates revisited (Q507352) (← links)
- Vector barrier certificates and comparison systems (Q2024361) (← links)
- Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications (Q2165975) (← links)
- Constraint learning for control tasks with limited duration barrier functions (Q2664234) (← links)
- Learning safe neural network controllers with barrier certificates (Q5918375) (← links)
- Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems (Q6116266) (← links)
- Adaptive robust safety-critical control of switched systems via single barrier function (Q6647033) (← links)
- Sufficient conditions for robust safety in differential inclusions using barrier functions (Q6659220) (← links)
- On converse zeroing barrier functions (Q6664828) (← links)