Abstract:Koopman operators are infinite-dimensional operators that globally linearize nonlinear dynamical systems, making their spectral information valuable for understanding dynamics. However, Koopman operators can have continuous spectra and infinite-dimensional invariant subspaces, making computing their spectral information a considerable challenge. This paper describes data-driven algorithms with rigorous convergence guarantees for computing spectral information of Koopman operators from trajectory data. We introduce residual dynamic mode decomposition (ResDMD), which provides the first scheme for computing the spectra and pseudospectra of general Koopman operators from snapshot data without spectral pollution. Using the resolvent operator and ResDMD, we compute smoothed approximations of spectral measures associated with general measure-preserving dynamical systems. We prove explicit convergence theorems for our algorithms, which can achieve high-order convergence even for chaotic systems when computing the density of the continuous spectrum and the discrete spectrum. Since our algorithms come with error control, ResDMD allows aposteri verification of spectral quantities, Koopman mode decompositions, and learned dictionaries. We demonstrate our algorithms on the tent map, circle rotations, Gauss iterated map, nonlinear pendulum, double pendulum, and Lorenz system. Finally, we provide kernelized variants of our algorithms for dynamical systems with a high-dimensional state space. This allows us to compute the spectral measure associated with the dynamics of a protein molecule with a 20,046-dimensional state space and compute nonlinear Koopman modes with error bounds for turbulent flow past aerofoils with Reynolds number $>10^5$ that has a 295,122-dimensional state space.

Data-driven transient stability analysis using the Koopman operator

Data-driven Estimation for a Region of Attraction for Transient Stability Using the Koopman Operator

Data-driven Identification and Prediction of Power System Dynamics Using Linear Operators

Data-Driven Nonlinear Stabilization Using Koopman Operator

Estimation of Power System Inertia Using Nonlinear Koopman Modes

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems

Data-Driven Transient Stability Evaluation of Electric Distribution Networks Dominated by EV Supercharging Stations

Measurement Uncertainty Impact on Koopman Operator Estimation of Power System Dynamics

Spectral Koopman Method for Identifying Stability Boundary

Stability Modeling, Analysis and Control of Grid-Following and Grid-Forming Inverters: A Koopman-Based Data Driven Approach

Asymptotically Stable Data-Driven Koopman Operator Approximation with Inputs using Total Extended DMD

A Data-Driven Approximation of the Koopman Operator: Extending Dynamic Mode Decomposition

Two-Stage Parallel Waveform Relaxation Method for Large-Scale Power System Transient Stability Simulation

Koopman Operator Theory for Nonlinear Dynamic Modeling using Dynamic Mode Decomposition

Online Real-time Learning of Dynamical Systems from Noisy Streaming Data: A Koopman Operator Approach

A Survey on the Methods and Results of Data-Driven Koopman Analysis in the Visualization of Dynamical Systems

Learning Stable Models for Prediction and Control

Data-Driven Models for Control Engineering Applications Using the Koopman Operator

Koopman operator for time-dependent reliability analysis

Rigorous data-driven computation of spectral properties of Koopman operators for dynamical systems

Learning Bounded Koopman Observables: Results on Stability, Continuity, and Controllability