7 papers
Probabilistic Reachable-Action Verification of Visuomotor Policies via Set-Based Training
Yanliang Huang, Zhuocheng Zhang, Peng Xie +5
Reachability analysis for visuomotor policies is difficult because large visual encoders make end-to-end set propagation computationally expensive and excessively conservative. We…
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…
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…
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…