The DOI matches its Crossref record; 25 of the 25 references it cites were found in a registry or an index.
Linear predictors for nonlinear dynamical systems: Koopman operator meets model predictive control
Open accessAbstract
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.
Overview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cites
Constrained model predictive control: Stability and optimality
Mayne, D. Q., Rawlings, J. B., Rao, C. V., & Scokaert, P. O. M. (2000) · Automatica · doi:10.1016/s0005-1098(99)00214-9 · Cited by 8,736
Model predictive control: Theory and practice—A survey
García, C. E., Prett, D. M., & Morari, M. (1989) · Automatica · doi:10.1016/0005-1098(89)90002-2 · Cited by 5,284
Söderström, T., & Stoica, P. (1988) · Cited by 5,162
Hamiltonian Systems and Transformation in Hilbert Space
Koopman, B. O. (1931) · Proceedings of the National Academy of Sciences · doi:10.1073/pnas.17.5.315 · Cited by 2,383
A Data–Driven Approximation of the Koopman Operator: Extending Dynamic Mode Decomposition
Williams, M. O., Kevrekidis, I. G., & Rowley, C. W. (2015) · Journal of Nonlinear Science · doi:10.1007/s00332-015-9258-5 · Cited by 1,945
On dynamic mode decomposition: Theory and applications
Tu, J. H., Rowley, C. W., Luchtenburg, D. M., Brunton, S. L., & Kutz, J. N. (2014) · Journal of Computational Dynamics · doi:10.3934/jcd.2014.1.391 · Cited by 1,528
Spectral Properties of Dynamical Systems, Model Reduction and Decompositions
Mezić, I. (2005) · Nonlinear Dynamics · doi:10.1007/s11071-005-2824-x · Cited by 1,317
Self-citationNonlinear Model Predictive Control
Grüne, L., & Pannek, J. (2011) · Communications and Control Engineering · doi:10.1007/978-0-85729-501-9 · Cited by 1,308
qpOASES: a parametric active-set algorithm for quadratic programming
Ferreau, H. J., Kirches, C., Potschka, A., Bock, H. G., & Diehl, M. (2014) · Mathematical Programming Computation · doi:10.1007/s12532-014-0071-1 · Cited by 1,265
Dynamic Mode Decomposition with Control
Proctor, J. L., Brunton, S. L., & Kutz, J. N. (2016) · SIAM Journal on Applied Dynamical Systems · doi:10.1137/15m1013857 · Cited by 1,124
A DATA–DRIVEN APPROXIMATION OF THE KOOPMAN OPERATOR: EXTENDING DYNAMIC MODE DECOMPOSITIONPreprint
Williams, M. O., Kevrekidis, I. G., & Rowley, C. W. (2016) · Cited by 713
Budišić, M., Mohr, R., & Mezić, I. (2012) · Chaos: An Interdisciplinary Journal of Nonlinear Science · doi:10.1063/1.4772195 · Cited by 710
Self-citationThe Korteweg–deVries Equation: A Survey of Results
Miura, R. M. (1976) · SIAM Review · doi:10.1137/1018076 · Cited by 696
Brunton, S. L., Brunton, B. W., Proctor, J. L., & Kutz, J. N. (2016) · PLOS ONE · doi:10.1371/journal.pone.0150171 · Cited by 629
Chaos as an intermittently forced linear system
Brunton, S. L., Brunton, B. W., Proctor, J. L., Kaiser, E., & Kutz, J. N. (2017) · Nature Communications · doi:10.1038/s41467-017-00030-8 · Cited by 608
Comparison of systems with complex behavior
Mezić, I., & Banaszuk, A. (2004) · Physica D Nonlinear Phenomena · doi:10.1016/j.physd.2004.06.015 · Cited by 440
Self-citationA kernel-based method for data-driven koopman spectral analysis
Williams, M. O., Rowley, C. W., & Kevrekidis, I. G. (2015) · Journal of Computational Dynamics · doi:10.3934/jcd.2015005 · Cited by 324
Signal Analysis and Prediction
(1998) · Applied and Numerical Harmonic Analysis · doi:10.1007/978-1-4612-1768-8 · Cited by 252
Nonlinear Model Predictive Control
Grancharova, A., & Johansen, T. A. (2012) · Lecture Notes in Control and Information Sciences · doi:10.1007/978-3-642-28780-0_2 · Cited by 221
On the numerical approximation of the Perron-Frobenius and Koopman operator
Klus, S., Koltai, P., & Schütte, C. (2016) · Journal of Computational Dynamics · doi:10.3934/jcd.2016003 · Cited by 179
Extending Data-Driven Koopman Analysis to Actuated Systems
Williams, M. O., Hemati, M. S., Dawson, S. T. M., Kevrekidis, I. G., & Rowley, C. W. (2016) · IFAC-PapersOnLine · doi:10.1016/j.ifacol.2016.10.248 · Cited by 179
Linear observer synthesis for nonlinear systems using Koopman Operator framework
Surana, A., & Banaszuk, A. (2016) · IFAC-PapersOnLine · doi:10.1016/j.ifacol.2016.10.250 · Cited by 179
Koopman operator based observer synthesis for control-affine nonlinear systems
Surana, A. (2016) · Proceedings of the IEEE Conference on Decision & Control, including the Symposium on Adaptive Processes · doi:10.1109/cdc.2016.7799268 · Cited by 137
Linear identification of nonlinear systems: A lifting technique based on the Koopman operator
Mauroy, A., & Gonçalves, J. M. (2016) · IEEE Conference on Decision and Control (CDC) · doi:10.1109/cdc.2016.7799269 · Cited by 129
Kang, Y., Balter, B. B., Csizmadia, E., Haas, B. J., Sharma, H., Bronson, R. T., & Yan, C. T. (2017) · Nature Communications · doi:10.1038/ncomms15795 · Cited by 125
Cited by
Klus, S., Nüske, F., Peitz, S., Niemann, J.-H., Clementi, C., & Schütte, C. (2020) · Physica D: Nonlinear Phenomena · doi:10.1016/j.physd.2020.132416 · Cited by 267
Thermal Management for the Cabin of a Battery Electric Vehicle Considering Passengers’ Comfort
Schaut, S., & Sawodny, O. (2020) · IEEE Transactions on Control Systems Technology · doi:10.1109/tcst.2019.2914888 · Cited by 97
Metadata
- Authors
- Korda, M., & Mezić, I.
- Venue
- Automatica
- Publisher
- Elsevier BV
- Published
- 2018-07
- Volume
- 93
- Pages
- 149-160
- ISSN
- 0005-1098 (ISSN-L)
- OpenAlex
- W2561027863
- Cited by
- 1,157
- References
- 25
- FWCI
- 41.89
- Type
- journal article
- Language
- en
- Open access
- bronze
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.
