5 papers
Certifying Plans under Model Mismatch: A Trilemma for Reachability from Scarce Data
Yanliang Huang, Zhen Zhang, Ahmad Hafez +4
Sim-to-real policies are designed under nominal dynamics, but target-system trials may yield only a few isolated one-step transitions. We study pre-execution certification of a fix…
Transformer-Accelerated Interpolated Data-Driven Reachability Analysis from Noisy Data
Zhen Zhang, Ahmad Hafez, Peng Xie +3
Data-driven reachability analysis provides guaranteed outer approximations of reachable sets from input-state measurements, yet each propagation step requires a matrix-zonotope mul…
Data-Driven Reachability of Nonlinear Lipschitz Systems via Koopman Operator Embeddings
Alireza Naderi, Alireza Naderi Akhormeh, Ahmad Hafez +2
Data-driven safety verification of robotic systems often relies on zonotopic reachability analysis due to its scalability and computational efficiency. However, for nonlinear syste…
Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
Ahmad Hafez, Alireza Naderi Akhormeh, Amr Hegazy +1
The deployment of Large Language Models (LLMs) in robotic systems presents unique safety challenges, particularly in unpredictable environments. Although LLMs, leveraging zero-shot…
Reachability Analysis Using Constrained Polynomial Logical Zonotopes
Ahmad Hafez, Frank J. Jiang, Karl H. Johansson +1
In this paper, we propose reachability analysis using constrained polynomial logical zonotopes. We perform reachability analysis to compute the set of states that could be reached.…