Cover Image

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ding, Jianqiang, Deka, Shankar A.
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Time-to-reach Bounds for Verification of Dynamical Systems Using the Koopman Spectrum
by: Ding, Jianqiang, et al.
Published: (2024)

Reach-Avoid Model Predictive Control with Guaranteed Recursive Feasibility via Input Constrained Backstepping
by: Ding, Jianqiang, et al.
Published: (2026)

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees
by: Ding, Jianqiang, et al.
Published: (2025)

Extensions of the Path-integral formula for computation of Koopman eigenfunctions
by: Deka, Shankar A., et al.
Published: (2024)

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

Reachability-Guaranteed Optimal Control for the Interception of Dynamic Targets under Uncertainty
by: Faraci, Tommaso, et al.
Published: (2025)

Estimating unknown dynamics and cost as a bilinear system with Koopman-based Inverse Optimal Control
by: Fernandez-Ayala, Victor Nan, 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)

Minimal Intervention Shared Control with Guaranteed Safety under Non-Convex Constraints
by: Chaubey, Shivam, et al.
Published: (2025)

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

From Global to Local: Hierarchical Probabilistic Verification for Reachability Learning
by: Smith, Ebonye, et al.
Published: (2026)

Koopman-Hopf Hamilton-Jacobi Reachability and Control
by: Sharpless, Will, et al.
Published: (2023)

Learning Power Flow with Confidence: A Probabilistic Guarantee Framework for Voltage Risk
by: Pareek, Parikshit, et al.
Published: (2023)

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

Data-Efficient Strategies for Probabilistic Voltage Envelopes under Network Contingencies
by: Pareek, Parikshit, et al.
Published: (2023)

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

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

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

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

Uncertainty Partitioning with Probabilistic Feasibility and Performance Guarantees for Chance-Constrained Optimization
by: Cordiano, Francesco, et al.
Published: (2025)

Data-driven MPC with terminal conditions in the Koopman framework
by: Worthmann, Karl, et al.
Published: (2024)

Probabilistic Reachability Analysis of Stochastic Control Systems
by: Jafarpour, Saber, et al.
Published: (2024)

Learning Neural Koopman Operators with Dissipativity Guarantees
by: Xu, Yuezhu, et al.
Published: (2025)

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

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
by: Liu, Zishun, et al.
Published: (2024)

Inner-approximate Reachability Computation via Zonotopic Boundary Analysis
by: Ren, Dejin, et al.
Published: (2024)

A Koopman Set-Membership Approach for Nonlinear Data-Driven Control with Stability Guarantees
by: Xie, Yifan, et al.
Published: (2026)

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

Integrating Uncertainties for Koopman-Based Stabilization
by: Lin, Yicheng, et al.
Published: (2025)

Safe Networked Robotics with Probabilistic Verification
by: Narasimhan, Sai Shankar, et al.
Published: (2023)

Stability Guarantees for Data-Driven Predictive Control of Nonlinear Systems via Approximate Koopman Embeddings
by: Taghieh, Amin, et al.
Published: (2026)

Carbon-Aware Computing for Data Centers with Probabilistic Performance Guarantees
by: Hall, Sophie, et al.
Published: (2024)

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

Data-driven Acceleration of MPC with Guarantees
by: Castellano, Agustin, et al.
Published: (2025)

Data-driven Koopman MPC using Mixed Stochastic-Deterministic Tubes
by: Zhong, Zhengang, et al.
Published: (2025)

Probabilistic Reachable Set Estimation for Saturated Systems with Unbounded Additive Disturbances
by: Karam, Carlo, et al.
Published: (2025)

Data-driven Supervisory Control under Attacks via Spectral Learning
by: Smith, Nathaniel, et al.
Published: (2025)

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

Tight Remainder-Form Decomposition Functions with Applications to Constrained Reachability and Guaranteed State Estimation
by: Khajenejad, Mohammad, et al.
Published: (2021)

Uncertainty Quantification of Autoencoder-based Koopman Operator
by: Kim, Jin Sung, et al.
Published: (2023)