Copertina

Transformer-Enhanced Data-Driven Output Reachability with Conformal Coverage Guarantees

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhang, Zhen, Xie, Peng, Wu, Wenyuan, Huang, Yanliang, Alanwar, Amr
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Data-Driven Reachability Analysis via Diffusion Models with PAC Guarantees
di: Huang, Yanliang, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Inclusion conditions for the Constrained Polynomial Zonotopic case
di: Gheorghe, Bogdan, et al.
Pubblicazione: (2026)

Reachability Guarantees for Energy Arbitrage
di: Tapia, Tomás, et al.
Pubblicazione: (2026)

Data-Driven Tube-Based Zonotopic Predictive Control With Nonconvex Layered Terminal Sets
di: Zhang, Zhen, et al.
Pubblicazione: (2026)

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

Statistical Guarantees in Data-Driven Nonlinear Control: Conformal Robustness for Stability and Safety
di: Hsu, Ting-Wei, et al.
Pubblicazione: (2025)

Multi-Scale Conformal Prediction: A Theoretical Framework with Coverage Guarantees
di: Baheri, Ali, et al.
Pubblicazione: (2025)

Secure Set-based State Estimation for Safety-Critical Applications under Adversarial Attacks on Sensors
di: Niazi, M. Umar B., et al.
Pubblicazione: (2023)

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty
di: Ding, Jianqiang, et al.
Pubblicazione: (2025)

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

Staggered Integral Online Conformal Prediction for Safe Dynamics Adaptation with Multi-Step Coverage Guarantees
di: Cherenson, Daniel M., et al.
Pubblicazione: (2026)

An Efficient Data-Driven Framework for Linear Quadratic Output Feedback Control
di: Xie, Jun, et al.
Pubblicazione: (2025)

Multi-Agent Coverage Control on Surfaces Using Conformal Mapping
di: Zhai, Chao, et al.
Pubblicazione: (2024)

Data-Driven Reachability with Scenario Optimization and the Holdout Method
di: Dietrich, Elizabeth, et al.
Pubblicazione: (2025)

Input-Output Extension of Underactuated Nonlinear Systems
di: Mizzoni, Mirko, et al.
Pubblicazione: (2024)

Adaptive Output Feedback MPC with Guaranteed Stability and Robustness
di: Dey, Anchita, et al.
Pubblicazione: (2025)

Data-Driven Existence and Design of Target Output Controllers
di: Zhang, Yuan, et al.
Pubblicazione: (2025)

Guaranteed Reachability on Riemannian Manifolds for Unknown Nonlinear Systems
di: Shafa, Taha, et al.
Pubblicazione: (2024)