Pages that link to "Item:Q2665332"

The following pages link to Control barrier functions for stochastic systems (Q2665332):

Displaying 17 items.

• Stabilization with guaranteed safety using control Lyapunov-Barrier function (Q254528) (← links)
• On the construction of safe controllable regions for affine systems with applications to robotics (Q1716618) (← links)
• Sufficient conditions for feasibility of optimal control problems using control barrier functions (Q2059351) (← links)
• Compositional construction of control barrier functions for continuous-time stochastic hybrid systems (Q2081792) (← links)
• Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
• Safe-by-design control for Euler-Lagrange systems (Q2097774) (← links)
• Safety control of a class of fully actuated systems subject to uncertain actuation dynamics (Q2165408) (← links)
• Stabilization with guaranteed safety using barrier function and control Lyapunov function (Q2205454) (← links)
• Extent-compatible control barrier functions (Q2242997) (← links)
• A barrier function approach to finite-time stochastic system verification and control (Q2663942) (← links)
• Safety verification for regime-switching jump diffusions via barrier certificates (Q6052173) (← links)
• Safe control synthesis using environmentally robust control barrier functions (Q6092437) (← links)
• Robust control barrier functions under high relative degree and input constraints for satellite trajectories (Q6109989) (← 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)
• Data-driven verification and synthesis of stochastic systems via barrier certificates (Q6537278) (← links)