K-SMPC: Koopman Operator-Based Stochastic Model Predictive Control for Enhanced Lateral Control of Autonomous Vehicles

Jin Sung Kim,Ying Shuai Quan,Chung Choo Chung
2023-12-10
Abstract:This paper proposes Koopman operator-based Stochastic Model Predictive Control (K-SMPC) for enhanced lateral control of autonomous vehicles. The Koopman operator is a linear map representing the nonlinear dynamics in an infinite-dimensional space. Thus, we use the Koopman operator to represent the nonlinear dynamics of a vehicle in dynamic lane-keeping situations. The Extended Dynamic Mode Decomposition (EDMD) method is adopted to approximate the Koopman operator in a finite-dimensional space for practical implementation. We consider the modeling error of the approximated Koopman operator in the EDMD method. Then, we design K-SMPC to tackle the Koopman modeling error, where the error is handled as a probabilistic signal. The recursive feasibility of the proposed method is investigated with an explicit first-step state constraint by computing the robust control invariant set. A high-fidelity vehicle simulator, i.e., CarSim, is used to validate the proposed method with a comparative study. From the results, it is confirmed that the proposed method outperforms other methods in tracking performance. Furthermore, it is observed that the proposed method satisfies the given constraints and is recursively feasible.
Systems and Control
What problem does this paper attempt to address?
This paper attempts to solve the problems of nonlinear dynamic modeling and control encountered by autonomous vehicles in the Lane - Keeping System (LKS). Specifically, the paper proposes a Koopman - operator - based Stochastic Model Predictive Control (K - SMPC) method to enhance the lateral control performance of autonomous vehicles. The main problems to be solved include: 1. **Nonlinear Dynamic Modeling**: - The lateral dynamics of autonomous vehicles are highly nonlinear, and traditional linear models are difficult to accurately describe this nonlinear behavior. - The paper uses the Koopman operator to transform the nonlinear system into a linear system in an infinite - dimensional space, thereby representing the vehicle's nonlinear dynamics more accurately. 2. **Modeling Error Handling**: - When using the Extended Dynamic Mode Decomposition (EDMD) method to approximate the Koopman operator in a finite - dimensional space, modeling errors will occur. - The paper treats the modeling errors as probability signals and designs K - SMPC to handle these errors, thereby improving the robustness and performance of the control system. 3. **Recursive Feasibility and Stability**: - The paper explores the recursive feasibility of the proposed method and ensures the recursive feasibility of the system by calculating the robust control invariant set. - By introducing soft constraints and slack variables, it ensures that the input constraints are satisfied in practical applications while ensuring the stability and performance of the system. 4. **Performance Verification**: - The paper uses the high - fidelity vehicle simulator CarSim to verify the proposed method and compares it with other existing methods. - The experimental results show that the proposed method is superior to other methods in terms of tracking performance and constraint satisfaction. In conclusion, this paper aims to solve the challenges of precise lateral control of autonomous vehicles in complex road environments through the K - SMPC method, especially providing new solutions in dealing with nonlinear dynamics and modeling errors.