Bilinear Koopman-Based Robust Model Predictive Control for Unknown Nonlinear Systems via Contraction Metrics

Tube MPC for Bilinear Koopman Models using Robust Control Contraction Metrics

A robust tube model predictive control framework for nonlinear systems represented by bilinear Koopman models identified from data, which establishes recursive feasibility, robust constraint satisfaction and input-to-state stability of the closed-loop system with respect to the mismatch between the Koopman model and the true dynamics.

Koopman-based model predictive control for nonlinear systems with bounded model uncertainty

Iterative State- and Control-Dependent Model Predictive Control: A Jacobian-Free Formulation for Constrained Nonlinear Systems

This paper presents an iterative model predictive control algorithm that stabilizes constrained nonlinear systems without evaluating a single plant derivative. By factoring the exact nonlinear dynamics into a pseudo-linear form using state- and control-dependent coefficients (SCDCs), we replace the standard nonconvex optimization with a sequence of constrained linear-quadratic programs. Refreezing the coefficient matrices along the previously predicted trajectory drives the iteration. Near the origin, we prove this sequence contracts to a unique fixed point. We explicitly bound the number of iterations required to reach any stopping tolerance, and we quantify the distance from the fixed point to a true Karush-Kuhn-Tucker point, showing this optimality gap vanishes quadratically as the state approaches the origin. Inflating the discrete algebraic Riccati equation generates terminal ingredients that guarantee recursive feasibility and asymptotic stability, even when the solver terminates early. We adapt the terminal penalty online, proving it remains uniformly bounded, and we secure output feedback through the block-observable canonical form, which extracts the exact system state directly from past inputs and outputs. Retaining the block-banded structure of the subproblem forces the computational cost to scale linearly with the horizon length $\ell$. This $O(\ell)$ complexity matches the iterative linear quadratic regulator (iLQR) but sharply undercuts the $O(\ell^3)$ scaling of dense sequential quadratic programming (SQP). Numerical studies on a saturated quadrotor, a nonholonomic integrator, and a nonminimum-phase plant illustrate the theoretical bounds and map how the algorithm compares with iLQR, SQP, and linear-parameter-varying MPC.

Data-Driven Identification and MPC of Coupled Tank System using Bilinear Koopman Realizations and Physics-Informed Neural Networks

Real-time control of multivariable nonlinear processes requires models balancing high fidelity with computational tractability. This paper compares two data-driven paradigms: Bilinear Koopman Realizations and Physics-Informed Neural Networks. While standard Koopman approaches seek global linearization, we leverage a bilinear framework in the lifted functional space to preserve the natural coupling of control-affine systems. Simultaneously, PINNs ensure physical consistency by embedding conservation laws into the learning objective. To facilitate high-performance control, both surrogate models are integrated into a nonlinear model predictive control scheme using the CasADi framework, enabling efficient algorithmic differentiation for optimization. Simulation results for a quadruple tank system demonstrate that both paradigms reach mean VAF values above 99%, but the Bilinear Koopman model delivers a lower mean RMSE during step transients while doubling the computational speed of the PINN with a Real-Time Factor above 22. We conclude that despite structural scaling limitations regarding neural exploding gradients and operator instability risks, the Bilinear Koopman realization provides a more reliable, noise-resilient solution for real-time hydraulic benchmarks.

KOOPMAN-Luenberger Observer Design for Nonlinear Systems with Application to the Monitoring of a Latent Thermal Energy Storage

State estimation for nonlinear dynamical systems remains a fundamental challenge, particularly when measurements are sparse and internal states are inaccessible. This work presents a KOOPMAN-based Linear State Observer (KOOPMAN-LSO) design framework that enables linear observer synthesis for nonlinear systems through KOOPMAN operator theory. The nonlinear dynamics are lifted into a higher-dimensional observable space using physics-informed basis functions, where a linear predictor with control is identified via extended dynamic mode decomposition with control (eDMDc). A discrete-time Luenberger observer is then constructed in the lifted space, and the observer gain is obtained through a dual linear - quadratic regulator (LQR) formulation to ensure stable and tunable estimation error dynamics. The proposed framework combines the representational capability of KOOPMAN lifting with the simplicity and computational efficiency of linear observer design, providing a systematic approach for nonlinear state estimation under limited sensing. Its effectiveness is demonstrated on a latent thermal energy storage (LTES) system based on phase-change materials (PCM), where internal temperature states are not directly measurable. Experimental results under varying operating conditions show accurate reconstruction of unmeasured states from limited output measurements, illustrating the potential of KOOPMAN-LSO design for practical nonlinear systems. The proposed approach achieves high-fidelity reconstruction with an RMSE as low as 0.0819 {\deg}C for the LTES outlet temperature and generally below 1.0 {\deg}C for observable internal PCM temperatures.

Data-Driven Koopman-Based Model Predictive Control for a Three-Tank Hydraulic System

This paper presents an applied study of data-driven Model Predictive Control (MPC) based on the Koopman operator framework for a three-tank hydraulic benchmark. The central contribution is a compact, physics-informed lifting strategy: observable functions are chosen directly from Torricelli’s law governing turbulent orifice flow, yielding a seven-dimensional Extended Dynamic Mode Decomposition (EDMD) model that captures the dominant nonlinearities with fewer basis functions than generic dictionaries. The resulting Koopman-MPC replaces the nonconvex optimization of nonlinear MPC (NMPC) with a convex quadratic program, achieving comparable tracking accuracy (0.65 cm vs. 0.64 cm mean error) while reducing the average per-step computation time by 36.7× (50 ms vs. 1807 ms in Python/SciPy). A Moving Horizon Estimator (MHE) operating on the full nonlinear model reconstructs the unmeasured tank level with accuracy comparable to the 2 mm measurement noise floor. These results provide a quantitative benchmark for Koopman-based predictive control on a nonlinear hydraulic system with bidirectional inter-tank coupling and regime-dependent flow transitions.