Bridging Data-Driven Reachability Analysis and Statistical Estimation via Constrained Matrix Convex Generators
Fuente:
arXiv
Saved in:
| Main Authors: | Xie, Peng, Zhang, Zhen, Findeisen, Rolf, Alanwar, Amr |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Data-Driven Reachability Analysis with Optimal Input Design
by: Xie, Peng, et al.
Published: (2026)
by: Xie, Peng, et al.
Published: (2026)
Data-Driven Reachability Analysis Using Matrix Perturbation Theory
by: Xie, Peng, et al.
Published: (2026)
by: Xie, Peng, et al.
Published: (2026)
Orthogonal Transformations for Efficient Data-Driven Reachability Analysis
by: Xie, Peng, et al.
Published: (2026)
by: Xie, Peng, et al.
Published: (2026)
Roundabout Constrained Convex Generators: A Unified Framework for Multiply-Connected Reachable Sets
by: Xie, Peng, et al.
Published: (2025)
by: Xie, Peng, et al.
Published: (2025)
Conformalized Data-Driven Reachability Analysis with PAC Guarantees
by: Huang, Yanliang, et al.
Published: (2026)
by: Huang, Yanliang, et al.
Published: (2026)
Hybrid Polynomial Zonotopes: A Set Representation for Reachability Analysis in Hybrid Nonaffine Systems
by: Xie, Peng, et al.
Published: (2025)
by: Xie, Peng, et al.
Published: (2025)
Data-Driven Reachability Analysis for Piecewise Affine Systems
by: Xie, Peng, et al.
Published: (2025)
by: Xie, Peng, et al.
Published: (2025)
Transformer-Accelerated Interpolated Data-Driven Reachability Analysis from Noisy Data
by: Zhang, Zhen, et al.
Published: (2026)
by: Zhang, Zhen, et al.
Published: (2026)
Transformer-Enhanced Data-Driven Output Reachability with Conformal Coverage Guarantees
by: Zhang, Zhen, et al.
Published: (2026)
by: Zhang, Zhen, et al.
Published: (2026)
Data-Driven Reachability Analysis via Diffusion Models with PAC Guarantees
by: Huang, Yanliang, et al.
Published: (2026)
by: Huang, Yanliang, et al.
Published: (2026)
Online Data-Driven Reachability Analysis using Zonotopic Recursive Least Squares
by: Akhormeh, Alireza Naderi, et al.
Published: (2025)
by: Akhormeh, Alireza Naderi, et al.
Published: (2025)
Data-Driven Nonconvex Reachability Analysis using Exact Multiplication
by: Zhang, Zhen, et al.
Published: (2025)
by: Zhang, Zhen, et al.
Published: (2025)
Data-Driven Nonconvex Reachability Analysis using Exact Set Propagation
by: Zhang, Zhen, et al.
Published: (2026)
by: Zhang, Zhen, et al.
Published: (2026)
Data-Driven Reachability of Nonlinear Lipschitz Systems via Koopman Operator Embeddings
by: Akhormeh, Alireza Naderi, et al.
Published: (2026)
by: Akhormeh, Alireza Naderi, et al.
Published: (2026)
Reachability Analysis Using Constrained Polynomial Logical Zonotopes
by: Hafez, Ahmad, et al.
Published: (2024)
by: Hafez, Ahmad, et al.
Published: (2024)
Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
by: Hafez, Ahmad, et al.
Published: (2025)
by: Hafez, Ahmad, et al.
Published: (2025)
Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
by: Oumer, Mohammed Adib, et al.
Published: (2025)
by: Oumer, Mohammed Adib, et al.
Published: (2025)
Inclusion conditions for the Constrained Polynomial Zonotopic case
by: Gheorghe, Bogdan, et al.
Published: (2026)
by: Gheorghe, Bogdan, et al.
Published: (2026)
Certified Set Convergence for Piecewise Affine Systems via Neural Lyapunov Functions
by: Huang, Yanliang, et al.
Published: (2026)
by: Huang, Yanliang, et al.
Published: (2026)
Geometric Data-Driven Dimensionality Reduction in MPC with Guarantees
by: Schurig, Roland, et al.
Published: (2023)
by: Schurig, Roland, et al.
Published: (2023)
Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
by: Hadjiloizou, Loizos, et al.
Published: (2024)
by: Hadjiloizou, Loizos, et al.
Published: (2024)
Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems
by: Alanwar, Amr, et al.
Published: (2023)
by: Alanwar, Amr, et al.
Published: (2023)
From Points to Sets: Set-Based Safety Verification in the Latent Space
by: Wu, Wenyuan, et al.
Published: (2026)
by: Wu, Wenyuan, et al.
Published: (2026)
Regret and Conservatism of Distributionally Robust Constrained Stochastic Model Predictive Control
by: Pfefferkorn, Maik, et al.
Published: (2023)
by: Pfefferkorn, Maik, et al.
Published: (2023)
Over-Approximating Minimizer Sets of Constrained Convex Programs with Parametric Uncertainty via Reachability Analysis
by: Gould, Brendan, et al.
Published: (2026)
by: Gould, Brendan, et al.
Published: (2026)
Robust Data-Driven Tube-Based Zonotopic Predictive Control with Closed-Loop Guarantees
by: Farjadnia, Mahsa, et al.
Published: (2024)
by: Farjadnia, Mahsa, et al.
Published: (2024)
On Data-Driven Unbiased Predictors using the Koopman Operator
by: Schurig, Roland, et al.
Published: (2026)
by: Schurig, Roland, et al.
Published: (2026)
Secure Set-based State Estimation for Safety-Critical Applications under Adversarial Attacks on Sensors
by: Niazi, M. Umar B., et al.
Published: (2023)
by: Niazi, M. Umar B., et al.
Published: (2023)
Model Predictive Control for Constrained Linear Positive Systems on Graphs
by: Schurig, Roland, et al.
Published: (2026)
by: Schurig, Roland, et al.
Published: (2026)
Probabilistically Input-to-State Stable Stochastic Model Predictive Control
by: Pfefferkorn, Maik, et al.
Published: (2024)
by: Pfefferkorn, Maik, et al.
Published: (2024)
Data-Driven Tube-Based Zonotopic Predictive Control With Nonconvex Layered Terminal Sets
by: Zhang, Zhen, et al.
Published: (2026)
by: Zhang, Zhen, et al.
Published: (2026)
Sparsity-Promoting Reachability Analysis and Optimization of Constrained Zonotopes
by: Robbins, Joshua A., et al.
Published: (2025)
by: Robbins, Joshua A., et al.
Published: (2025)
Real-time Gaussian Process based Approximate Model Predictive Trajectory Tracking Control for Autonomous Vehicles
by: Rose, Alexander, et al.
Published: (2026)
by: Rose, Alexander, et al.
Published: (2026)
Convex Hulls of Reachable Sets
by: Lew, Thomas, et al.
Published: (2023)
by: Lew, Thomas, et al.
Published: (2023)
Efficient Learning of Vehicle Controller Parameters via Multi-Fidelity Bayesian Optimization: From Simulation to Experiment
by: Zhao, Yongpeng, et al.
Published: (2025)
by: Zhao, Yongpeng, et al.
Published: (2025)
Tight Remainder-Form Decomposition Functions with Applications to Constrained Reachability and Guaranteed State Estimation
by: Khajenejad, Mohammad, et al.
Published: (2021)
by: Khajenejad, Mohammad, et al.
Published: (2021)
Robust Nonlinear Data-Driven Predictive Control for Mixed Vehicle Platoons via Koopman Operator and Reachability Analysis
by: Li, Shuai, et al.
Published: (2025)
by: Li, Shuai, et al.
Published: (2025)
Data-Driven Reachability with Scenario Optimization and the Holdout Method
by: Dietrich, Elizabeth, et al.
Published: (2025)
by: Dietrich, Elizabeth, et al.
Published: (2025)
Safe and Stable Closed-Loop Learning for Neural-Network-Supported Model Predictive Control
by: Hirt, Sebastian, et al.
Published: (2024)
by: Hirt, Sebastian, et al.
Published: (2024)
Time-Series-Informed Closed-loop Learning for Sequential Decision Making and Control
by: Hirt, Sebastian, et al.
Published: (2024)
by: Hirt, Sebastian, et al.
Published: (2024)
Similar Items
-
Data-Driven Reachability Analysis with Optimal Input Design
by: Xie, Peng, et al.
Published: (2026) -
Data-Driven Reachability Analysis Using Matrix Perturbation Theory
by: Xie, Peng, et al.
Published: (2026) -
Orthogonal Transformations for Efficient Data-Driven Reachability Analysis
by: Xie, Peng, et al.
Published: (2026) -
Roundabout Constrained Convex Generators: A Unified Framework for Multiply-Connected Reachable Sets
by: Xie, Peng, et al.
Published: (2025) -
Conformalized Data-Driven Reachability Analysis with PAC Guarantees
by: Huang, Yanliang, et al.
Published: (2026)