Robust Constrained Model Predictive Control using Linear Matrix Inequalities

The primary disadvantage of current design techniques for model predictive control (MPC) is their inability to deal explicitly with plant model uncertainty. In this paper, we present a new approach for robust MPC synthesis which allows explicit incorporation of the description of plant uncertainty in the problem formulation. The uncertainty is expressed both in the time domain and the frequency domain. The goal is to design, at each time step, a state-feedback control law which minimizes a "worst-case" infinite horizon objective function, subject to constraints on the control input and plant output. Using standard techniques, the problem of minimizing an upper bound on the "worst-case" objective function, subject to input and output constraints, is reduced to a convex optimization involving linear matrix inequalities (LMIs). It is shown that the feasible receding horizon state-feedback control design robustly stabilizes the set of uncertain plants under consideration. Several extensions, such as application to systems with time-delays and problems involving constant set-point tracking, trajectory tracking and disturbance rejection, which follow naturally from our formulation, are discussed. The controller design procedure is illustrated with two examples. Finally, conclusions are presented

Learning-based predictive control for linear systems: a unitary approach

A comprehensive approach addressing identification and control for learningbased Model Predictive Control (MPC) for linear systems is presented. The design technique yields a data-driven MPC law, based on a dataset collected from the working plant. The method is indirect, i.e. it relies on a model learning phase and a model-based control design one, devised in an integrated manner. In the model learning phase, a twofold outcome is achieved: first, different optimal p-steps ahead prediction models are obtained, to be used in the MPC cost function; secondly, a perturbed state-space model is derived, to be used for robust constraint satisfaction. Resorting to Set Membership techniques, a characterization of the bounded model uncertainties is obtained, which is a key feature for a successful application of the robust control algorithm. In the control design phase, a robust MPC law is proposed, able to track piece-wise constant reference signals, with guaranteed recursive feasibility and convergence properties. The controller embeds multistep predictors in the cost function, it ensures robust constraints satisfaction thanks to the learnt uncertainty model, and it can deal with possibly unfeasible reference values. The proposed approach is finally tested in a numerical example

A Robust Constrained Reference Governor Approach using Linear Matrix Inequalities

The purpose of this paper is to examine and provide a solution to the output reference tracking problem for uncertain systems subject to input saturation. As well-known, input saturation and modelling errors are very common problems at industry, where control schemes are implemented without accounting for such problems. In many cases, it is sometimes difficult to modify the existing implemented control schemes being necessary to provide them with external supervisory control approaches in order to tackle problems with constraints and modelling errors. In this way, a cascade structure is proposed, combining an inner loop containing any proper controller with an outer loop where a generalized predictive controller (GPC) provides adequate references for the inner loop considering input saturations and uncertainties. Therefore, the contribution of this paper consists in providing a state space representation for the inner loop and using linear matrix inequalities (LMI) to obtain a predictive state-vector feedback in such a way that the input reference for the inner loop is calculated to satisfy robust tracking specifications considering input saturations. Hence, the final proposed solution consists in solving a regulation problem to a fixed reference value subjected to a set of constraints described by several LMI and bilinear matrix inequalities (BMI). The main contribution of the paper is that the proposed solution is a non-linear setpoint tracking approach, that is, it is allowed that the system goes into saturation facing the problem of setpoint tracking instead of regulating to the origin. An illustrative numerical example is presented.Ministerio de Ciencia y Tecnología DPI2004-07444-C04-01/0

Robust Temporal Logic Model Predictive Control

Control synthesis from temporal logic specifications has gained popularity in recent years. In this paper, we use a model predictive approach to control discrete time linear systems with additive bounded disturbances subject to constraints given as formulas of signal temporal logic (STL). We introduce a (conservative) computationally efficient framework to synthesize control strategies based on mixed integer programs. The designed controllers satisfy the temporal logic requirements, are robust to all possible realizations of the disturbances, and optimal with respect to a cost function. In case the temporal logic constraint is infeasible, the controller satisfies a relaxed, minimally violating constraint. An illustrative case study is included.Comment: This work has been accepted to appear in the proceedings of 53rd Annual Allerton Conference on Communication, Control and Computing, Urbana-Champaign, IL (2015

Model Predictive Control for Signal Temporal Logic Specification

We present a mathematical programming-based method for model predictive control of cyber-physical systems subject to signal temporal logic (STL) specifications. We describe the use of STL to specify a wide range of properties of these systems, including safety, response and bounded liveness. For synthesis, we encode STL specifications as mixed integer-linear constraints on the system variables in the optimization problem at each step of a receding horizon control framework. We prove correctness of our algorithms, and present experimental results for controller synthesis for building energy and climate control

Model Predictive Control: Multivariable Control Technique of Choice in the 1990s?

The state space and input/output formulations of model predictive control are compared and preference is given to the former because of the industrial interest in multivariable constrained problems. Recently, by abandoning the assumption of a finite output horizon several researchers have derived powerful stability results for linear and nonlinear systems with and without constraints, for the nominal case and in the presence of model uncertainty. Some of these results are reviewed. Optimistic speculations about the future of MPC conclude the paper

Model predictive control techniques for hybrid systems

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.Ministerio de Eduación y Ciencia DPI2007-66718-C04-01Ministerio de Eduación y Ciencia DPI2008-0581