Image de couverture de livre

Data-Driven Reachability Analysis with Optimal Input Design

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Xie, Peng, Raimondo, Davide M., Findeisen, Rolf, Alanwar, Amr
Format:	Preprint
Publié:	2026
Sujets:	Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Data-Driven Reachability Analysis for Piecewise Affine Systems
par: Xie, Peng, et autres
Publié: (2025)

Bridging Data-Driven Reachability Analysis and Statistical Estimation via Constrained Matrix Convex Generators
par: Xie, Peng, et autres
Publié: (2026)

Orthogonal Transformations for Efficient Data-Driven Reachability Analysis
par: Xie, Peng, et autres
Publié: (2026)

Data-Driven Reachability Analysis Using Matrix Perturbation Theory
par: Xie, Peng, et autres
Publié: (2026)

Conformalized Data-Driven Reachability Analysis with PAC Guarantees
par: Huang, Yanliang, et autres
Publié: (2026)

Online Data-Driven Reachability Analysis using Zonotopic Recursive Least Squares
par: Akhormeh, Alireza Naderi, et autres
Publié: (2025)

Data-Driven Reachability Analysis via Diffusion Models with PAC Guarantees
par: Huang, Yanliang, et autres
Publié: (2026)

Hybrid Polynomial Zonotopes: A Set Representation for Reachability Analysis in Hybrid Nonaffine Systems
par: Xie, Peng, et autres
Publié: (2025)

Transformer-Accelerated Interpolated Data-Driven Reachability Analysis from Noisy Data
par: Zhang, Zhen, et autres
Publié: (2026)

Transformer-Enhanced Data-Driven Output Reachability with Conformal Coverage Guarantees
par: Zhang, Zhen, et autres
Publié: (2026)

Data-Driven Nonconvex Reachability Analysis using Exact Multiplication
par: Zhang, Zhen, et autres
Publié: (2025)

Roundabout Constrained Convex Generators: A Unified Framework for Multiply-Connected Reachable Sets
par: Xie, Peng, et autres
Publié: (2025)

Data-Driven Nonconvex Reachability Analysis using Exact Set Propagation
par: Zhang, Zhen, et autres
Publié: (2026)

Data-Driven Reachability of Nonlinear Lipschitz Systems via Koopman Operator Embeddings
par: Akhormeh, Alireza Naderi, et autres
Publié: (2026)

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
par: Hafez, Ahmad, et autres
Publié: (2025)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
par: Hafez, Ahmad, et autres
Publié: (2024)

Probabilistically Input-to-State Stable Stochastic Model Predictive Control
par: Pfefferkorn, Maik, et autres
Publié: (2024)

Geometric Data-Driven Dimensionality Reduction in MPC with Guarantees
par: Schurig, Roland, et autres
Publié: (2023)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
par: Hadjiloizou, Loizos, et autres
Publié: (2024)

Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems
par: Alanwar, Amr, et autres
Publié: (2023)

Efficient Stochastic Optimal Control through Approximate Bayesian Input Inference
par: Watson, Joe, et autres
Publié: (2021)

Robust Data-Driven Tube-Based Zonotopic Predictive Control with Closed-Loop Guarantees
par: Farjadnia, Mahsa, et autres
Publié: (2024)

On Data-Driven Unbiased Predictors using the Koopman Operator
par: Schurig, Roland, et autres
Publié: (2026)

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
par: Oumer, Mohammed Adib, et autres
Publié: (2025)

Inclusion conditions for the Constrained Polynomial Zonotopic case
par: Gheorghe, Bogdan, et autres
Publié: (2026)

Certified Set Convergence for Piecewise Affine Systems via Neural Lyapunov Functions
par: Huang, Yanliang, et autres
Publié: (2026)

From Points to Sets: Set-Based Safety Verification in the Latent Space
par: Wu, Wenyuan, et autres
Publié: (2026)

Reachability Analysis for Design Optimization
par: Nguyen, Steven, et autres
Publié: (2026)

Secure Set-based State Estimation for Safety-Critical Applications under Adversarial Attacks on Sensors
par: Niazi, M. Umar B., et autres
Publié: (2023)

Real-time Gaussian Process based Approximate Model Predictive Trajectory Tracking Control for Autonomous Vehicles
par: Rose, Alexander, et autres
Publié: (2026)

Regret and Conservatism of Distributionally Robust Constrained Stochastic Model Predictive Control
par: Pfefferkorn, Maik, et autres
Publié: (2023)

Data-Driven Reachability with Scenario Optimization and the Holdout Method
par: Dietrich, Elizabeth, et autres
Publié: (2025)

Safe and Stable Closed-Loop Learning for Neural-Network-Supported Model Predictive Control
par: Hirt, Sebastian, et autres
Publié: (2024)

Time-Series-Informed Closed-loop Learning for Sequential Decision Making and Control
par: Hirt, Sebastian, et autres
Publié: (2024)

Safe and High-Performance Learning of Model Predicitve Control using Kernel-Based Interpolation
par: Rose, Alexander, et autres
Publié: (2024)

Input Matrix Optimization for Desired Reachable Set Warping of Linear Systems
par: Das, Hrishav, et autres
Publié: (2026)

Bang-Ride Optimal Control: Monotonicity, External Positivity, and Fast Battery Charging
par: Shi, Shengling, et autres
Publié: (2025)

Line zonotopes: A tool for state estimation and fault diagnosis of unbounded and descriptor systems
par: Rego, Brenner S., et autres
Publié: (2023)

Model Predictive Control for Constrained Linear Positive Systems on Graphs
par: Schurig, Roland, et autres
Publié: (2026)

Efficient Learning of Vehicle Controller Parameters via Multi-Fidelity Bayesian Optimization: From Simulation to Experiment
par: Zhao, Yongpeng, et autres
Publié: (2025)