  This paper proposes to decouple performance optimization and enforcement of
asymptotic convergence in Model Predictive Control (MPC) so that convergence to
a given terminal set is achieved independently of how much performance is
optimized at each sampling step. By embedding an explicit decreasing condition
in the MPC constraints and thanks to a novel and very easy-to-implement convex
feasibility solver proposed in the paper, it is possible to run an outer
performance optimization algorithm on top of the feasibility solver and
optimize for an amount of time that depends on the available CPU resources
within the current sampling step (possibly going open-loop at a given sampling
step in the extreme case no resources are available) and still guarantee
convergence to the terminal set. While the MPC setup and the solver proposed in
the paper can deal with quite general classes of functions, we highlight the
synthesis method and show numerical results in case of linear MPC and
ellipsoidal and polyhedral terminal sets.
