11 papers
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…
PINNs in PDE Constrained Optimal Control Problems: Direct vs Indirect Methods
Zhen Zhang, Shanqing Liu, Alessandro Alla +2
We study physics-informed neural networks (PINNs) as numerical tools for the optimal control of semilinear partial differential equations. We first recall the classical direct and…
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…