A Koopman Operator Approach for Computing and Balancing Gramians for Discrete Time Nonlinear Systems

In this paper, we consider the problem of quantifying controllability and observability of a nonlinear discrete time dynamical system. We introduce the Koopman operator as a canonical representation of the system and apply a lifting technique to compute gramians in the space of full-state observables. We illustrate the properties of these gramians and identify several relationships with canonical results on local controllability and observability. Once defined, we show that these gramians can be balanced through a change of coordinates on the observables space, which in turn allows for direct application of balanced truncation. Throughout the paper, we highlight the aspects of our approach with an example nonlinear system.

[1]  Florian Dörfler,et al.  Attack Detection and Identification in Cyber-Physical Systems -- Part II: Centralized and Distributed Monitor Design , 2012, ArXiv.

[2]  Nahum Shimkin,et al.  Nonlinear Control Systems , 2008 .

[3]  Steven M. Rinaldi,et al.  Modeling and simulating critical infrastructures and their interdependencies , 2004, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.

[4]  Steven L. Brunton,et al.  Dynamic Mode Decomposition with Control , 2014, SIAM J. Appl. Dyn. Syst..

[5]  Alexandre Mauroy,et al.  Linear identification of nonlinear systems: A lifting technique based on the Koopman operator , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[6]  Zhenyu Huang,et al.  Massive contingency analysis with high performance computing , 2009, 2009 IEEE Power & Energy Society General Meeting.

[7]  I. Mezić,et al.  Spectral analysis of nonlinear flows , 2009, Journal of Fluid Mechanics.

[8]  Jacquelien M. A. Scherpen,et al.  Model Reduction by Differential Balancing Based on Nonlinear Hankel Operators , 2017, IEEE Transactions on Automatic Control.

[9]  W. Rugh.  Linear System Theory , 1992 .

[10]  Thomas F. Edgar,et al.  An improved method for nonlinear model reduction using balancing of empirical gramians , 2002 .

[11]  William H. Sanders,et al.  SCPSE: Security-Oriented Cyber-Physical State Estimation for Power Grid Critical Infrastructures , 2012, IEEE Transactions on Smart Grid.

[12]  Igor Mezic,et al.  Linear predictors for nonlinear dynamical systems: Koopman operator meets model predictive control , 2016, Autom..

[13]  J. Doyle,et al.  Essentials of Robust Control , 1997 .

[14]  G. Dullerud,et al.  A Course in Robust Control Theory: A Convex Approach , 2005 .

[15]  Harry Eugene Stanley,et al.  Catastrophic cascade of failures in interdependent networks , 2009, Nature.

[16]  J. M. A. Scherpen,et al.  Balancing for nonlinear systems , 1993 .

[17]  L. Perko.  Differential Equations and Dynamical Systems , 1991 .

[18]  B. O. Koopman,et al.  Hamiltonian Systems and Transformation in Hilbert Space. , 1931, Proceedings of the National Academy of Sciences of the United States of America.

[19]  Marissa Condon,et al.  Empirical Balanced Truncation of Nonlinear Systems , 2004, J. Nonlinear Sci..

[20]  R. M. Murray,et al.  Model reduction of interconnected linear systems , 2009 .

[21]  A. Banaszuk,et al.  Linear observer synthesis for nonlinear systems using Koopman Operator framework , 2016 .

[22]  B. O. Koopman,et al.  Dynamical Systems of Continuous Spectra. , 1932, Proceedings of the National Academy of Sciences of the United States of America.

[23]  Jacquelien M. A. Scherpen,et al.  Nonlinear input-normal realizations based on the differential eigenstructure of Hankel operators , 2005, IEEE Transactions on Automatic Control.

[24]  Jerrold E. Marsden,et al.  Empirical model reduction of controlled nonlinear systems , 1999, IFAC Proceedings Volumes.

[25]  Clarence W. Rowley,et al.  A Data–Driven Approximation of the Koopman Operator: Extending Dynamic Mode Decomposition , 2014, Journal of Nonlinear Science.

[26]  I. Mezić.  Spectral Properties of Dynamical Systems, Model Reduction and Decompositions , 2005 .

[27]  Heejo Lee,et al.  This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. INVITED PAPER Cyber–Physical Security of a Smart Grid Infrastructure , 2022 .

[28]  Umesh Vaidya,et al.  Observability gramian for nonlinear systems , 2007, 2007 46th IEEE Conference on Decision and Control.