Cover Image

Data-Driven Reachability Analysis via Diffusion Models with PAC Guarantees

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Huang, Yanliang, Xie, Peng, Wu, Wenyuan, Zeng, Zhuoqi, Alanwar, Amr
Format:	Preprint
Published:	2026
Subjects:	Systems and Control Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Conformalized Data-Driven Reachability Analysis with PAC Guarantees
by: Huang, Yanliang, et al.
Published: (2026)

Transformer-Enhanced Data-Driven Output Reachability with Conformal Coverage Guarantees
by: Zhang, Zhen, et al.
Published: (2026)

Transformer-Accelerated Interpolated Data-Driven Reachability Analysis from Noisy Data
by: Zhang, Zhen, et al.
Published: (2026)

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
by: Hafez, Ahmad, et al.
Published: (2025)

Certified Set Convergence for Piecewise Affine Systems via Neural Lyapunov Functions
by: Huang, Yanliang, et al.
Published: (2026)

Orthogonal Transformations for Efficient Data-Driven Reachability Analysis
by: Xie, Peng, et al.
Published: (2026)

Data-Driven Reachability Analysis Using Matrix Perturbation Theory
by: Xie, Peng, et al.
Published: (2026)

Data-Driven Reachability Analysis with Optimal Input Design
by: Xie, Peng, et al.
Published: (2026)

Data-Driven Reachability Analysis for Piecewise Affine Systems
by: Xie, Peng, et al.
Published: (2025)

Bridging Data-Driven Reachability Analysis and Statistical Estimation via Constrained Matrix Convex Generators
by: Xie, Peng, et al.
Published: (2026)

Online Data-Driven Reachability Analysis using Zonotopic Recursive Least Squares
by: Akhormeh, Alireza Naderi, et al.
Published: (2025)

Hybrid Polynomial Zonotopes: A Set Representation for Reachability Analysis in Hybrid Nonaffine Systems
by: Xie, Peng, et al.
Published: (2025)

From Points to Sets: Set-Based Safety Verification in the Latent Space
by: Wu, Wenyuan, et al.
Published: (2026)

Data-Driven Reachability of Nonlinear Lipschitz Systems via Koopman Operator Embeddings
by: Akhormeh, Alireza Naderi, et al.
Published: (2026)

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
by: Oumer, Mohammed Adib, et al.
Published: (2025)

Roundabout Constrained Convex Generators: A Unified Framework for Multiply-Connected Reachable Sets
by: Xie, Peng, et al.
Published: (2025)

Data-Driven Nonconvex Reachability Analysis using Exact Multiplication
by: Zhang, Zhen, et al.
Published: (2025)

Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees
by: Nath, Devesh, et al.
Published: (2026)

Data-Driven Nonconvex Reachability Analysis using Exact Set Propagation
by: Zhang, Zhen, et al.
Published: (2026)

Data-driven Reachable Set Estimation with Tunable Adversarial and Wasserstein Distributional Guarantees
by: Pantazis, Georgios, et al.
Published: (2026)

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison
by: Dietrich, Elizabeth, et al.
Published: (2026)

Robust Data-Driven Tube-Based Zonotopic Predictive Control with Closed-Loop Guarantees
by: Farjadnia, Mahsa, et al.
Published: (2024)

Symplectic Inductive Bias for Data-Driven Target Reachability in Hamiltonian Systems
by: Ouyang, Zhuo, et al.
Published: (2026)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
by: Hafez, Ahmad, et al.
Published: (2024)

Koopman Data-Driven Predictive Control with Robust Stability and Recursive Feasibility Guarantees
by: de Jong, Thomas, et al.
Published: (2024)

Quadratic Characterizations for Reachability Analysis of Neural Networks
by: Khalife, Elias, et al.
Published: (2026)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
by: Hadjiloizou, Loizos, et al.
Published: (2024)

Towards Intrinsically Calibrated Uncertainty Quantification in Industrial Data-Driven Models via Diffusion Sampler
by: Ma, Yiran, et al.
Published: (2026)

Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems
by: Alanwar, Amr, et al.
Published: (2023)

Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
by: Zhang, Yuhao, et al.
Published: (2025)

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
by: Solanki, Prashant, et al.
Published: (2025)

Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis
by: Sharifi, Sina, et al.
Published: (2024)

Distributionally Robust PAC-Bayesian Control
by: Herceg, Domagoj, et al.
Published: (2026)

Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
by: Lin, Albert, et al.
Published: (2025)

Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
by: Harapanahalli, Akash, et al.
Published: (2023)

$\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX
by: Harapanahalli, Akash, et al.
Published: (2024)

Convex Hulls of Reachable Sets
by: Lew, Thomas, et al.
Published: (2023)

Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency
by: Sayed, Abdelrahman Sayed, et al.
Published: (2025)

An Analysis of Safety Guarantees in Multi-Task Bayesian Optimization
by: Luebsen, Jannis O., et al.
Published: (2025)

Data-Driven Observability Analysis for Nonlinear Stochastic Systems
by: Massiani, Pierre-François, et al.
Published: (2023)