It is widely accepted that in order to improve the robust stability of generalized predictive control (GPC), the use of a prefilter T and terminal equality constraints plays a fundamental role. In this work it is shown with straightforward counterexamples how, in the presence of structured uncertainties, neither the prefilter nor the equality constraints guarantee that the robust stability is improved. In fact, it can even worsen compared with “conventional” GPC.
1. Introduction
All predictive controllers share a common methodology: at each “present” instant t, future process outputs y(t+k∣t) are predicted for a certain time window, k=1,2,…,N2, using a model of the process. The optimal control law is obtained by minimizing a cost function as follows:
(1.1)J(Δu,t)=E{∑j=N1N2γ(j)[r(t+j∣t)-y(t+j∣t)]2+∑j=1Nuλ(j)[Δu(t+j-1∣t)]2},
where E{·} is the expectation operator, N1 is the minimum costing horizon, N2 is the maximum costing horizon, Nu is the control horizon, γ is a future errors weighting sequence, and λ is a control weighting [1, 2]. (In this work only the unconstrained case is considered.)
Generalized predictive control (GPC) [3–5] is one of the most representative predictive controllers. GPC assumes a CARIMA model (a transfer function plus a colored and integrated white noise) to describe the following system dynamics:
(1.2)A(z-1)y(t)=B(z-1)u(t)+T(z-1)Δξ(t),
where Δ is the increment operator and ξ(t) represents uncorrelated zero-mean white noise. T(z-1) is a polynomial which implements a prefilter.
In practice, T is not considered a model parameter but a controller parameter, as its value is chosen to improve the closed-loop robustness. In fact, prefiltering is one of the most popular approaches to robust design in GPC.
The effects of prefiltering on robustness were initially considered by Robinson and Clarke [6], who gave some guidelines for selecting T. However, these results are applied only for mean-level or dead-beat GPC. Soeterboek [7] pointed out that robustness would be enhanced by choosing T=A(1-αz-1), as α increases. Megías et al. [8] showed that α cannot be increased unlimitedly to improve robustness because performance would deteriorate. Yoon and Clarke [9] extended these works, suggesting that a more general guideline, T=A(1-αz-1)N1, improves the robust stability because it ensures the presence of a low-pass filter in the control loop that rejects the high frequency unmodeled responses. This recommendation is widely accepted in the literature and deserves some further explanations.
GPC control structure can be expressed in a classical LTI form (Figure 1). From it, it is easy to derive the expression of the closed-loop characteristic equation as follows:
(1.3)δ0(z-1)=RA0Δ+B0Sz-1,
where A0 and B0 represent the transfer function of the actual plant (generally different to A and B, the model transfer function used to design the GPC controller), R and S are the following polynomials:
(1.4)R=T+∑i=N1N2k1iHi∑i=N1N2k1iq-N2+i,S=∑i=N1N2k1iFi∑i=N1N2k1iq-N2+i,
and Hi and Fi are polynomials that can be derived from some Diophantine equations [3, 4].
GPC structure.
Assuming unstructured uncertainties and using the Small Gain Theorem, Yoon and Clarke [9] concluded that it is required that S/T be a low-pass filter and therefore T≠1 should be used, otherwise S/T(=S) would be a high-pass filter. According to this, they proposed a “natural” choice for T as follows:
(1.5)T=A(1-αz-1)N1,
where α lies in the neighborhood of the dominant root of A.
The main handicap of this approach is that it has been shown that (1.5) is fairly simplistic. For this reason, deep analysis for each given case is needed. Sensitivity analysis (to multiplicative uncertainty, to disturbances, and to noise) has been proposed by Rossiter [10]. In practice, this analysis shows that the effect of T is a trade-off between disturbances or noise rejection and robustness to model parameter uncertainty at different frequency bands, in a way that is not always beneficial. If the chosen T-filter does not achieve the desired sensitivities, it may not be obvious how to redesign it to improve matters.
Following this line of argument, in this paper we will study the influence of T on robustness when structured perturbations are considered using tools applicable to polytopes of polynomials. Previous analysis [11] suggested that (1.5) might improve the robust stability under structured perturbations. Now, we will show how, in general, (1.5) can lead to poorer robustness when these perturbations are present and how this fact can be depicted in geometrical terms.
The use of equality constraints forcing the controlled output to match the reference signal at the end of the cost horizon (CRHPC, SIORHC) [12] is another important method to ensure the stability.
For completeness purposes, in this paper we will show that in presence of structured perturbations the close loop stability of CRHPC can be studied using polytopes theory and that CRHPC does not necessarily improve the stability compared with GPC [11].
In this work, the perturbations will be considered directly established on the plant coefficients, that is, structured perturbations. Robust stability analysis will focus on how prefiltering, T, and terminal equality constraints, two keys of predictive control, are affected when the knowledge about the process parameters is not exact.
This paper has been structured as follows. In Section 2 the GPC control of plants with structured uncertainties is introduced and it is shown by examples how the general guideline for choosing T is not always adequate. In Section 3 the CRHPC control of plants with structured uncertainties is introduced and it is shown that this controller does not improve the stability in presence of uncertainties compared with a common GPC. Finally, Section 4 draws the main conclusions of this paper.
2. GPC with Structured Uncertainties and the Study of Prefiltering
Structured perturbations mean that the uncertainties are in the coefficients, that is, the numerator and the denominator of the actual plant are given by uncertain polynomials. Affine linear uncertainty structures will be considered. Thus, given a set of real parameters qi, i=0,…,l, which can vary between a maximum and a minimum value, qi-≤qi≤qi+, i=0,…,l, the coefficients of the numerator and denominator polynomials are affine linear functions of the uncertainty parameter vector q=(q0,…,ql)∈ℜl, that is, ai(q)=αiTq+βi,i=0,…,m, bi(q)=γiTq+ρi,i=0,…,n where αi and γi are 1×l vectors and βi and ρi are scalars. Then, the actual plant is defined by the following family of plants:
(2.1)G0(q,z-1)=B0(q,z-1)A0(q,z-1)=∑i=0nbi0(q)z-i1+∑i=1mai0(q)z-i,
where (m≥n≥0). With this structure of uncertainties, A0(q,z-1) and B0(q,z-1)are polytopes of polynomials in z-1, and G0(q,z-1)is a polytope of plants in z-1.
It has been shown that the family of characteristic polynomials δ0(z-1) of the closed-loop system constituted by a GPC controller (1.4) and the family of plants (2.1) is a polytope of polynomials [11, 13, 14] as follows:
(2.2)δ0(z-1)=R(z-1)A0(q,z-1)Δ+S(z-1)B0(q,z-1)z-1.
This fact allows the use of a very mature theory from the point of view of the robust stability analysis. Nowadays it can be said that there are powerful results to analyze the stability and the robust performance of families of polynomials formed by interval polynomials or by polytopes of polynomials. The main tools for the analysis of polynomial families are Kharitonov Theorem [15] for interval polynomials and the Edge Theorem [16] and Rantzer Theorem [17] for polytopes of polynomials.
In order to determine which T leads to the best robustness when structured uncertainties are present, we propose the analysis of the stability region in the parameter space derived from the closed loop characteristic equation [18]. The method of Ackermann [19] will be used to draw this region because it has low computational cost and no conservatism. The stability hypersphere around the nominal process will be also analyzed.
The following two examples will illustrate how guideline (1.5) influences robustness in the presence of structured uncertainties.
Example 2.1.
Let us revisit an example proposed by Yoon and Clarke [9] as follows:
(2.3)G=BA=0.21-0.8z-1,
and let us assume that the plant is actually represented by the following family (interval) of plants:
(2.4)G0=0.21+(-0.8+α1)z-1+α2z-2,
with α1 and α2 the uncertainty parameters. The GPC controller is tuned with the following predictive control settings: N1=1, Nu=2, N2=5, and λ=0.01.
Case 1 (T=1).
In the absence of prefiltering (i.e., T=1) the polynomials R and S (1.4) are the following:
(2.5)R(z-1)=0.2624,S(z-1)=1.9231-0.9231z-1,
and the closed-loop characteristic equation is
(2.6)δ0(z,α1,α2)=0.2624z3+(-0.0877+0.2624α1)z2+(0.0253-0.2624α1+0.2624α2)z-0.2624α2.
Case 2 (T=A(1-0.8z-1)).
Now we will follow the standard guideline (1.5): T=A(1-αz-1)N1, with α∈(0,1). It is extensively accepted that the robustness will be better when α lies in the neighborhood of the dominant root of A. Therefore, we will take α=0.8 as it was proposed in [10]. Thus R and S are
(2.7)R(z-1)=0.2624-0.0752z-1+0.0202z-2,S(z-1)=0.2-0.16z-1,(2.8)δ0(z,α1,α2)=0.2624z5+(-0.5075+0.2624α1)z4+(0.3335-0.3376α1+0.2624α2)z3+(-0.09652+0.0954α1-0.3376α2)z2+(0.01616-0.0202α1+0.0954α2)z-0.0202α2.
The families of polynomials (2.6) and (2.8) are polytopes as it was stated above (2.2). Figure 2 shows their stability regions.
The area of the stability region for T=1 is smaller than the one that follows the recommendation (1.5). Therefore, it could be concluded that the robust stability, in terms of the associated stability areas, has been improved with prefiltering.
However, the radius of the stability hypersphere (in this case just a circle) around the nominal process is smaller with prefiltering. Even though the stability region is bigger, from this point of view, prefiltering following (1.5) deteriorates the robustness of the closed-loop system.
Example 2.1. Stability regions for T=1 and T=A(1-0.8z-1).
Example 2.2.
Now one of the examples proposed by Rossiter [10] is considered as follows
(2.9)G=11-1.4z-1+0.45z-2,
assuming that the actual perturbations are structured and therefore the actual plant is given by a family (interval) of plants as
(2.10)G0=11+(-1.40+α1)z-1+(0.45+α2)z-2,
with α1 and α2 the uncertainty parameters. The GPC controller has been tuned with N1=1, Nu=1, N2=10, and λ=0.01.
This example illustrates the situations considered in [10]. No prefiltering (i.e., T=1, the situation rejected by Yoon and Clarke [9]) and T following the general recommendation (1-0.8z-1)n, n=1 or 2. (This choice of α is intuitive in that if sampling at about 1/10 of the rise time, a common guideline for predictive control, then a typical dominant process pole would be around 0.8. Hence this is a sensible pole for a low-pass filter on output measurements.)
For the nominal system, the sensitivity analysis performed in [10] concludes that the inclusion of a T-filter has given good reductions in every sensitive function over the high frequency: the sensitivity function to multiplicative uncertainty is actually better over the whole frequency range, the output sensitivity is worse at mid and low frequencies and better at high frequencies, and the input sensitivity is better over the whole frequency range.
Now let us consider the effect of T-filter on structured uncertainties.
Case 1 (T=1).
The controller is given by the following expressions:
(2.11)R(z-1)=8.9245,S(z-1)=9.9977-13.0137z-1+4.0159z-2,
and the closed-loop characteristic equation is
(2.12)δ0(z,α1,α2)=8.9245z3+(-11.421+8.9245α1)z2+(3.4963-8.9245α1+8.9245α2)z-8.9246α2-0.000125.
Case 2 (T=(1-0.8z-1)).
Now we obtain
(2.13)R(z-1)=8.9245-0.0001z-1,S(z-1)=2.8583-3.8772z-1+1.2189z-2,(2.14)δ0(z,α1,α2)=8.9245z4+(-18.561+8.9245α1)z3+(12.633-8.9246α1+8.9245α2)z2+(-2.7973-0.0001α1-8.9246α2)z-0.0001α2+0.000045.
Case 3 (T=(1-0.8z-1)2).
In this case, we obtain
(2.15)R(z-1)=8.9245-4.9728z-1+0.0001z-2,S(z-1)=0.6914-0.9632z-1+0.3118z-2,(2.16)δ0(z,α1,α2)=8.9245z5+(-25.7+8.9245α1)z4+(27.482+13.897α1+8.9245α2)z3+(-12.904+4.9729α1-0.9632α2)z2+(2.2379-0.0001α1+4.9729α2)z-0.0001α2-0.000045.
Figure 3 shows the stability regions of the polytopes (2.12), (2.14), and (2.16). The stability region for T=1 is smaller than the ones that follow the recommendation (1.5). However, as in the previous example the stability hypersphere around (0,0)—absence of uncertainties—is bigger when there is no prefiltering (T=1). Therefore, in this sense robustness is not improved by the guideline.
Example 2.2. Stability regions for T=1, T=A(1-0.8z-1), and T=A(1-0.8z-1)2.
3. CRHPC with Structured Uncertainties
This controller was developed under the necessity of guaranteeing stability. The special feature of this controller is the use of equality constraints forcing the controlled output to match the reference signal over a terminal constraint window m at the end of the costing horizon. The controller horizons must be chosen according to the following rules to guarantee the stability: N1=1, Nu=N2+2-d, where d is the delay, λ(j)>0 and m must be 0≤m≤Nu and equal to n, the order of the incremental system, and n=max[deg(A),deg(B)]+1.
The objective is to analyze the stability of this controller under the assumption that the model is different to the process. To carry out this, it is necessary to calculate the analytic control law of this controller and to obtain the expression of the characteristic equation.
The solution of the constrained minimization problem associated with CRHPC leads to a control law with R and S as in (3.1), where Π1, defined following [20], is a vector that plays the same role as k1 in GPC Consider the following:
(3.1)R=T+z-1∑i=N1N+mΠ1iHi∑i=N1N+mΠ1i,S=∑i=N1N+mΠ1iFi∑i=N1N+mΠ1i.
From the analysis of the characteristic equation we obtain that the family of characteristic polynomials δ(z-1) of the closed-loop system constituted by a CRHPC predictive controller (3.1) and the family of plants (2.1) is a polytope of polynomials [20]. Again, this result permits us to apply the theory based on polytopes in order to study the robust stability of CRHPC.
When the model is equal to the process the real output matches the reference signal due to the equality constraints and the stability properties of the control law may be stated. On the other hand, when the model is different to the process, multiple possible outputs exist, one for each plant of the family, and obviously it is impossible to force every real outputs to unique value given by the equality constraint. The only thing we can do in order to implement this kind of controller when the process is represented by a family of plants is to apply the equality constraint on the predicted output. Obviously, as the process is different to the model, the real output is different to the predicted output, and the real output does not necessary match with the reference signal. Even so, it seems reasonable in the following conjecture: “CRHPC improves the stability compared with GPC in the presence of uncertainties.” However, it will be shown in the following counterexample that this conjecture is not true.
3.1. Example: CRHPC with Uncertain Parameters
The model is described by the following transfer function:
(3.2)B=0.65-0.1950z-1-0.26z-2,A=1-0.9z-1-0.01z-2+0.1050z-3.
Let us assume the process with uncertainties in the following coefficients:
(3.3)B0=0.65-0.1950z-1-0.26z-2,A0=1-0.9z-1+(-0.01+α)z-2+(0.1050+β)z-3.
Firstly, a GPC is applied with the parameters tuned to N1=1, N2=7, Nu=4, λ=0.1, and m=0, (without equality constraints).
The characteristic equation is represented by this polytope as follows:
(3.4)δ=0.8578z6+0.5668z5+(-0.1123+0.8578α)z4+(0.02857+0.8578β-1.1433α)z3+(-0.01224-0.02318α-1.1433β)z2+(-0.0232β+0.3087α)z+0.3087β.
Secondly, the study is repeated using CRHPC. We consider the following two cases (see Figure 4):
N1=1, N2=7, Nu=8, λ=0.1, and m=4 leads to:
(3.5)δ=0.6935z6-0.4252z5+(-0.0861+0.6935α)z4+(0.02245-2.4041α+0.6935β)z3+(-0.0093+0.7199α-2.4041β)z2+(0.9909α+0.7199β)z+0.9909β;
N1=1, N2=3, Nu=4, λ=0.1, and m=4 leads to:
(3.6)δ=0.195z6+0.195αz4+(-6.2178α+0.195β)z3+(2.9711α-6.2178β)z2+(3.0517α+2.9711β)z+3.0517β.
Horizons for the different controllers.
Figure 5 shows the stability regions for these three controllers. It can be concluded that the stability of CRHPC does not improve. The stability regions are smaller when the equality constraints have been considered than when they were not included in the optimisation and the computational cost has been higher.
Stability regions.
Summarising, the fact of using a CRHPC instead of GPC under the assumption that the process presents uncertainties does not improve necessarily the robust stability. It can be found that a GPC controller works better than a CRHPC controller with a lower computational cost.
4. Conclusions
This paper has focused on the study of the influence of prefilter T and equality constraints on the robustness of GPC against structured uncertainties. Given that the closed loop is a polytope of polynomials, it is possible to analyze the robust stability with tools based on polytopes with ease and no conservatism.
Some examples have shown that the widely accepted guideline for choosing T does not guarantee better robustness. In fact, this has been shown with simple geometrical measurements, such as the area of the stability region or the radius of the stability hypersphere in the uncertainties space.
Examples have shown that there exist “directions” in the uncertainties space where the robust stability margins are better and “directions” where they are worse. This situation is somehow similar to the sensitivity analysis when unstructured disturbances are considered, where there could be frequency bands where sensitivity is improved and bands where it is worsened.
In relation to the influence of equality constraints (CRHPC), it has been shown that they do not necessary improve the stability region compared with a conventional GPC.
For these reasons, no matter the type of disturbances that are present, a deep analysis of robustness (sensitivity functions, stability regions, etc.) is needed.
Acknowledgement
The authors wish to acknowledge the economical support of the Spanish Distance Education University (UNED), under project ref. PROY29.
MaciejowskiJ. M.2002Harlow, UKPrentice HallCamachoE. F.BordónsC.20042ndLondon, UKSpringerClarkeD. W.MohtadiC.TuffsP. S.Generalized predictive control—part I. The basic algorithm19872321371482-s2.0-0023310961ClarkeD. W.MohtadiC.TuffsP. S.Generalized predictive control—part II extensions and interpretations19872321491602-s2.0-33847372418BitmeadR. R.GeversM.WertzV.1990Prentice Hall InternationalRobinsonB. D.ClarkeD. W.Robustness effects of a prefilter in generalised predictive control19911381282-s2.0-002595824110.1049/ip-d.1991.0002ZBL0749.93067SoeterboekR.1992Prentice HallMegíasD.SerranoJ.de PradaC.Uncertainty treatment in GPC: design of T polynomialEuropean Control Conference (ECC '77)1997YoonT.-W.ClarkeD. W.Observer design in receding-horizon predictive control199561117119110.1080/002071795089218971619730ZBL0817.93026RossiterJ. A.2003CRC PressMañosoC.de MadridA. P.HernándezR.DormidoS.Robust stability of GPC: the influence of prefiltering and terminal equality constraintsProceedings Volume from the IFAC Conference Control Systems Design2000Bratislava, SlovakiaClarkeD. W.ScattoliniR.Constrained receding-horizon predictive control199113843473542-s2.0-002619119010.1049/ip-d.1991.0047ZBL0743.93063MañosoC.HernándezR.de MadridA. P.DormidoS.Robust stability analysis of predictive controllers using extreme point results1Proceedings of the IMACS Multiconference (CESA '96)1996483488MañosoC.HernándezR.de MadridA. P.DormidoS.Robust stability analysis of GPC: an application to dead-beat and mean-level predictive controllersProceedings of the Mediterranean IEEE Conference199778CD-ROM ProceedingsKharitonovV. L.The asymptotic stability of the equilibrium state of a family of systems of linear differential equations1978141120862088516709BartlettA. C.HollotC. V.LinH.Root locations of an entire polytope of polynomials: it suffices to check the edges198811617110.1007/BF02551236923276ZBL0652.93048RantzerA.Stability conditions for polytopes of polynomials1992371798910.1109/9.1096401139617ZBL0747.93064MañosoC.de MadridA. P.HernándezR.RomeroM.Prefiltering and robustness of GPC with structured perturbationsProceedings of 2nd Magno Congreso Internacional de Computación2007Mexico City, MexicoAckermannJ.Parameter Space Design of Robust Control Systems1980256105810722-s2.0-0019269082ZBL0483.93041ManosoC.de MadridA. P.HernandezR.DormidoS.Robust stability analysis of GPC and CRHPC using the theory of extreme point resultsProceedings of the American Control Conference (ACC '99)June 199923852389Paper 0042TM15-42-s2.0-0033284908