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

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)