Pages that link to "Item:Q2663942"
From MaRDI portal
The following pages link to A barrier function approach to finite-time stochastic system verification and control (Q2663942):
Displaying 7 items.
- Safety verification for distributed parameter systems using barrier functionals (Q1678571) (← links)
- Compositional construction of control barrier functions for continuous-time stochastic hybrid systems (Q2081792) (← links)
- An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems (Q2178193) (← links)
- Control barrier functions for stochastic systems (Q2665332) (← links)
- Safety verification for regime-switching jump diffusions via barrier certificates (Q6052173) (← links)
- Incipient fault prediction for nonlinear stochastic distribution systems (Q6063691) (← links)
- Control Lyapunov–Barrier function based model predictive control for stochastic nonlinear affine systems (Q6197784) (← links)