Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ding, Jianqiang, Deka, Shankar A.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

Estimating unknown dynamics and cost as a bilinear system with Koopman-based Inverse Optimal Control
di: Fernandez-Ayala, Victor Nan, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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