Auxiliary Functions as Koopman Observables: Data-Driven Analysis of Dynamical Systems via Polynomial Optimization
arXiv:2303.01483 · doi:10.1007/s00332-023-09990-2
Abstract
We present a flexible data-driven method for dynamical system analysis that does not require explicit model discovery. The method is rooted in well-established techniques for approximating the Koopman operator from data and is implemented as a semidefinite program that can be solved numerically. Furthermore, the method is agnostic of whether data is generated through a deterministic or stochastic process, so its implementation requires no prior adjustments by the user to accommodate these different scenarios. Rigorous convergence results justify the applicability of the method, while also extending and uniting similar results from across the literature. Examples on discovering Lyapunov functions, performing ergodic optimization, and bounding extrema over attractors for both deterministic and stochastic dynamics exemplify these convergence results and demonstrate the performance of the method.
arXiv commentWe have significantly expanded the presentation. This has improved the presentation and made the paper more readable. Comments welcome
References in corpus (22)
- Discovering governing equations from data: Sparse identification of nonlinear dynamical systems
- A Data-Driven Approximation of the Koopman Operator: Extending Dynamic Mode Decomposition
- Linear predictors for nonlinear dynamical systems: Koopman operator meets model predictive control
- Koopman invariant subspaces and finite linear representations of nonlinear dynamical systems for control
- On Convergence of Extended Dynamic Mode Decomposition to the Koopman Operator
- SINDy-PI: A Robust Algorithm for Parallel Implicit Sparse Identification of Nonlinear Dynamics
- Data-driven approximation of the Koopman generator: Model reduction, system identification, and control
- Weak SINDy For Partial Differential Equations
- Koopman operator-based model reduction for switched-system control of PDEs
- On the numerical approximation of the Perron-Frobenius and Koopman operator
- Bounds for deterministic and stochastic dynamical systems using sum-of-squares optimization
- Dynamic mode decomposition using a Kalman filter for parameter estimation
- Optimal bounds and extremal trajectories for time averages in nonlinear dynamical systems
- Poincaré Maps for Multiscale Physics Discovery and Nonlinear Floquet Theory
- Bounding extreme events in nonlinear dynamics using convex optimization
- Bounding averages rigorously using semidefinite programming: mean moments of the Lorenz system
- Bounding stationary averages of polynomial diffusions via semidefinite programming
- Computing controlled invariant sets from data using convex optimization
- Bounding extrema over global attractors using polynomial optimisation
- Combining Dynamic Mode Decomposition with Ensemble Kalman Filtering for Tracking and Forecasting
- Minimum wave speeds in monostable reaction-diffusion equations: sharp bounds by polynomial optimization
- Uncertainty propagation for nonlinear dynamics: A polynomial optimization approach