×

Linear predictors for nonlinear dynamical systems: Koopman operator meets model predictive control. (English) Zbl 1400.93079

Summary: This paper presents a class of linear predictors for nonlinear controlled dynamical systems. The basic idea is to lift (or embed) the nonlinear dynamics into a higher dimensional space where its evolution is approximately linear. In an uncontrolled setting, this procedure amounts to numerical approximations of the Koopman operator associated to the nonlinear dynamics. In this work, we extend the Koopman operator to controlled dynamical systems and apply the Extended Dynamic Mode Decomposition (EDMD) to compute a finite-dimensional approximation of the operator in such a way that this approximation has the form of a linear controlled dynamical system. In numerical examples, the linear predictors obtained in this way exhibit a performance superior to existing linear predictors such as those based on local linearization or the so called Carleman linearization. Importantly, the procedure to construct these linear predictors is completely data-driven and extremely simple – it boils down to a nonlinear transformation of the data (the lifting) and a linear least squares problem in the lifted space that can be readily solved for large data sets. These linear predictors can be readily used to design controllers for the nonlinear dynamical system using linear controller design methodologies. We focus in particular on model predictive control (MPC) and show that MPC controllers designed in this way enjoy computational complexity of the underlying optimization problem comparable to that of MPC for a linear dynamical system with the same number of control inputs and the same dimension of the state-space. Importantly, linear inequality constraints on the state and control inputs as well as nonlinear constraints on the state can be imposed in a linear fashion in the proposed MPC scheme. Similarly, cost functions nonlinear in the state variable can be handled in a linear fashion. We treat both the full-state measurement case and the input-output case, as well as systems with disturbances/noise. Numerical examples demonstrate the approach.

MSC:

93B40 Computational methods in systems theory (MSC2010)
93C10 Nonlinear systems in control theory
93B52 Feedback control
93C20 Control/observation systems governed by partial differential equations
37M10 Time series analysis of dynamical systems

Software:

