Reach-avoid verification based on convex optimization

DOI10.1109/TAC.2023.3274821zbMATH Open1546.93057MaRDI QIDQ6575726FDOQ6575726

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)