Optimal MPC for tracking of constrained linear systems

Model predictive control (MPC) is one of the few techniques which is able to handle constraints on both state and input of the plant. The admissible evolution and asymptotic convergence of the closed-loop system is ensured by means of suitable choice of the terminal cost and terminal constraint. 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 optimisation problem, the admissible evolution as well as the asymptotic stability. Recently, a novel MPC has been proposed to ensure the feasibility of the optimisation problem, constraints satisfaction and asymptotic evolution of the system to any admissible target steady-state. A drawback of this controller is the loss of a desirable property of the MPC controllers: the local optimality property. In this article, a novel formulation of the MPC for tracking is proposed aimed to recover the optimality property maintaining all the properties of the original formulation.     

在线优化线性反馈增益的非线性鲁棒预测控制方法

以鲁棒控制不变集作为预测控制的终端约束集,设计了一种新的鲁棒预测控制算法.将预测控制在不同采样点的待优化控制律考虑为线性反馈控制律,并通过在线优化求解线性反馈增益.从理论上证明了若采用所设计的鲁棒预测控制器,则系统是输入状态稳定的.最后通过计算机仿真验证了所提出设计方法的可行性.     

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.     

Robust nonlinear MPC without terminal constraint for tracking changing setpoints in the presence of non-additive unknown disturbance

This paper develops a novel robust tracking model predictive control (MPC) without terminal constraint for discrete-time nonlinear systems capable to deal with changing setpoints and unknown non-additive bounded disturbances. The MPC scheme without terminal constraint avoids difficult computations for the terminal region and is thus simpler to design and implement. However, the existence of disturbances and/or sudden changes in a setpoint may lead to feasibility and stability issues in this method. In contrast to previous works that considered changing setpoints and/or additive slowly varying disturbance, the proposed method is able to deal with changing setpoints and non-additive non-slowly varying disturbance. The key idea is the addition of tightened input and state (tracking error) constraints as new constraints to the tracking MPC scheme without terminal constraints based on artificial references. In the proposed method, the optimal tracking error converges asymptotically to the invariant set for tracking, and the perturbed system tracking error remains in a variable size tube around the optimal tracking error. Closed-loop input-to-state stability and recursive feasibility of the optimization problem for any piece-wise constant setpoint and non-additive disturbance are guaranteed by tightening input and state constraints as well as weighting the terminal cost function by an appropriate stabilizing weighting factor. The simulation results of the satellite attitude control system are provided to demonstrate the efficiency of the proposed predictive controller.     

On real-time robust model predictive control

High-speed applications impose a hard real-time constraint on the solution of a model predictive control (MPC) problem, which generally prevents the computation of the optimal control input. As a result, in most MPC implementations guarantees on feasibility and stability are sacrificed in order to achieve a real-time setting. In this paper we develop a real-time MPC approach for linear systems that provides these guarantees for arbitrary time constraints, allowing one to trade off computation time vs. performance. Stability is guaranteed by means of a constraint, enforcing that the resulting suboptimal MPC cost is a Lyapunov function. The key is then to guarantee feasibility in real-time, which is achieved by the proposed algorithm through a warm-starting technique in combination with robust MPC design. We address both regulation and tracking of piecewise constant references. As a main contribution of this paper, a new warm-start procedure together with a Lyapunov function for real-time tracking is presented. In addition to providing strong theoretical guarantees, the proposed method can be implemented at high sampling rates. Simulation examples demonstrate the effectiveness of the real-time scheme and show that computation times in the millisecond range can be achieved.     

终端滑模约束的时滞系统模型预测控制

终端约束区域和终端代价项在模型预测控制中起着关键的作用，针对输入受限的时滞系统，提出了终端滑模约束的模型预测控制．将满足输入约束的滑模面作为终端约束区域，使得终端约束区域扩大，有效缩短预测时域，减少计算量，有利于在线应用．最后通过仿真验证了所提方法的有效性．     

Sensor‐fault tolerance using robust MPC with set‐based state estimation and active fault isolation

