Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets

DOI10.1109/tac.2023.3292008arXiv2209.09321OpenAlexW4383112775MaRDI QIDQ6199955

Niklas Kochdumper, Mark Wetzlinger, Matthias Althoff, Stanley Bak

Publication date: 29 February 2024

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

Full work available at URL: https://arxiv.org/abs/2209.09321

zbMATH Keywords

linear systemsformal verificationreachability analysisset-based computing

Mathematics Subject Classification ID

Systems theory; control (93-XX)

This page was built for publication: Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets