Imagen de Portada

Transformer-Accelerated Interpolated Data-Driven Reachability Analysis from Noisy Data

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Zhang, Zhen, Hafez, Ahmad, Xie, Peng, Huang, Yanliang, Wu, Wenyuan, Alanwar, Amr
Formato:	Preprint
Publicado:	2026
Materias:	Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Interpolation Conditions for Data Consistency and Prediction in Noisy Linear Systems
por: Vanelli, Martina, et al.
Publicado: (2025)

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

Data-Driven Synthesis of Robust Positively Invariant Sets from Noisy Data
por: Wang, Chi, et al.
Publicado: (2026)

Data-Driven Model Order Reduction of Nonlinear Systems with Noisy Data
por: Samari, Behrad, et al.
Publicado: (2025)

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

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

Pedestrian Motion Prediction Using Transformer-based Behavior Clustering and Data-Driven Reachability Analysis
por: Fragkedaki, Kleio, et al.
Publicado: (2024)

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

Data-Driven Adaptive Second-Order Sliding Mode Control with Noisy Data
por: Samari, Behrad, et al.
Publicado: (2025)

Robust Nonlinear Data-Driven Predictive Control for Mixed Vehicle Platoons via Koopman Operator and Reachability Analysis
por: Li, Shuai, et al.
Publicado: (2025)

Data-Driven Stabilization of Continuous-Time LTI Systems from Noisy Input-Output Data
por: Bosso, Alessandro, et al.
Publicado: (2025)

Direct Data Driven Control Using Noisy Measurements
por: Esmzad, Ramin, et al.
Publicado: (2025)

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

Data-Driven Incremental GAS Certificate of Nonlinear Homogeneous Networks: A Scenario Approach with Noisy Data
por: Zaker, Mahdieh, et al.
Publicado: (2025)

Data-Driven Regularized Time-Limited h2 Model Reduction from Noisy Impulse Responses
por: Sakamoto, Hiroki, et al.
Publicado: (2026)

Robust Data-EnablEd Predictive Leading Cruise Control via Reachability Analysis
por: Li, Shuai, et al.
Publicado: (2024)