In this paper, a sensor fault‐tolerant control scheme using robust model predictive control (MPC) and set‐theoretic fault detection and isolation (FDI) is proposed. The robust MPC controller is used to control the plant in the presence of process disturbances and measurement noises while implementing a mechanism to tolerate faults. In the proposed scheme, fault detection (FD) is passive based on interval observers, while fault isolation (FI) is active by means of MPC and set manipulations. The basic idea is that for a healthy or faulty mode, one can construct the corresponding output set. The size and location of the output set can be manipulated by adjusting the size and center of the set of plant inputs. Furthermore, the inputs can be adjusted on‐line by changing the input‐constraint set of the MPC controller. In this way, one can design an input set able to separate all output sets corresponding to all considered healthy and faulty modes from each other. Consequently, all the considered healthy and faulty modes can be isolated after detecting a mode changing while preserving feasibility of MPC controller. As a case study, an electric circuit is used to illustrate the effectiveness of the proposed scheme. Copyright © 2016 John Wiley & Sons, Ltd.     

Generalized terminal state constraint for model predictive control

A terminal state equality constraint for Model Predictive Control (MPC) laws is investigated, where the terminal state/input pair is not fixed a priori but it is a free variable in the optimization. The approach, named “generalized” terminal state constraint, can be used for both tracking MPC (i.e. when the objective is to track a given steady state) and economic MPC (i.e. when the objective is to minimize a cost function which does not necessarily attains its minimum at a steady state). It is shown that the proposed technique provides, in general, a larger feasibility set with respect to the existing approaches, given the same prediction horizon. Moreover, a new receding horizon strategy is introduced, exploiting the generalized terminal state constraint. Under mild assumptions, the new strategy is guaranteed to converge in finite time, with arbitrarily good accuracy, to an MPC law with an optimally-chosen terminal state constraint, while still enjoying a larger feasibility set. The features of the new technique are illustrated by an inverted pendulum example in both the tracking and the economic contexts.     

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.     

Guaranteed Feasible Control Allocation using Model Predictive Control

This paper proposes a guaranteed feasible control allocation method based on the model predictive control. Feasible region is considered to guarantee the determination of the desired virtual control signal using the pseudo inverse methodology and is described as a set of constraints of an MPC problem. With linear models and the given constraints, feasible region defines a convex polyhedral in the virtual control space. In order to reduce the computational time, the polyhedral can be approximated by a few axis aligned hypercubes. Employing the MPC with rectangular constraints substantially reduces the computational complexity. In two dimensions, the feasible region can be approximated by a few rectangles of the maximum area using numerical geometry techniques which are considered as the constraints of the MPC problem. Also, an active MPC is defined as the controller to minimize the cost function in the control horizon. Finally, several simulation examples are employed to illustrate the effectiveness of the proposed techniques.     

Computation delay compensation for real time implementation of robust model predictive control

The implementation of model predictive control (MPC) requires to solve an optimization problem online. The computation time, often not negligible especially for nonlinear MPC (NMPC), introduces a delay in the feedback loop. Moreover, it impedes fast sampling rate setting for the controller to react to uncertainties quickly. In this paper, a dual time scale control scheme is proposed for linear/nonlinear systems with external disturbances. A pre-compensator works at fast sampling rate to suppress uncertainty, while the outer MPC controller updates the open loop input sequence at a slower rate. The computation delay is explicitly considered and compensated in the MPC design. Four robust MPC algorithms for linear/nonlinear systems in the literature are adopted and tailored for the proposed control scheme. The recursive feasibility and stability are rigorously analysed. Three simulation examples are provided to validate the proposed approaches.     

Design of robust model predictive control with input constraints

This article addresses the problem of designing a robust output feedback model predictive control (MPC) with input constraints, which ensures a parameter-dependent quadratic stability and guaranteed cost for the case of linear polytopic systems. A new heuristic method is introduced to guarantee input constraints for the MPC. To reject disturbances and maintain the process at the optimal operating conditions or setpoints, the integrator is added to the controller design procedure. Finally, some numerical examples are given to illustrate the effectiveness of the proposed method.     

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.     

Interpolating optimizing process control

A new model-based optimizing controller for a set of nonlinear systems is proposed. The nonlinear model set is based on a convex combination of two bounding linear models. An optimal control sequence is computed for each of the two bounding models. The proposed control algorithm is based on a convex combination of the two control sequences. A novel feature in these two optimizations is an added constraint related to the feasibility of the ‘other’ bounding model. The control algorithm can for example be used in model predictive control. We provide robust feasibility guarantees and an upper bound on the optimal criterion if the bounding models are linear FIR models. Further, simulation examples demonstrate significant feasibility improvements in the case where the bounding models are general linear state-space models. The proposed method guarantees robust feasibility for a 1-step ahead prediction in the general case. This can be of interest in MPC applications.     

