Control barrier functions for stochastic systems
From MaRDI portal
Publication:2665332
DOI10.1016/j.automatica.2021.109688zbMath1478.93660arXiv2003.03498OpenAlexW3163376802MaRDI QIDQ2665332
Publication date: 19 November 2021
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2003.03498
Applications of stochastic analysis (to PDEs, etc.) (60H30) Stochastic systems in control theory (general) (93E03)
Related Items (6)
Safety verification for regime-switching jump diffusions via barrier certificates ⋮ Safe control synthesis using environmentally robust control barrier functions ⋮ Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications ⋮ Safety‐critical control for robotic systems with uncertain model via control barrier function ⋮ Control Lyapunov–Barrier function based model predictive control for stochastic nonlinear affine systems ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Stabilization with guaranteed safety using control Lyapunov-Barrier function
- Constrained control of input-output linearizable systems using control sharing barrier functions
- Robust control barrier functions for constrained stabilization of nonlinear systems
- Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks
- Symbolic models for retarded jump-diffusion systems
- Reachable set computation for uncertain time-varying linear systems
- Verification and Control of Hybrid Systems
- Feedback Stabilization of Affine in the Control Stochastic Differential Systems by the Control Lyapunov Function Method
- Conflict resolution for air traffic management: a study in multiagent hybrid systems
- Control Barrier Function Based Quadratic Programs for Safety Critical Systems
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
This page was built for publication: Control barrier functions for stochastic systems