Pages that link to "Item:Q2665332"
From MaRDI portal
The following pages link to Control barrier functions for stochastic systems (Q2665332):
Displaying 6 items.
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Safety verification for regime-switching jump diffusions via barrier certificates (Q6052173) (← links)
- Safe control synthesis using environmentally robust control barrier functions (Q6092437) (← links)
- Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications (Q6122791) (← links)
- Safety‐critical control for robotic systems with uncertain model via control barrier function (Q6149923) (← links)
- Control Lyapunov–Barrier function based model predictive control for stochastic nonlinear affine systems (Q6197784) (← links)
