D. Limon

Brief paper: MPC for tracking piecewise constant references for constrained linear systems

In this paper, a novel model predictive control (MPC) for constrained (non-square) linear systems to track piecewise constant references is presented. This controller ensures constraint satisfaction and asymptotic evolution of the system to any target which is an admissible steady-state. Therefore, any sequence of piecewise admissible setpoints can be tracked without error. If the target steady state is not admissible, the controller steers the system to the closest admissible steady state. These objectives are achieved by: (i) adding an artificial steady state and input as decision variables, (ii) using a modified cost function to penalize the distance from the artificial to the target steady state (iii) considering an extended terminal constraint based on the notion of invariant set for tracking. The control law is derived from the solution of a single quadratic programming problem which is feasible for any target. Furthermore, the proposed controller provides a larger domain of attraction (for a given control horizon) than the standard MPC and can be explicitly computed by means of multiparametric programming tools. On the other hand, the extra degrees of freedom added to the MPC may cause a loss of optimality that can be arbitrarily reduced by an appropriate weighting of the offset cost term.

Input to state stability of min-max MPC controllers for nonlinear systems with bounded uncertainties

Min-max model predictive control (MPC) is one of the control techniques capable of robustly stabilize uncertain nonlinear systems subject to constraints. In this paper we extend existing results on robust stability of min-max MPC to the case of systems with uncertainties which depend on the state and the input and not necessarily decaying, i.e. state and input dependent bounded uncertainties. This allows us to consider both plant uncertainties and external disturbances in a less conservative way. It is shown that the input-to-state practical stability (ISpS) notion is suitable to analyze the stability of worst-case based controllers. Thus, we provide Lyapunov-like sufficient conditions for ISpS. Based on this, it is proved that if the terminal cost is an ISpS-Lyapunov function then the optimal cost is also an ISpS-Lyapunov function for the system controlled by the min-max MPC and hence, the controlled system is ISpS. Moreover, we show that if the system controlled by the terminal control law locally admits certain stability margin, then the system controlled by the min-max MPC retains the stability margin in the feasibility region.

Input-to-State Stability: A Unifying Framework for Robust Model Predictive Control

This paper deals with the robustness of Model Predictive Controllers for constrained uncertain nonlinear systems. The uncertainty is assumed to be modeled by a state and input dependent signal and a disturbance signal. The framework used for the analysis of the robust stability of the systems controlled by MPC is the wellknown Input-to-State Stability. It is shown how this notion is suitable in spite of the presence of constraints on the system and of the possible discontinuity of the control law.

Min-max Model Predictive Control of Nonlinear Systems: A Unifying Overview on Stability

Min-max model predictive control (MPC) is one of the few techniques suitable for robust stabilization of uncertain nonlinear systems subject to constraints. Stability issues as well as robustness have been recently studied and some novel contributions on this topic have appeared in the literature. In this survey, we distill from an extensive literature a general framework for synthesizing min-max MPC schemes with ana priori robust stability guarantee. First, we introduce a general predictionmodel that covers a wide class of uncertainties, which includes bounded disturbances as well as state and input dependent disturbances (uncertainties). Second, we extend the notion of regional input-to-state stability (ISS) in order to fit the considered class of uncertainties. Then, we establish that the standard min-max approach can only guarantee practical stability. We concentrate our attention on two different solutions for solving this problem. The first one is based on a particular design of the stage cost of the performance index, which leads to aH∞ strategy, while the second one is based on a dual-mode strategy. Under fairly mild assumptions both controllers guarantee ISS of the resulting closed-loop system.Moreover, it is shown that the nonlinear auxiliary control law introduced in [29] to solve theH∞ problem can be used, for nonlinear systems affine in control, in all the proposed min-max schemes and also in presence of state-independent disturbances. A simulation example illustrates the techniques surveyed in this article.

MPC FOR TRACKING OF PIECE-WISE CONSTANT REFERENCES FOR CONSTRAINED LINEAR SYSTEMS

Abstract Model predictive control (MPC) is one of the few techniques which is able to handle with constraints on both state and input of the plant. The admissible evolution and asymptotically convergence of the closed loop system is ensured by means of a suitable choice of the terminal cost and terminal contraint. However, most of the existing results on MPC are designed for a regulation problem. If the desired steady state changes, the MPC controller must be redesigned to guarantee the feasibility of the optimization problem, the admissible evolution as well as the asymptotic stability. In this paper a novel formulation of the MPC is proposed to track varying references. This controller ensures the feasibility of the optimization problem, constraint satisfaction and asymptotic evolution of the system to any admissible steady-state. Hence, the proposed MPC controller ensures the offset free tracking of any sequence of piece-wise constant admissible set points. Moreover this controller requires the solution of a single QP at each sample time, it is not a switching controller and improves the performance of the closed loop system.

