Over- and Under-Approximations of Reachable Sets With Series Representations of Evolution Functions

DOI10.1109/TAC.2020.2994019OpenAlexW3024507758WikidataQ114085479 ScholiaQ114085479MaRDI QIDQ4990194

Zhikun She, Meilun Li

Publication date: 28 May 2021

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

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

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Related Items (3)

OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations ⋮ Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming ⋮ Learning safe neural network controllers with barrier certificates

This page was built for publication: Over- and Under-Approximations of Reachable Sets With Series Representations of Evolution Functions