• Corpus ID: 218581737

Learning Data-Driven Stable Koopman Operators

  title={Learning Data-Driven Stable Koopman Operators},
  author={Giorgos Mamakoukas and Ian Abraham and Todd D. Murphey},
In this paper, we consider the problem of improving the long-term accuracy of data-driven approximations of Koopman operators, which are infinite-dimensional linear representations of general nonlinear systems, by bounding the eigenvalues of the linear operator. We derive a formula for the global error of general Koopman representations and motivate imposing stability constraints on the data-driven model to improve the approximation of nonlinear systems over a longer horizon. In addition… 

Figures from this paper

System Norm Regularization Methods for Koopman Operator Approximation
DMD and DMD with control are reformulated as convex optimization problems with linear matrix inequality constraints and hard asymptotic stability constraints and system norm regularizers are considered as methods to improve the numerical conditioning of the approximate Koopman operator.
Efficient Learning of a Linear Dynamical System with Stability Guarantees
This work proposes a principled method for projecting an arbitrary square matrix to the nonconvex set of asymptotically stable matrices and shows that this projection is optimal in an information-theoretic sense and simply amounts to shifting the initial matrix by an optimal linear quadratic feedback gain.
Data-Driven Safety-Critical Control: Synthesizing Control Barrier Functions With Koopman Operators
This work proposes to learn discrete-time Koopman operators of the closed-loop dynamics under a backup strategy, and derives an error bound on the unmodeled dynamics in order to robustify the CBF controller.
Dynamic Modeling of Bucket-Soil Interactions Using Koopman-DFL Lifting Linearization for Model Predictive Contouring Control of Autonomous Excavators
A lifting-linearization method based on the Koopman operator and Dual Faceted Linearization is applied to the control of a robotic excavator, where a cost functional is minimized as a convex optimization problem thanks to the linear dynamics in the lifted space.
Physics-informed machine learning: case studies for weather and climate modelling
This work surveys systematic approaches to incorporating physics and domain knowledge into ML models and distill these approaches into broad categories, and shows how these approaches have been used successfully for emulating, downscaling, and forecasting weather and climate processes.
Learning Data-Driven PCHD Models for Control Engineering Applications
This work exploits the advantages of both strategies and presents a new framework to obtain nonlinear high accurate system models in a data-driven way that are directly in PCHD form.
Data-Driven Models for Control Engineering Applications Using the Koopman Operator
This work investigates how data-driven numerical approximation methods of the Koopman operator can be used in practical control engineering applications and shows how relevant system properties like stability, controllability, and observability are reflected by the EDMD model.
Derivative-Based Koopman Operators for Real-Time Control of Robotic Systems
Experimental results show that the proposed data-driven control approach outperforms a tuned proportional–integral–derivative controller and that updating the data- driven model online significantly improves performance in the presence of unmodeled fluid disturbance.
On the Equivalence of Contraction and Koopman Approaches for Nonlinear Stability and Control
Equivalence between contraction and Koopman approaches for a wide class of stability analysis and control design problems is shown, in particular: stability or stablisability in the Koop man framework implies the existence of a contraction metric for the nonlinear system.


Local Koopman Operators for Data-Driven Control of Robotic Systems
The authors exploit the Koopman operator to develop a systematic, data-driven approach for constructing a linear representation in terms of higher order derivatives of the underlying nonlinear dynamics, which enables fast control synthesis of nonlinear systems.
On Robust Computation of Koopman Operator and Prediction in Random Dynamical Systems
This paper proposes a robust optimization-based framework for the robust approximation of the transfer operators, where the uncertainty in data set is treated as deterministic norm bounded uncertainty and the robust optimization leads to a min–max type optimization problem for the approximation of transfer operators.
Robust Approximation of Koopman Operator and Prediction in Random Dynamical Systems
This paper proposes a robust optimization-based framework for the robust approximation of the transfer operators, where the uncertainty in data-set is treated as deterministic norm bounded uncertainty and leads to a min-max type optimization problem for the approximation of transfer operators.
Koopman Invariant Subspaces and Finite Linear Representations of Nonlinear Dynamical Systems for Control
This work presents a data-driven strategy to identify relevant observable functions for Koopman analysis by leveraging a new algorithm to determine relevant terms in a dynamical system by ℓ1-regularized regression of the data in a nonlinear function space and demonstrates the usefulness of nonlinear observable subspaces in the design of Koop man operator optimal control laws for fully nonlinear systems using techniques from linear optimal control.
Learning Koopman Operator under Dissipativity Constraints
Data-driven discovery of Koopman eigenfunctions for control
This work illustrates a fundamental closure issue of this approach and argues that it is beneficial to first validate eigenfunctions and then construct reduced-order models in these validated eigen Functions, termed Koopman Reduced Order Nonlinear Identification and Control (KRONIC).
On Computation of Koopman Operator from Sparse Data
This paper enrichs the sparse data set with artificial data points, generated by adding bounded artificial noise and formulate the noisy robust learning problem as a robust optimization problem and shows that the optimal solution is the Koopman operator with the smallest error.
Linear identification of nonlinear systems: A lifting technique based on the Koopman operator
The proposed linear identification technique is efficient to recover (polynomial) vector fields of different classes of systems, including unstable, chaotic, and open systems, and robust to noise, well-suited to model low sampling rate datasets, and able to infer network topology and dynamics.
A Data–Driven Approximation of the Koopman Operator: Extending Dynamic Mode Decomposition
This approach is an extension of dynamic mode decomposition (DMD), which has been used to approximate the Koopman eigenvalues and modes, and if the data provided to the method are generated by a Markov process instead of a deterministic dynamical system, the algorithm approximates the eigenfunctions of the Kolmogorov backward equation.