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.Ministerio de Ciencia y Tecnología DPI2002-04375-c03-0

Enlarging the domain of attraction of MPC controller using invariant sets

2002 IFAC15th Triennial World Congress, Barcelona, SpainThis paper presents a method for enlarging the domain of attraction of nonlinear model predictive control (MPC). The useful way of guaranteeing stability of nonlinear MPC is to add a terminal constraint and a terminal cost in the optimization problem. The terminal constraint 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 prediction horizon. By increasing the prediction horizon, the domain of attraction is enlarged but at expense of a greater computational burden. A strategy to enlarge the domain of attraction of MPC without increasing the prediction horizon is presented. The terminal constraint is replaced by a contractive terminal constraint which is given by a sequence of control invariant sets for the system. This strategy guarantees closed loop stability under the same assumptions

Improved MPC Design based on Saturating Control Laws

This paper is concerned with the design of stabilizing model predictive control (MPC) laws for constrained linear systems. This is achieved by obtaining a suitable terminal cost and terminal constraint using a saturating control law as local controller. The system controlled by the saturating control law is modelled by a linear difference inclusion. Based on this, it is shown how to determine a Lyapunov function and a polyhedral invariant set which can be used as terminal cost and constraint. The obtained invariant set is potentially larger than the maximal invariant set for the unsaturated linear controller, O∞. Furthermore, considering these elements, a simple dual MPC strategy is proposed. This dual-mode controller guarantees the enlargement of the domain of attraction or, equivalently, the reduction of the prediction horizon for a given initial state. If the local control law is the saturating linear quadratic regulator (LQR) controller, then the proposed dual-mode MPC controller retains the local infinite-horizon optimality. Finally, an illustrative example is given

On the stability of unconstrained receding horizon control with a general terminal cost

This paper deals with unconstrained receding horizon control of nonlinear systems with a general, non-negative terminal cost. Earlier results have indicated that when the terminal cost is a suitable local control Lyapunov function, the receding horizon scheme is stabilizing for any horizon length. In a recent paper, the authors show that there always exist a uniform horizon length which guarantees stability of the receding horizon scheme over any sub-level set of the finite horizon cost when the terminal cost is identically zero. In this paper, we extend this result to the case where the terminal cost is a general non-negative function

Steering the distribution of agents in mean-field and cooperative games

The purpose of this work is to pose and solve the problem to guide a collection of weakly interacting dynamical systems (agents, particles, etc.) to a specified terminal distribution. The framework is that of mean-field and of cooperative games. A terminal cost is used to accomplish the task; we establish that the map between terminal costs and terminal probability distributions is onto. Our approach relies on and extends the theory of optimal mass transport and its generalizations.Comment: 20 pages, 8 figure

On feasibility, stability and performance in distributed model predictive control

In distributed model predictive control (DMPC), where a centralized optimization problem is solved in distributed fashion using dual decomposition, it is important to keep the number of iterations in the solution algorithm, i.e. the amount of communication between subsystems, as small as possible. At the same time, the number of iterations must be enough to give a feasible solution to the optimization problem and to guarantee stability of the closed loop system. In this paper, a stopping condition to the distributed optimization algorithm that guarantees these properties, is presented. The stopping condition is based on two theoretical contributions. First, since the optimization problem is solved using dual decomposition, standard techniques to prove stability in model predictive control (MPC), i.e. with a terminal cost and a terminal constraint set that involve all state variables, do not apply. For the case without a terminal cost or a terminal constraint set, we present a new method to quantify the control horizon needed to ensure stability and a prespecified performance. Second, the stopping condition is based on a novel adaptive constraint tightening approach. Using this adaptive constraint tightening approach, we guarantee that a primal feasible solution to the optimization problem is found and that closed loop stability and performance is obtained. Numerical examples show that the number of iterations needed to guarantee feasibility of the optimization problem, stability and a prespecified performance of the closed-loop system can be reduced significantly using the proposed stopping condition