Reachable set over-approximation for nonlinear systems using piecewise barrier tubes

DOI10.1007/978-3-319-96145-3_24zbMath1511.68159OpenAlexW2883974304WikidataQ124212532 ScholiaQ124212532MaRDI QIDQ6041129

Hui Kong, Ezio Bartocci, Thomas A. Henzinger

Publication date: 26 May 2023

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-96145-3_24

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03)

Related Items (2)

Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming ⋮ Quadratic maximization of reachable values of affine systems with diagonalizable matrix

This page was built for publication: Reachable set over-approximation for nonlinear systems using piecewise barrier tubes