Constrained MPC + Buffer