qpOASES
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Brunton, S. L.; Brunton, B. W.; Proctor, J. L.; Kaiser, E.; Kutz, J. N., Chaos as an intermittently forced linear system, Nature communications, 8, 1, 1, (2017)
[2] Brunton, S. L.; Brunton, B. W.; Proctor, J. L.; Kutz, J. N., Koopman invariant subspaces and finite linear representations of nonlinear dynamical systems for control, PloS One, 11, 2, e0150171, (2016) · Zbl 1350.49037
[3] Budišić, M.; Mohr, R.; Mezić, I., Applied koopmanism, Chaos. An Interdisciplinary Journal of Nonlinear Science, 22, 4, 047510, (2012) · Zbl 1319.37013
[4] Carleman, T., Application de la théorie des équations intégrales linéaires aux systémes d’équations différentielles non linéaires, Acta Mathematica, 59, 1, 63-87, (1932) · JFM 58.0417.01
[5] Daniel-Berhe, S.; Unbehauen, H., Experimental physical parameter estimation of a thyristor driven DC-motor using the HMF-method, Control Engineering Practice, 6, 5, 615-626, (1998)
[6] Ferreau, H. J.; Kirches, C.; Potschka, A.; Bock, H. G.; Diehl, M., Qpoases: A parametric active-set algorithm for quadratic programming, Mathematical Programming Computation, 6, 4, 327-363, (2014) · Zbl 1302.90146
[7] Grüne, L.; Pannek, J., Nonlinear model predictive control, (Nonlinear model predictive control, (2011), Springer) · Zbl 1220.93001
[8] Klus, S.; Koltai, P.; Schütte, C., On the numerical approximation of the Perron-Frobenius and koopman operator, Journal of Computational Dynamics, 3, 1, 51-79, (2016) · Zbl 1353.37154
[9] Koopman, B., Hamiltonian systems and transformation in Hilbert space, Proceedings of the National Academy of Sciences of the United States of America, 17, 5, 315-318, (1931) · JFM 57.1010.02
[10] Koopman, B.; von Neuman, J., Dynamical systems of continuous spectra, Proceedings of the National Academy of Sciences of the United States of America, 18, 3, 255-263, (1932) · JFM 58.1272.02
[11] Korda, M.; Mezić, I., Journal of Nonlinear Science, 28, 2, 687-710, (2018) · Zbl 1457.37103
[12] Ljung, L., System identification, (Signal analysis and prediction, (1998), Springer), 163-173
[13] Mauroy, A., & Goncalves, J. (2016). Linear identification of nonlinear systems: A lifting technique based on the Koopman operator. In Conference on decision and control; Mauroy, A., & Goncalves, J. (2016). Linear identification of nonlinear systems: A lifting technique based on the Koopman operator. In Conference on decision and control
[14] Mayne, D. Q.; Rawlings, J. B.; Rao, C. V.; Scokaert, P. O., Constrained model predictive control: stability and optimality, Automatica, 36, 6, 789-814, (2000) · Zbl 0949.93003
[15] Mezić, I., Spectral properties of dynamical systems, model reduction and decompositions, Nonlinear Dynamics, 41, 1-3, 309-325, (2005) · Zbl 1098.37023
[16] Mezić, I.; Banaszuk, A., Comparison of systems with complex behavior, Physica D, 197, 1-2, 101-133, (2004) · Zbl 1059.37072
[17] Miura, R. M., The Korteweg-devries equation: A survey of results, SIAM Review, 18, 3, 412-459, (1976) · Zbl 0333.35021
[18] Proctor, J. L.; Brunton, S. L.; Kutz, J. N., Dynamic mode decomposition with control, SIAM Journal on Applied Dynamical Systems, 15, 1, 142-161, (2016) · Zbl 1334.65199
[19] Proctor, J. L., Brunton, S. L., & Kutz, J. N. (2018). Generalizing Koopman theory to allow for inputs and control. SIAM Journal on Applied Dynamical SystemsarXiv:1602.07647; Proctor, J. L., Brunton, S. L., & Kutz, J. N. (2018). Generalizing Koopman theory to allow for inputs and control. SIAM Journal on Applied Dynamical SystemsarXiv:1602.07647 · Zbl 1390.93226
[20] Rawlings, J. B.; Mayne, D. Q., Model predictive control: theory and design, (2009), Nob Hill Publishing
[21] Surana, A. (2016). Koopman operator based observer synthesis for control-affine nonlinear systems. In Conference on decision and control; Surana, A. (2016). Koopman operator based observer synthesis for control-affine nonlinear systems. In Conference on decision and control
[22] Surana, A., & Banaszuk, A. (2016). Linear observer synthesis for nonlinear systems using Koopman operator framework. In IFAC symposium on nonlinear control systems; Surana, A., & Banaszuk, A. (2016). Linear observer synthesis for nonlinear systems using Koopman operator framework. In IFAC symposium on nonlinear control systems
[23] Tu, J. H.; Rowley, C. W.; Luchtenburg, D. M.; Brunton, S. L.; Kutz, J. N., On dynamic mode decomposition: theory and applications, Journal of Computational Dynamics, 1, 2, 391-421, (2014) · Zbl 1346.37064
[24] Williams, M. O., Hemati, M. S., Dawson, S. T. M., Kevrekidis, I. G., & Rowley, C. W. (2016). Extending data-driven Koopman analysis to actuated systems. In IFAC symposium on nonlinear control systems (NOLCOS); Williams, M. O., Hemati, M. S., Dawson, S. T. M., Kevrekidis, I. G., & Rowley, C. W. (2016). Extending data-driven Koopman analysis to actuated systems. In IFAC symposium on nonlinear control systems (NOLCOS)
[25] Williams, M. O.; Kevrekidis, I. G.; Rowley, C. W., A data-driven approximation of the koopman operator: extending dynamic mode decomposition, Journal of Nonlinear Science, 25, 6, 1307-1346, (2015) · Zbl 1329.65310
[26] Williams, M. O.; Rowley, C. W.; Kevrekidis, I. G., A kernel-based method for data-driven koopman spectral analysis, Journal of Computational Dynamics, 2, 2, 247-265, (2015) · Zbl 1366.37144
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.