Technical communique: MPC for tracking with optimal closed-loop performance

In the recent paper [Limon, D., Alvarado, I., Alamo, T., & Camacho, E.F. (2008). MPC for tracking of piece-wise constant references for constrained linear systems. Automatica, 44, 2382-2387], a novel predictive control technique for tracking changing target operating points has been proposed. Asymptotic stability of any admissible equilibrium point is achieved by adding an artificial steady state and input as decision variables, specializing the terminal conditions and adding an offset cost function to the functional. In this paper, the closed-loop performance of this controller is studied and it is demonstrated that the offset cost function plays an important role in the performance of the model predictive control (MPC) for tracking. Firstly, the controller formulation has been enhanced by considering a convex, positive definite and subdifferential function as the offset cost function. Then it is demonstrated that this formulation ensures convergence to an equilibrium point which minimizes the offset cost function. Thus, in case of target operation points which are not reachable steady states or inputs for the constrained system, the proposed control law steers the system to an admissible steady state (different to the target) which is optimal with relation to the offset cost function. Therefore, the offset cost function plays the role of a steady-state target optimizer which is built into the controller. On the other hand, optimal performance of the MPC for tracking is studied and it is demonstrated that under some conditions on both the offset and the terminal cost functions optimal closed-loop performance is locally achieved.

On the stability of constrained MPC without terminal constraint

The usual way to guarantee stability of model predictive control (MPC) strategies is based on a terminal cost function and a terminal constraint region. This note analyzes the stability of MPC when the terminal constraint is removed. This is particularly interesting when the system is unconstrained on the state. In this case, the computational burden of the optimization problem does not have to be increased by introducing terminal state constraints due to stabilizing reasons. A region in which the terminal constraint can be removed from the optimization problem is characterized depending on some of the design parameters of MPC. This region is a domain of attraction of the MPC without terminal constraint. Based on this result, it is proved that weighting the terminal cost, this domain of attraction of the MPC controller without terminal constraint is enlarged reaching (practically) the same domain of attraction of the MPC with terminal constraint; moreover, a practical procedure to calculate the stabilizing weighting factor for a given initial state is shown. Finally, these results are extended to the case of suboptimal solutions and an asymptotically stabilizing suboptimal controller without terminal constraint is presented.

Model Predictive Control techniques for Hybrid Systems

Abstract This paper describes the main issues encountered when applying model predictive control to hybrid processes. Hybrid model predictive control (HMPC) is a research field non-fully developed with many open challenges. The paper describes some of the techniques proposed by the research community to overcome the main problems encountered. Issues related to the stability and the solution of the optimization problem are also discussed. The paper ends by describing the results of a benchmark exercise in which several HMPC schemes were applied to a solar air conditioning plant.

Enlarging the domain of attraction of MPC controllers

This paper presents a method for enlarging the domain of attraction of nonlinear model predictive control (MPC). The usual way of guaranteeing stability of nonlinear MPC is to add a terminal constraint and a terminal cost to the optimization problem such that the terminal region is a positively invariant set for the system and the terminal cost is an associated Lyapunov function. The domain of attraction of the controller depends on the size of the terminal region and the control horizon. By increasing the control horizon, the domain of attraction is enlarged but at the expense of a greater computational burden, while increasing the terminal region produces an enlargement without an extra cost. In this paper, the MPC formulation with terminal cost and constraint is modified, replacing the terminal constraint by a contractive terminal constraint. This constraint is given by a sequence of sets computed off-line that is based on the positively invariant set. Each set of this sequence does not need to be an invariant set and can be computed by a procedure which provides an inner approximation to the one-step set. This property allows us to use one-step approximations with a trade off between accuracy and computational burden for the computation of the sequence. This strategy guarantees closed loop-stability ensuring the enlargement of the domain of attraction and the local optimality of the controller. Moreover, this idea can be directly translated to robust MPC.

Improved computation of ellipsoidal invariant sets for saturated control systems

In this work, a new technique for the computation of ellipsoidal invariant sets for continuous-time linear systems controlled by a saturating linear control law is presented. New sufficient conditions to guarantee that an ellipsoid is a contractive invariant set for the closed-loop system is presented. The contractive nature of the invariant set ensures asymptotic stability of the controlled system. The main contributions of the paper are the following: the proposed sufficient condition is expressed in form of linear matrix inequalities constraints. The presented method includes (and consequently improves) previous results on this topic. The computational complexity of the proposed approach is analyzed. Illustrative examples are given.