10 papers · 1 filter
Reachability Analysis With Probabilistic Zonotopes: Learning Realized Disturbances and Refining Aleatory Uncertainty
Amir Modares, Zhen Zhang, Themistoklis Charalambous +2
This paper develops a data-driven reachability framework for linear systems whose disturbances are modeled by probabilistic zonotopes (PZs), combining bounded deterministic and Gau…
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…
From Points to Sets: Set-Based Safety Verification in the Latent Space
Wenyuan Wu, Peng Xie, Zhen Zhang +3
We extend latent representation methods for safety control design to set-valued states. Recent work has shown that barrier functions designed in a learned latent space can transfer…
Bridging Data-Driven Reachability Analysis and Statistical Estimation via Constrained Matrix Convex Generators
Peng Xie, Zhen Zhang, Rolf Findeisen +1
Data-driven reachability analysis enables safety verification when first-principles models are unavailable. This requires constructing sets of system models consistent with measure…
Data-Driven Nonconvex Reachability Analysis using Exact Set Propagation
Zhen Zhang, M. Umar B. Niazi, Michelle S. Chong +2
This paper studies deterministic data-driven reachability analysis for dynamical systems with unknown dynamics and nonconvex reachable sets. Existing deterministic data-driven appr…
Transformer-Enhanced Data-Driven Output Reachability with Conformal Coverage Guarantees
Zhen Zhang, Peng Xie, Wenyuan Wu +2
This paper considers output reachability analysis for linear time-invariant systems with unknown state-space matrices and unknown observation map, given only noisy input-output mea…
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…
Conformalized Data-Driven Reachability Analysis with PAC Guarantees
Yanliang Huang, Zhen Zhang, Peng Xie +2
Data-driven reachability analysis computes over-approximations of reachable sets directly from noisy data. Existing deterministic methods require either known noise bounds or syste…
Hybrid Polynomial Zonotopes: A Set Representation for Reachability Analysis in Hybrid Nonaffine Systems
Peng Xie, Zhen Zhang, Amr Alanwar
Reachability analysis for hybrid nonaffine systems remains computationally challenging, as existing set representations--including constrained, polynomial, and hybrid zonotopes--ei…
Data-Driven Nonconvex Reachability Analysis using Exact Multiplication
Zhen Zhang, M. Umar B. Niazi, Michelle S. Chong +2
This paper addresses a fundamental challenge in data-driven reachability analysis: accurately representing and propagating non-convex reachable sets. We propose a novel approach us…