Lyapunov Based Model Predictive Control Example