Affine and predictive control policies for a class of nonlinear systems

The input-state linear horizon (ISLH) for a nonlinear discrete-time system is defined as the smallest number of time steps it takes the system input to appear nonlinearly in the state variable. In this paper, we employ the latter concept and show that the class of constraint admissible N-step affine state-feedback policies is equivalent to the associated class of constraint admissible disturbance-feedback policies, provided that N is less than the system’s ISLH. The result generalizes a recent result in [Goulart, P. J., Kerrigan, E. C., Maciejowski, J. M. (2006). Optimization over state feedback policies for robust control with constraints. Automatica, 42(4), 523-533] and is significant because it enables one: (i) to determine a constraint admissible state-feedback policy by employing well-known convex optimization techniques; and (ii) to guarantee robust recursive feasibility of a class of model predictive control (MPC) policies by imposing a suitable terminal constraint. In particular, we propose an input-to-state stabilizing MPC policy for a class of nonlinear systems with bounded disturbance inputs and mixed polytopic constraints on the state and the control input. At each time step, the proposed MPC policy requires the solution of a single convex quadratic programme parameterized by the current system state.     

Receding horizon tracking control of unicycle‐type robots based on virtual structure

This paper considers the receding horizon tracking control of the unicycle‐type robot subject to coupled input constraint based on virtual structure. The tracking position of the follower is considered to be a virtual structure point with respect to a Frenet–Serret frame fixed on the leader, and the desired control input of the follower not only depend on the input of the leader but also the separation vector. Firstly, a sufficient input condition for the leader robot is given to enable the follower to track its desired position while satisfying its inputs constraint. Secondly, receding horizon control scheme is designed for the follower robot, in which the recursive feasibility is guaranteed by developing a diamond‐shaped positively invariant terminal‐state region and its corresponding controller. Finally, simulation results are provided to verify the effectiveness of the scheme proposed. Copyright © 2016 John Wiley & Sons, Ltd.     

Quality guaranteed aggregation based model predictive control and stability analysis

The input aggregation strategy can reduce the online computational burden of the model predictive controller. But generally aggregation based MPC controller may lead to poor control quality. Therefore, a new concept, equivalent aggregation, is proposed to guarantee the control quality of aggregation based MPC. From the general framework of input linear aggregation, the design methods of equivalent aggregation are developed for unconstrained and terminal zero constrained MPC, which guarantee the actual control inputs exactly to be equal to that of the original MPC. For constrained MPC, quasi-equivalent aggregation strategies are also discussed, aiming to make the difference between the control inputs of aggregation based MPC and original MPC as small as possible. The stability conditions are given for the quasi-equivalent aggregation based MPC as well. Supported by the National Natural Science Foundation of China (Grant No. 60674041), and the Specialized Research Fund for the Doctoral Program of Higher Education (Grant No. 20070248004)     

输入状态稳定的鲁棒预测控制

以有界干扰非线性系统为研究对象,设计一种基于近似可达集的鲁棒预测控制方法。该方法以鲁棒控制不变集作为终端约束集,采用一种简单的三次多项式逼近预测控制的待优化控制律,通过在线优化求解三次多项式的各项系数,并从理论上证明了所设计的鲁棒预测控制律可以使系统输入状态稳定。最后通过仿真实例验证了所提出的鲁棒预测控制方法的可行性和有效性。     

Inherent robustness properties of quasi-infinite horizon nonlinear model predictive control

We consider inherent robustness properties of model predictive control (MPC) for continuous-time nonlinear systems with input constraints and terminal constraints. We show that MPC with a nominal prediction model and persistent but bounded disturbances has some degree of inherent robustness when the terminal control law and the terminal penalty matrix are chosen as the linear quadratic control law and the related Lyapunov matrix, respectively. We emphasize that the input constraint sets can be any compact set rather than convex sets, and our results do not depend on the continuity of the optimal cost function or of the control law in the interior of the feasible region.