2 papers
eess.SY2026
Data-Driven Reachability Analysis Using Matrix Perturbation Theory
Peng Xie, Abdulla Fawzy, Zhen Zhang +1
We propose a matrix zonotope perturbation framework that leverages matrix perturbation theory to characterize how noise-induced distortions alter the dynamics within sets of models…
eess.SY2026
Data-Driven Reachability of Nonlinear Lipschitz Systems via Koopman Operator Embeddings
Alireza Naderi, Ahmad Hafez, Abdulla Fawzy +1
Data-driven safety verification of robotic systems often relies on zonotopic reachability analysis due to its scalability and computational efficiency. However, for nonlinear syste…