Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes

DOI10.1016/J.NAHS.2024.101571MaRDI QIDQ7015106zbMATH OpenFDO

Authors Yusheng Huang, Stanley Bak, Yi-Fan Sun

Publication date 10 March 2025

Published in Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

zbMATH Keywords

reachability analysisformal verificationlinear systems with uncertain parameterspolynomial zonotopes

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Linear systems in control theory (93C05)

This page was built for publication: Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes

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