Stabilization of strictly pre-dissipative nonlinear receding horizon control by terminal costs
Lars Grüne, Mario Zanon
TL;DR
This work tackles stabilization of receding horizon control for nonlinear systems under strict pre-dissipativity by showing that a carefully designed terminal cost can restore stability without terminal constraints. By reformulating the problem with a rotated stage cost $L(x,u)$ and a storage function $\lambda$, the authors prove that if $V^{\mathrm{f}}+\lambda$ is bounded below, semiglobal practical asymptotic stability is achieved; if this sum is positive semidefinite, true asymptotic stability follows (and can be guaranteed with a linear $\rho$). In the linear-quadratic setting, $\lambda(x)$ can take a quadratic form and the conditions simplify to relations between $P^{\mathrm{f}}$, $\Lambda$, and the equilibrium, with terminal costs like $V^{\mathrm{f}}(x)=a x^2$, $a>0$, stabilizing the closed loop. An illustrative nonlinear example demonstrates how the choice of terminal cost transitions the closed-loop behavior from instability to practical, and then true, stability, highlighting the practical relevance of the proposed terminal-cost design for RP MPC.
Abstract
It is known that receding horizon control with a strictly pre-dissipative optimal control problem yields a practically asymptotically stable closed loop when suitable state constraints are imposed. In this note we show that alternatively suitably bounded terminal costs can be used for stabilizing the closed loop.
