Falsification using reachability of surrogate Koopman models

DOI10.1145/3641513.3650141MaRDI QIDQ6993484zbMATH OpenFDO

Authors Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Niklas Kochdumper, Andrew Mata, Amir Rahmati

Publication date 25 April 2025

zbMATH Keywords

reachability analysiscyber-physical systemsfalsificationsignal temporal logicKoopman operator linearization

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

This page was built for publication: Falsification using reachability of surrogate Koopman models

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