摘要:AbstractWe present a computational complexity certificate for a special type of Linear Complementarity problem (LCP) arising in Constrained Linear Quadratic Regulator (LQR) based Model Predictive Control (MPC). By exploiting the special structure of the LCP, we provide sufficient conditions for the LCP to be solvable in a finite number of pivots when processed using Lemke’s complementarity pivoting algorithm. The finite time termination is associated with the existence of a covering vector whose length determines the number of pivot operations needed, and guarantees an upper bound on computational complexity. This result is stronger than earlier assumed in the literature and provides a very promising solution technique for use in embedded MPC applications.