Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement

DOI10.1007/S10703-024-00464-ZMaRDI QIDQ6938562zbMATH OpenFDO

Authors Stanley Bak, Sergiy Bogomolov, Brandon Hencey, Niklas Kochdumper, Kostiantyn Potomkin

Publication date 25 August 2025

Published in Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

reachability analysisformal verificationKoopman operatorrandom Fourier featurespolynomial zonotopesexplicit kernel approxmation

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Linearizations (93B18)

This page was built for publication: Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement

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