Pages that link to "Item:Q2980573"
From MaRDI portal
The following pages link to Converse Barrier Certificate Theorems (Q2980573):
Displaying 12 items.
- Constrained control of input-output linearizable systems using control sharing barrier functions (Q680519) (← links)
- Safety verification for distributed parameter systems using barrier functionals (Q1678571) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Safety-critical dynamic event-triggered control of nonlinear systems (Q2124497) (← links)
- Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications (Q2165975) (← links)
- Fault-tolerant safe control design of switched and interconnected nonlinear systems (Q2334141) (← links)
- Constraint learning for control tasks with limited duration barrier functions (Q2664234) (← links)
- Learning safe neural network controllers with barrier certificates (Q5918375) (← links)
- Safe reward‐based deep reinforcement learning control for an electro‐hydraulic servo system (Q6069295) (← links)
- Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems (Q6116266) (← links)
- Sufficient conditions for robust safety in differential inclusions using barrier functions (Q6659220) (← links)
- On converse zeroing barrier functions (Q6664828) (← links)
