8 research outputs found
On the equivalence of contraction and Koopman approaches for nonlinear stability and control
In this paper we prove new connections between two frameworks for analysis
and control of nonlinear systems: the Koopman operator framework and
contraction analysis. Each method, in different ways, provides exact and global
analyses of nonlinear systems by way of linear systems theory. The main results
of this paper show equivalence between contraction and Koopman approaches for a
wide class of stability analysis and control design problems. In particular:
stability or stablizability in the Koopman framework implies the existence of a
contraction metric (resp. control contraction metric) for the nonlinear system.
Further in certain cases the converse holds: contraction implies the existence
of a set of observables with which stability can be verified via the Koopman
framework. We provide results for the cases of autonomous and time-varying
systems, as well as orbital stability of limit cycles. Furthermore, the
converse claims are based on a novel relation between the Koopman method and
construction of a Kazantzis-Kravaris-Luenberger observer. We also provide a
byproduct of the main results, that is, a new method to learn contraction
metrics from trajectory data via linear system identification
クープマン作用素に基づく力学系のデータによる解析 : 機械学習の視点から
学位の種別: 課程博士審査委員会委員 : (主査)東京大学准教授 矢入 健久, 東京大学教授 堀 浩一, 東京大学教授 岩崎 晃, 東京大学准教授 中谷 辰爾, 東京大学准教授 柳澤 大地, 大阪大学准教授 河原 吉伸University of Tokyo(東京大学