Reach-avoid analysis for polynomial stochastic differential equations

DOI10.1109/TAC.2023.3332570MaRDI QIDQ6575892zbMATH OpenFDO

Authors Bai Xue, Naijun Zhan, Martin Fränzle

Publication date 21 July 2024

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TAC.2023.3332570

Mathematics Subject Classification ID

Stochastic ordinary differential equations (aspects of stochastic analysis) (60H10) Semidefinite programming (90C22) Attainable sets, reachability (93B03) Stochastic systems in control theory (general) (93E03)

Cited in

(6)

• Sufficient and necessary barrier-like conditions for safety and reach-avoid verification of stochastic discrete-time systems
• A new framework for bounding reachability probabilities of continuous-time stochastic systems
• Finite-time safety and reach-avoid verification of stochastic discrete-time systems
• First passage time of stochastic differential systems: probability estimation and probability guaranteed control
• Unsafe probabilities and risk contours for stochastic processes using convex optimization
• Control barrier functions and safety-critical control with input constraints for stochastic systems

This page was built for publication: Reach-avoid analysis for polynomial stochastic differential equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6575892)