Learning Neural Koopman Operators with Dissipativity Guarantees

We address the problem of learning a neural Koopman operator model that provides dissipativity guarantees for an unknown nonlinear dynamical system that is known to be dissipative. We propose a two-stage approach. First, we learn an unconstrained neural Koopman model that closely approximates the system dynamics. Then, we minimally perturb the parameters to enforce strict dissipativity. Crucially, we establish theoretical guarantees that extend the dissipativity properties of the learned model back to the original nonlinear system. We realize this by deriving an exact relationship between the dissipativity of the learned model and the true system through careful characterization of the identification errors from the noisy data, Koopman operator truncation, and generalization to unseen data. We demonstrate our approach through simulation on a Duffing oscillator model.