11 papers
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…
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…
Data-Driven Tube-Based Zonotopic Predictive Control With Nonconvex Layered Terminal Sets
Zhen Zhang, Bogdan Gheorghe, Florin Stoican +1
This paper presents a data-driven tube-based zonotopic predictive control (DTZPC) framework with nonconvex layered terminal sets. Existing DTZPC schemes with closed-loop guarantees…