A quantitative analysis of Koopman operator methods for system identification and predictions
Abstract
We give convergence and cost estimates for a data-driven system identification method: given an unknown dynamical system, the aim is to recover its vector field and its flow from trajectory data. It is based on the so-called Koopman operator, which uses the well-known link between differential equations and linear transport equations. Data-driven methods recover specific finite-dimensional approximations of the Koopman operator, which can be understood as a transport operator. We focus on such approximations given by classical finite-elements spaces, which allow us to give estimates on the approximation of the Koopman operator as well as the solutions of the associated linear transport equation. These approximations are thus relevant objects to solve the system identification problem. We then analyze the convergence of a variant of the generator Extended Dynamic Mode Decomposition (gEDMD) algorithm, one of the main algorithms developed to compute approximations of the Koopman operator from data. We find however that, when combining this algorithm with classical finite elements spaces, the results are not satisfactory numerically, as the convergence of the data-driven approximation is too slow for the method to benefit from the accuracy of finite elements spaces. In particular, for problems in dimension 1 it is less efficient than direct interpolation methods to recover the vector field. We provide some numerical examples to illustrate this last point.
Type
Publication
Comptes-Rendus Mécanique

Authors
Christophe Zhang
(he/him)
researcher
I am currently in secondment at Inria Paris, as a researcher in the CAGE team. I work on control, stabilization and optimal control problems in infinite dimension (PDEs and evolution equation), with a particular focus on constrained control.
I have also dabbled in data-driven modelling and control, in particular methods involving the Koopman operator.
More recently, I have taken an interest in reachability analysis. I co-supervised the PhD thesis of Ivan Hasenohr with Camille Pouchol and Yannick Privat, during which we developed computer-assisted proofs of reachability and non-reachability.