arXiv subjects

Lucian Cristian Iacob

Publications and source records attributed to Lucian Cristian Iacob.

7 recordsLinked to original sources

arXiv2026

Nonparametric Control Koopman Operators

This paper presents a novel Koopman composition operator representation framework for control systems in reproducing kernel Hilbert spaces (RKHSs) that is free of explicit dictionary or input parametrizations. By establishing fundamental equivalences between different model representations, we are able to close the gap of control system operator learning and infinite-dimensional regression, enabling various empirical estimators and the connection to the well-understood learning theory in RKHSs under one unified framework. Consequently, our proposed framework allows for arbitrarily accurate finite-rank approximations in infinite-dimensional spaces and leads to finite-dimensional predictors without a priori restrictions to a finite span of functions or inputs. To enable applications to high-dimensional control systems, we improve the scalability of our proposed control Koopman operator estimates by utilizing sketching techniques. Numerical experiments demonstrate superior prediction accuracy compared to bilinear EDMD, especially in high dimensions. Finally, we show that our learned models are readily interfaced with linear-parameter-varying techniques for model predictive control.

eess.SY↗

arXiv2026

Learning Koopman Models From Data Under General Noise Conditions

This paper presents a novel identification approach of Koopman models of nonlinear systems with inputs under rather general noise conditions. The method uses deep state-space encoders based on the concept of state reconstructability and an efficient multiple-shooting formulation of the squared loss of the prediction error to estimate the dynamics and the lifted state only from input-output data. Furthermore, the Koopman model structure includes an innovation noise term that is used to handle process and measurement noise. It is shown that the proposed approach is statistically consistent (estimation error tends to zero when the number of data points goes to infinity) and computationally efficient due to the multiple-shooting formulation, by which the prediction error of the model can be calculated on multiple subsections of the data in parallel. The latter allows for efficient batch optimization of the network parameters and, at the same time, excellent long-term prediction capabilities of the obtained models. The performance of the approach is illustrated by nonlinear benchmark examples and experimental data from a Crazyflie 2.1 quadcopter.

eess.SY↗

arXiv2025

Exact Finite Koopman Embedding of Block-Oriented Polynomial Systems

The challenge of finding exact and finite-dimensional Koopman embeddings of nonlinear systems has been largely circumvented by employing data-driven techniques to learn models of different complexities (e.g., linear, bilinear, input affine). Although these models may provide good accuracy, selecting the model structure and dimension is still ad-hoc and it is difficult to quantify the error that is introduced. In contrast to the general trend of data-driven learning, in this paper, we develop a systematic technique for nonlinear systems that produces a finite-dimensional and exact embedding. If the nonlinear system is represented as a network of series and parallel linear and nonlinear (polynomial) blocks, one can derive an associated Koopman model that has constant state and output matrices and the input influence is polynomial. Furthermore, if the linear blocks do not have feedthrough, the Koopman representation simplifies to a bilinear model.

eess.SY↗

arXiv2023

Koopman Form of Nonlinear Systems with Inputs

The Koopman framework proposes a linear representation of finite-dimensional nonlinear systems through a generally infinite-dimensional globally linear embedding. Originally, the Koopman formalism has been derived for autonomous systems. In applications for systems with inputs, generally a linear time invariant (LTI) form of the Koopman model is assumed, as it facilitates the use of control techniques such as linear quadratic regulation and model predictive control. However, it can be easily shown that this assumption is insufficient to capture the dynamics of the underlying nonlinear system. Proper theoretical extension for actuated continuous-time systems with a linear or a control-affine input has been worked out only recently, however extensions to discrete-time systems and general continuous-time systems have not been developed yet. In the present paper, we systematically investigate and analytically derive lifted forms under inputs for a rather wide class of nonlinear systems in both continuous and discrete time. We prove that the resulting lifted representations give Koopman models where the state transition is linear, but the input matrix becomes state-dependent (state and input-dependent in the discrete-time case), giving rise to a specially structured linear parameter-varying (LPV) description of the underlying system. We also provide error bounds on how much the dependency of the input matrix contributes to the resulting representation and how well the system behaviour can be approximated by an LTI Koopman representation. The introduced theoretical insight greatly helps for performing proper model structure selection in system identification with Koopman models as well as making a proper choice for LTI or LPV techniques for the control of nonlinear systems through the Koopman approach.

eess.SY↗

arXiv2023

Optimal Synthesis of LTI Koopman Models for Nonlinear Systems with Inputs

A popular technique used to obtain linear representations of nonlinear systems is the so-called Koopman approach, where the nonlinear dynamics are lifted to a (possibly infinite dimensional) linear space through nonlinear functions called observables. In the lifted space, the dynamics are linear and represented by a so-called Koopman operator. While the Koopman theory was originally introduced for autonomous systems, it has been widely used to derive linear time-invariant (LTI) models for nonlinear systems with inputs through various approximation schemes such as the extended dynamics mode decomposition (EDMD). However, recent extensions of the Koopman theory show that the lifting process for such systems results in a linear parameter-varying (LPV) model instead of an LTI form. As LTI Koopman model based control has been successfully used in practice and it is generally temping to use such LTI descriptions of nonlinear systems, due to the simplicity of the associated control tool chain, a systematic approach is needed to synthesise optimal LTI approximations of LPV Koopman models compared to the ad-hoc schemes such as EDMD, which is based on least-squares regression. In this work, we introduce optimal LTI Koopman approximations of exact Koopman models of nonlinear systems with inputs by using l2-gain and generalized H2 norm performance measures. We demonstrate the advantages of the proposed Koopman modelling procedure compared to EDMD.

eess.SY↗

arXiv2023

Finite Dimensional Koopman Form of Polynomial Nonlinear Systems

The Koopman framework is a popular approach to transform a finite dimensional nonlinear system into an infinite dimensional, but linear model through a lifting process, using so-called observable functions. While there is an extensive theory on infinite dimensional representations in the operator sense, there are few constructive results on how to select the observables to realize them. When it comes to the possibility of finite Koopman representations, which are highly important form a practical point of view, there is no constructive theory. Hence, in practice, often a data-based method and ad-hoc choice of the observable functions is used. When truncating to a finite number of basis, there is also no clear indication of the introduced approximation error. In this paper, we propose a systematic method to compute the finite dimensional Koopman embedding of a specific class of polynomial nonlinear systems in continuous-time such that, the embedding, without approximation, can fully represent the dynamics of the nonlinear system.

eess.SY↗

arXiv2021

Deep Identification of Nonlinear Systems in Koopman Form

The present paper treats the identification of nonlinear dynamical systems using Koopman-based deep state-space encoders. Through this method, the usual drawback of needing to choose a dictionary of lifting functions a priori is circumvented. The encoder represents the lifting function to the space where the dynamics are linearly propagated using the Koopman operator. An input-affine formulation is considered for the lifted model structure and we address both full and partial state availability. The approach is implemented using the the deepSI toolbox in Python. To lower the computational need of the simulation error-based training, the data is split into subsections where multi-step prediction errors are calculated independently. This formulation allows for efficient batch optimization of the network parameters and, at the same time, excellent long term prediction capabilities of the obtained models. The performance of the approach is illustrated by nonlinear benchmark examples.

eess.SY↗