Nonlinear Model Predictive Control: Theory and