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)

Mathematics Subject Classification ID

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

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)