One of the most important and challenging problems in control is the derivation of systematic tools for the computation of controllers for constrained nonlinear systems that can guarantee closed-loop stability, feasibility, and optimality with respect to some performance index.  Meer