12 papers · 1 filter
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…
Orthogonal Transformations for Efficient Data-Driven Reachability Analysis
Peng Xie, Amr Alanwar
Data-driven reachability analysis using matrix zonotopes faces a fundamental challenge: the number of generators in the reachable set grows exponentially during propagation, while…
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 Reachability Analysis with Optimal Input Design
Peng Xie, Davide M. Raimondo, Rolf Findeisen +1
This paper addresses the conservatism in data-driven reachability analysis for discrete-time linear systems subject to bounded process noise, where the system matrices are unknown…
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…
Certified Set Convergence for Piecewise Affine Systems via Neural Lyapunov Functions
Yanliang Huang, Peng Xie, Zhen Zhang +3
Safety-critical control of piecewise affine (PWA) systems under bounded additive disturbances requires guarantees not for individual states but for entire state sets simultaneously…
Data-Driven Reachability Analysis via Diffusion Models with PAC Guarantees
Yanliang Huang, Peng Xie, Wenyuan Wu +2
We present a data-driven framework for reachability analysis of nonlinear dynamical systems that requires no explicit model. A denoising diffusion probabilistic model learns the ti…
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 Reachability Analysis for Piecewise Affine Systems
Peng Xie, Johannes Betz, Davide M. Raimondo +1
Hybrid systems play a crucial role in modeling real-world applications where discrete and continuous dynamics interact, including autonomous vehicles, power systems, and traffic ne…