4 papers
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…
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…
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…
Beyond IID weights: sparse and low-rank deep Neural Networks are also Gaussian Processes
Thiziri Nait-Saada, Alireza Naderi, Jared Tanner
The infinitely wide neural network has been proven a useful and manageable mathematical model that enables the understanding of many phenomena appearing in deep learning. One examp…