Reach-avoid verification based on convex optimization

DOI10.1109/TAC.2023.3274821MaRDI QIDQ6575726zbMATH OpenFDO

Authors Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu

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.3274821

Mathematics Subject Classification ID

Nonlinear ordinary differential equations and systems (34A34) Attainable sets, reachability (93B03)

Cited in

(2)

• Converse barrier certificates for finite-time safety verification of continuous-time perturbed deterministic systems
• Finite-time safety and reach-avoid verification of stochastic discrete-time systems

This page was built for publication: Reach-avoid verification based on convex optimization

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