Robust Identification, Estimation, and Control of Electric Power Systems using the Koopman Operator-Theoretic Framework

The study of nonlinear dynamical systems via the spectrum of the Koopman operator has emerged as a paradigm shift, from the Poincaré's geometric picture that centers the attention on the evolution of states, to the Koopman operator's picture that focuses on the evolution of observables. The Koopman operator-theoretic framework rests on the idea of lifting the states of a nonlinear dynamical system to a higher dimensional space; these lifted states are referred to as the Koopman eigenfunctions. To determine the Koopman eigenfunctions, one performs a nonlinear transformation of the states by relying on the so-called observables, that is, scalar-valued functions of the states. In other words, one executes a change of coordinates from the state space to another set of coordinates, which are denominated Koopman canonical coordinates. The variables defined on these intrinsic coordinates will evolve linearly in time, despite the underlying system being nonlinear. Since the Koopman operator is linear, it is natural to exploit its spectral properties. In fact, the theory surrounding the spectral properties of linear operators has well-known implications in electric power systems. Examples include small-signal stability analysis and direct methods for transient stability analysis based on the Lyapunov function. From the applications' standpoint, this framework based on the Koopman operator is attractive because it is capable of revealing linear and nonlinear modes by only applying well-established tools that have been developed for linear systems. With the challenges associated with the high-dimensionality and increasing uncertainties in the power systems models, researchers and practitioners are seeking alternative modeling approaches capable of incorporating information from measurements. This is fueled by an increasing amount of data made available by the wide-scale deployment of measuring devices such as phasor measurement units and smart meters. Along these lines, the Ko