Cover Image

Time-to-reach Bounds for Verification of Dynamical Systems Using the Koopman Spectrum

Fuente: arXiv

Saved in:

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

Similar Items

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty
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)

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

Dynamic System Stability Verification Using Numerical Simulator
by: Kim, Jongrae
Published: (2023)

Enhanced Koopman Operator Approximation for Nonlinear Systems Using Broading Learning System
by: Sun, Yangjun, et al.
Published: (2025)

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

Participation Factors for Nonlinear Autonomous Dynamical Systems in the Koopman Operator Framework
by: Takamichi, Kenji, et al.
Published: (2024)

Global Linearization of Parameterized Nonlinear Systems with Stable Equilibrium Point Using the Koopman Operator
by: Katayama, Natsuki, et al.
Published: (2026)

Efficient Optimal Path Planning in Dynamic Environments Using Koopman MPC
by: Abtahi, Mohammad, et al.
Published: (2025)

Koopman Generator Decomposition for Port-Hamiltonian System
by: Preciado, Victor M.
Published: (2026)

Invariance Proximity: Closed-Form Error Bounds for Finite-Dimensional Koopman-Based Models
by: Haseli, Masih, et al.
Published: (2023)

On Koopman Resolvents and Frequency Response of Nonlinear Systems
by: Susuki, Yoshihiko, et al.
Published: (2026)

Properties of Immersions for Systems with Multiple Limit Sets with Implications to Learning Koopman Embeddings
by: Liu, Zexiang, et al.
Published: (2023)

Lyapunov based dynamic controller designs for reach-and-avoid problems
by: Lanza, Lukas, et al.
Published: (2024)

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

Koopman Operators for Global Analysis of Hybrid Limit-Cycling Systems: Construction and Spectral Properties
by: Katayama, Natsuki, et al.
Published: (2024)

Modularized data-driven approximation of the Koopman operator and generator
by: Guo, Yang, et al.
Published: (2024)

On Data-Driven Unbiased Predictors using the Koopman Operator
by: Schurig, Roland, et al.
Published: (2026)

Backstepping Design for Incremental Input-to-State Stabilization of Unknown Systems
by: Sundarsingh, David Smith, et al.
Published: (2024)

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems
by: Zhou, Ruikun, et al.
Published: (2024)

Koopman Kernel Regression
by: Bevanda, Petar, et al.
Published: (2023)

Time Scale Separation and Hierarchical Control with the Koopman Operator
by: Bakker, Craig
Published: (2025)

An agent design with goal reaching guarantees for enhancement of learning
by: Osinenko, Pavel, et al.
Published: (2024)

Koopman Operator in the Weighted Function Spaces and its Learning for the Estimation of Lyapunov and Zubov Functions
by: Tang, Wentao
Published: (2024)

Koopman Spectral Analysis from Noisy Measurements based on Bayesian Learning and Kalman Smoothing
by: Zeng, Zhexuan, et al.
Published: (2024)

Koopman Operator for Stability Analysis: Theory with a Linear--Radial Product Reproducing Kernel
by: Tang, Wentao, et al.
Published: (2025)

Two Roads to Koopman Operator Theory for Control: Infinite Input Sequences and Operator Families
by: Haseli, Masih, et al.
Published: (2025)

Multi-Agent, Multi-Scale Systems with the Koopman Operator
by: Bakker, Craig
Published: (2025)

System Level Analysis and Management of Orbital Debris Using Empirical Dynamic Modeling
by: Abdul-Hamid, Asaad S., et al.
Published: (2026)

Maximum-likelihood reprojections for reliable Koopman-based predictions and bifurcation analysis of parametric dynamical systems
by: van Goor, Pieter, et al.
Published: (2025)

Provably Safe Control for Constrained Nonlinear Systems with Bounded Input
by: Kumar, Saurabh, et al.
Published: (2025)

Region of Attraction Estimate Learning and Verification for Nonlinear Systems using Neural-Network-based Lyapunov Functions
by: Bechihi, Adel, et al.
Published: (2025)

Closed-Loop Koopman Operator Approximation
by: Dahdah, Steven, et al.
Published: (2023)

Observer-Based Stabilization for Linear Multi-Agent Dynamical Systems Using Generalized Frequency Variables
by: Tran, G. Q. Bao, et al.
Published: (2026)

Validation of Neural Network Controllers for Uncertain Systems Through Keep-Close Approach: Robustness Analysis and Safety Verification
by: Zenati, Abdelhafid, et al.
Published: (2022)

Converse Lyapunov Results for Switched Systems with Lower and Upper Bounds on Switching Intervals
by: Della Rossa, Matteo
Published: (2024)

Decrypting Nonlinearity: Koopman Interpretation and Analysis of Cryptosystems
by: Strässer, Robin, et al.
Published: (2023)

Optimizing AUV speed dynamics with a data-driven Koopman operator approach
by: Liu, Zhiliang, et al.
Published: (2025)

Koopman Operator Framework for Modeling and Control of Off-Road Vehicle on Deformable Terrain
by: Loya, Kartik, et al.
Published: (2026)

Bounded-Input True Proportional Navigation for Impact-Time Control
by: Gopikannan, Lohitvel, et al.
Published: (2026)