3 papers
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…
eess.SY2025
Online Data-Driven Reachability Analysis using Zonotopic Recursive Least Squares
Alireza Naderi, Amr Hegazy, Amr Alanwar
Reachability analysis is a key formal verification technique for ensuring the safety of modern cyber physical systems subject to uncertainties in measurements, system models (param…
math.PR2024
A simple proof of almost sure convergence for the largest singular value of a product of Gaussian matrices
Thiziri Nait Saada, Alireza Naderi
Let and consider the product of independent matrices , each with i.i.d. normalised $\math…