Polyhedral control Lyapunov functions (PCLFs) are exploited in this paper to propose a linear model predictive control (MPC) formulation that guarantees a “large” domain of attraction (DoA) even for short horizon. In particular, the terminal region of the proposed finite-horizon MPC formulation is chosen as a level set of an appropriate PCLF. For small… (More)