Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis

DOI10.1109/TAC.2016.2615599MaRDI QIDQ5358637zbMATH OpenOpenAlexFDO

Authors Bai Xue, Arvind Easwaran, Nam-Joon Cho, Martin Fränzle

Publication date 21 September 2017

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

Full work available at URL https://doi.org/10.1109/tac.2016.2615599

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Attainable sets, reachability (93B03)

Cited in

(5)

• Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
• scientific article; zbMATH DE number 1956619 (Why is no real title available?)
• Optimal strategies for the lifeline differential game with limited lifetime
• Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement

This page was built for publication: Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis

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