No abstract

In this paper, we provide a systematic approach for the design of stabilizing feedback controllers for nonlinear control systems using the Koopman operator framework. The Koopman operator approach provides a linear representation for a nonlinear dynamical system and a bilinear representation for a nonlinear control system. The problem of feedback stabilization of a nonlinear control system is then transformed to the stabilization of a bilinear control system. We propose a control Lyapunov function (CLF)-based approach for the design of stabilizing feedback controllers for the bilinear system. The search for finding a CLF for the bilinear control system is formulated as a convex optimization problem. This leads to a schematic procedure for designing CLF-based stabilizing feedback controllers for the bilinear system and hence the original nonlinear system. Another advantage of the proposed controller design approach outlined in this paper is that it does not require explicit knowledge of system dynamics. In particular, the bilinear representation of a nonlinear control system in the Koopman eigenfunction space can be obtained from time-series data. Simulation results are presented to verify the main results on the design of stabilizing feedback controllers and the data-driven aspect of the proposed approach.

No abstract

In the paper, we consider the problem of robust approximation of transfer Koopman and Perron-Frobenius (P-F) operators from noisy time series data. In most applications, the time-series data obtained from simulation or experiment is corrupted with either measurement or process noise or both. The existing results show the applicability of algorithms developed for the finite dimensional approximation of deterministic system to a random uncertain case. However, these results hold true only in asymptotic and under the assumption of infinite data set. In practice the data set is finite, and hence it is important to develop algorithms that explicitly account for the presence of uncertainty in data-set. We propose a robust optimization-based framework for the robust approximation of the transfer operators, where the uncertainty in data-set is treated as deterministic norm bounded uncertainty. The robust optimization leads to a min-max type optimization problem for the approximation of transfer operators. This robust optimization problem is shown to be equivalent to regularized least square problem. This equivalence between robust optimization problem and regularized least square problem allows us to comment on various interesting properties of the obtained solution using robust optimization. In particular, the robust optimization formulation captures inherent tradeoffs between the quality of approximation and complexity of approximation. These tradeoffs are necessary to balance for the proposed application of transfer operators, for the design of optimal predictor. Simulation results demonstrate that our proposed robust approximation algorithm performs better than the Extended Dynamic Mode Decomposition (EDMD) and DMD algorithms for a system with process and measurement noise.

In this paper, we provide a new algorithm for the finite dimensional approximation of the linear transfer Koopman and Perron-Frobenius operator from time series data. We argue that existing approach for the finite dimensional approximation of these transfer operators such as Dynamic Mode Decomposition (DMD) and Extended Dynamic Mode Decomposition (EDMD) do not capture two important properties of these operators, namely positivity and Markov property. The algorithm we propose in this paper preserve these two properties. We call the proposed algorithm as naturally structured DMD since it retains the inherent properties of these operators. Naturally structured DMD algorithm leads to a better approximation of the steady-state dynamics of the system regarding computing Koopman and Perron-Frobenius operator eigenfunctions and eigenvalues. However preserving positivity properties is critical for capturing the real transient dynamics of the system. This positivity of the transfer operators and it's finite dimensional approximation also has an important implication on the application of the transfer operator methods for controller and estimator design for nonlinear systems from time series data.