Control-Coherent Koopman Modeling: A Physical Modeling Approach

H. Harry Asada,Jose A. Solano-Castellanos
2024-08-22
Abstract:The modeling of nonlinear dynamics based on Koopman operator theory, which is originally applicable only to autonomous systems with no control, is extended to non-autonomous control system without approximation to input matrix B. Prevailing methods using a least square estimate of the B matrix may result in an erroneous input matrix, misinforming the controller about the structure of the input matrix in a lifted space. Here, a new method for constructing a Koopman model that comprises the exact input matrix B is presented. A set of state variables are introduced so that the control inputs are linearly involved in the dynamics of actuators. With these variables, a lifted linear model with the exact control matrix, called a Control-Coherent Koopman Model, is constructed by superposing control input terms, which are linear in local actuator dynamics, to the Koopman operator of the associated autonomous nonlinear system. The proposed method is applied to multi degree-of-freedom robotic arms and multi-cable manipulation systems. Model Predictive Control is applied to the former. It is demonstrated that the prevailing Dynamic Mode Decomposition with Control (DMDc) using an approximate control matrix B does not provide a satisfactory result, while the Control-Coherent Koopman Model performs well with the correct B matrix.
Systems and Control
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: how to apply Koopman operator theory to non - autonomous control systems, especially how to construct a Koopman model that can accurately reflect the input matrix. The traditional Koopman operator theory is mainly applicable to autonomous systems without external inputs. For non - autonomous systems with control inputs, existing methods such as Dynamic Mode Decomposition with control (DMDc) approximate the input matrix through least - squares estimation, which may lead to incorrect input matrices and thus affect the design of controllers. This paper proposes a new method - Control - Coherent Koopman Modeling, aiming to construct a Koopman model that can provide an accurate input matrix, thereby improving the control effect. Specifically, the paper solves the following problems: 1. **Construction of accurate input matrix**: Existing methods such as DMDc approximate the input matrix through least - squares estimation, which may lead to inaccurate input matrices. The method proposed in this paper constructs a lifted linear model (Control - Coherent Koopman Model) with an accurate input matrix by introducing a set of state variables, so that the control input participates linearly in the actuator's dynamics. 2. **Koopman modeling of non - autonomous systems**: The Koopman operator theory was initially only applicable to autonomous systems and not applicable to non - autonomous systems with control inputs. This paper extends the application range of the Koopman operator theory by introducing control - related state variables, enabling it to handle non - autonomous control systems. 3. **Guarantee of control consistency**: In control design, the structure of the input matrix is crucial. Through the method proposed in this paper, the structure of the input matrix can be guaranteed to be correct and consistent, avoiding structural errors caused by curve fitting. 4. **Verification of practical applications**: The paper verifies the effectiveness of the proposed method through an example of a multi - degree - of - freedom robotic arm. The results show that the Control - Coherent Koopman Model performs better than the traditional DMDc method and the bilinear model in model predictive control (MPC). In summary, the main contribution of this paper is to provide a new method that can construct a Koopman model with an accurate input matrix in non - autonomous control systems, thereby improving the performance of the control system.