This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
E [0, 2?T) =>_L81 < 1 correseonas to~~ uncertainty. In both cases therels-an"extristruc ture on the uncertainty 8, w~ be a consequence of the extra a priori information on model uncertainty, that is, only phase or gain is uncertain. For this reason, the condition of Theorem 2.1 could be conservative if applied to this case and if the a priori information is correct. Otherwise it is more prudent to consider the unstructured type of uncertainty described by the set Q. Sev~ral examples will serve to illustrate the above concepts.
This uncertainty can be represented as multiplicative dynamic uncertainty usiryg the weighting function W(s) = 0.2[1 + (s/20)]. Its graphical representation is similar to the one of Figure 2. 7. The system is known with a 20% relative error up to 10 rad/s. Above 100 rad/s the model has no information on the system that may be useful for control design (IW(Jw)l > 1). According to condition (2.20 ), this frequency is the upper limit for the bandwidth of the complementary sensitivity function T(s), to achieve robust stability.
Example 2.6 Consider the following nominal model g 0 (s) and a second possible plant g 1 (s ):
Other Uncertainty Descriptions Additional types of dynamic uncertainty descriptions, similar to (2.13), can be formulated as follows:
gl (s)
go(s)
300 (s + 1)(s + 3)(s + 100) 3 (s+1)(s+3)
g = {3[1+8/5+s(8/100 )] (s+1)(s+3) go(s)
(2.23)
9q 9;
=\
{ go(s) [1 + 8Wq(s)r
< 1}
for 8 = 0
{go(s) + oWa(s), 181
9a
(2.22)
3 (s + 1)(s + 3)
= ----
181
'
< 1}
1 ,
(2.28)
(2.29)
181 < 1}
{go(s) [1 + 8W;(s)go(s)r
(2.27)
1 ,
181 < 1}
(2.30) (2.31)
40
SISO SYSTEMS
ROBUST STABILITY
These descriptions are defined as additive, quotient, all_c!l!t'v'_t:_r_s_~ dynamic uncertainties, respectively. The ctifferen"CeTetween--the-description of uncertainty by any of the above depends on the specific application under consideration. Take, for example, the case where a high-order model (even infinitedimensional) g(s) must be approximated by a lower-order one g,(s ). The approximation error can be considered as additive dynamic uncertainty. The set of models "centered" at the nominal g,(s), which includes the high-order one g(s ), can be defined as follows: 6.
Ya = {g,(s) + 8Wa(s), 181 < 1}
(2.32)
The weight Wa(s) can be obtained from the frequency responses of the approximatio;error (or its upper bound) and g(s ). A systematic way to obtain this uncertainty description and its corresponding uncertainty weight will be presented in Chapter 10. In the same way that multiplicative uncertainty seems to be the "natural" structure to describe uncertainty in the zero locations, quotient dynamic uncertainty is the least conservative way to describe open-loop pole uncertainty. This will be illustrated in the following example.
obtained by considering (g(s)- g11 (s))/g 0 (s), g(s) E <;;". The weight W,(s) = 3/(s + 3) and bound y, = 1 achieve the above condition but include in the new set of models Ym second-order systems, which were not included in Yq· We conclude that, depending on the specific application, the description of model uncertainty should be selected appropriately among the above descriptions. If all the uncertainty is included in one particular description, it is called global dynamic uncertainty. Otherwise, in many cases, we may adopt two or more uncertainty descriptions to better "fit" the family of models. By this we mean that, taking advantage of the information on the "structure" of the uncertainty in the model, we select the smallest possible set. This is important because, in general, a robust controller should stabilize and provide performance for all possible plants in the set of models; therefore the larger this set, the more conservative the design. The type of uncertainty description that combines information of different portions of the plant and adopts different uncertainties for each part, that is, different 8's, is called a structured dynamic uncertainty description. For example, consider the following set of models with both uncertain zero and uncertain pole locations:
Example 2.8 Consider the following set of mathematical models, which can be described as a family with quotient dynamic uncertainty:
Yq = { [s +
3(~ + 8)]'
181 < 1}
~ {go(s) [1 + 8q Wq(s)r 1 , l8ql < 1} which leads to the following nominal model and uncertainty weight: go(s) = -
1
S+ 6
,
3 Wq(s) = s+ 6
g
(2.35)
If, instead, the same set would have been described by a family of multiplicative dynamic uncertain models, there would have been an unnecessarily large number of models, and as a consequence the description would have been conservative. If we take the same nominal model, the new uncertainty weight Wm(s) and bound 'Ym should be defined such that
"covers" the following set:
lSI < 1}
{s+2(1+0.38z) 18;l s + 3(1 + 0.58p),
< 1,
i E {z,p}}
(2.37)
(2.38)
(2.39)
, In Chapter 7, robustness analysis and design tools for this more general type of uncertainty description will be presented. Following the proof of Theorem 2.1, necessary and sufficient conditions for the robust stability of the model sets described in Table 2.1 can be obtained (Problem 3), where S(s) ~ [1 + g0 (s)k(s)r 1 is the sensitivity function of the nominal closed-loop system. We can conclude from this table that different stability conditions correspond to different uncertainty descriptions. This is coherent with the fact stated before, that stability margins are related to a Table 2.1. Global dynamic uncertainty descriptions and the corresponding robust stability conditions (lSI < 1)
9
(2.36)
38 { s + 3 (2 + 8 ), 8 E C,
=
(2.33)
(2.34)
41
g0 (s) go(s) go(s) g,(s)
[1 + oWm(s)] + oW0 (s) [1 + oWq(s )f 1 [1 + oW;(s)gn(sW'
Robust Stability [[Wm(s)T(s)lloc ~ 1 IIWa(s)k(s)S(s)[[ 00 ~ 1 [[Wq(s)S(s)[[ 00 ~ 1 I[W;(s)g(s)S(s)lloc ~ 1
42
SISO SYSTEMS
NOMINAL PERFORMANCE
spccif]c type of uncertainty description. This was the case with the classical phase and gain margins. The robust stability conditions in Table 2.1 can be interpreted also as stability margins. Take the case of multiplicative uncertainty and suppose we bound it as l8ml < Ym, with Ym a positive real number. Then it is easy to prove that the equivalent robust stability condition for this new set of models is the following: 1 IIT(s)W(s)lloo :S:Ym
(2.40)
The above means that IIT(s)W(s)lloo can be interpreted as a stability margin for the set of models with multiplicative dynamic uncertainty in the same way gm is the stability margin for a set of models with gain uncertainty. This is so because the infinity norm of this particular function gives the measure of how much dynamic multiplicative uncertainty Ym can be tolerated before there exists at least one model in the set that is closed-loop unstable. It follows that the controller that yields the largest stability margin (with respect to multiplicative uncertainty) can be found by solving the following optimization problem: inf
stabilizing k(s)
IIT(s)W(s)llou
(2.41)
The above is an 7-l"" optimal control, which will be analyzed in detail in Chapter 6.
2.5
NOMINAL PERFORMANCE
Performance will be defined in the frequency domain in terms of the sensitivity functions, according to the compromises stated in Chapter 1. First, the classical and modern control concept of performance as rejection (tracking) of known disturbances and/or noise (references) is stated. Based on the practical limitations of this approach, we state a more realistic definition of performance as rejection (tracking) of sets of disturbances and/or noise (references).
2.5.1
Known Disturbance/ Noise/Refere nce
In classical control theory, a m~asure of performance_ of a closed-loop system is based onlts- ability~tojeject (in steady stat-e) known d~stur~ances, noise, or measureil:ient: e~~rors~- ~1ilch may appear a( different parts of the' loop, that is, sensors,- actua-tors, or outputs. In this context, we define a known signal as one having a particular form (sine, step, impulse, etc.), which is known beforehand by the designer, although it is not known at what particular
43
time it will disturb the system. Similarly, a measure of performance may be posed as the ability of the loop to follow known reference signals with zero steady-state error. It is a well known fact that rejection of exogenous disturbances and tracking references are equivalent problems. If we consider input signals that are polynomial in time, then we can classify stable systems according to the highest degree of the input that can be tracked with finite steady-state error. An internally stable system is said to be of type n if it can track (or reject)'a-poh711omiafinp-tit ()f degree uptn::!:.CW~~Z~ro)tea<:Jy~ state error~-Ifls-easy-to show-thata type-ii FDLTf'system must satisfy the c~ndition lims~o sng(s )k(s) = K fc 0. For instance, in order to track a step input (or reject a step disturbance), the system must be at least of type 1 (i.e., lim,~ 0 sg(s)k(s) ~ Kv fc 0). Similarly, to track a ramp reference (or reject a ramp disturbance), the system must be at least of type 2 (limHo s 2g(s )k(s) ~ Ka fc 0). In modern control theory, the same concept of performance has been used: rejection of known disturbances in the state or output of the system or tracking a known reference signal. In addition, the concept of optimal control is introduced. In this framework the controller seeks to minimize a certain functional, which quantifies the compromise between tracking (rejection, stabilization) speed and the control signal energy. It is possible to state this optimization problem in both a deterministic and a stochastic context. In the latter, the perturbing signal is considered as a stochastic process of known covariance. In either case, the optimal controller that minimizes the functional will remain optimal as long as the disturbance or the reference signal matches exactly the assumptions made in the design process. If this hypothesis is not met, there is no guarantee of optimal, or even "good," disturbance rejection or tracking [100]. , We may conclude that, in both cases, the fact that the designer should have a clear knowledge of the disturbance, noise, or reference to be tracked poses a serious constraint. If he/she designs for the rejection of a particular signal, but it turns out that the disturbing signal is different, performance could seriously be degraded. In the same case, if the design has been performed by an optimization method, the performance no longer will be optimal. Conceptually, this is the same limitation we found for closed-loop stability. If we stabilize a nominal model, there is no guarantee that the closed loop will remain stable if the model is changed. For these reasons, classical and modern control techniques require a clear knowledge of the nominal plant model and the external signals for correct (or optimal) stabilization and performance. In practice, the designer does not have such detailed information. For this reason, the assumptions on the system and external signals should be relaxed. For the case of uncertainty in the system description, the approach pursued in the last section was to consider a family of models, rather than a single nominal model. Similarly, in the case of performance, a family of disturbances, noise, or references will be considered. An example of a practical situation
44
NOMINAL PERFORMANCE
SISO SYSTEMS
t(•) <>--
l:(•)
r-------.
g(•)
more, there could be situations where there is a certain a priori knowledge of the frequency contents of the disturbances. The frequency range where S(s) needs to be "small" or the frequency content of the disturbances can be represented by the weights Wy(s) and Wd(s), respectively. These weights are dynamic systems, which represent the knowledge of the frequency bands of interest for performance and the disturbance frequency content. Both can be incorporated into the block diagram of the system as in Figure 2.12. Our next step is to define precisely the meaning of "small" S(s). The size of a transfer function, in particular the sensitivity function, will be measured by its induced norm. For a general LTI operator A : x _, A * x the induced norm is defined as follows:
'II
-~
Figure 2.10. Feedback loop with output disturbance.
where this relaxed assumption is necessary is the case of robotic manipulators, when different trajectories need to be tracked in situations where the workspace is changing with time. Also, we could have sinusoidal disturbances with frequencies contained in a certain uncertainty band, or even less information, as the case of energy-bounded signals. In the next section we present the performance analysis when defined with respect to a family of external signals, acting on the nominal model of the system.
2.5.2
Bounded Disturbances at the Output
Consider the block diagram of Figure 2.10, with output y(s) = S(s)d(s) = [1 + g(s)k(s)r 1 d(s). If the performance objective is to minimize the effect of the disturbance d(s) at the output y(s), a stabilizing controller that makes S(s) as "small" as possible needs to be designed. The trivial solution to this problem is k(s) --. oo, so that S(s) --> 0, but there is no guarantee of nominal stability. Furthermore, as mentioned in the introductory chapter, a fundamental constraint of any feedback loop is the equation S(s) + T(s) = 1. Therefore in this case we would have T(s) --> 1 at all frequencies. According to condition (2.14) of the last section, t_bisirnpJjes that robust stability can be guaranteed only if the uncertainty in the plant model is less than 100% error --- frequencies . . ar__all
-
~--
· As a consequence, we should seek a controller that makes S(s) "small" in a certain frequency range of interest for the particular application on hapd (see Figure 2.11). ~
(2.42) In particular, the operation * will be equivalent to convolution, if both input and output are time signals, or product, in the case where they are represented by their Laplace transforms. Therefore the induced norm will depend entirely on the norms we adopt to measure both the input and the output. For convenience, in most of this text, we will adopt the energy of the signals as a measure of their size. In this case, according to Parseval's theorem, for both representations of a signal, time or frequency, their norm will be the same, that is, llx(t)ll2 = llx(s)lb With this in mind, we define nominal performance as follows: Definition 2.3 Nominal performance of the feedback loop of Figure 2.12 is achieved if and only if the weighted output remains bounded by unity, that is, - 11Wy(s)y(s)il2::; 1, for all disturbances in the set {dE £2, lldll2::; 1}, and for all other external inputs to the system equal to zero.
Without loss of generality, we have considered unitary bounds in both cases, because any other bound can be absorbed into the weights Wy(s) and Wd(s), by linearity.
~ee_gs.J.o_Q_e_~<;:~ieved~w fr~~~tion..contrQ(_o~ge mecha.nica]_§Y.§!~m~_-witl!
very low ~esona1:1_c~_ f~e
;-
o--
J:(•)
r---.
g(•)
We~(•)
J(•)
~(·)
w,(•) f-+
w
Figure 2.11. Desired frequency distribution for S(s).
45
Figure 2.12. Augmented feedback loop with performance weights.
46
SISO SYSTEMS
NOMINAL PERFORMANCE
Checking nominal performance by using Definition 2.3 directly requires a search over all bounded £ 2 disturbances, which is clearly not possible. Hence, as in the case of robust stability, it is necessary to find a computationally verifiably equivalent condition. This condition will be obtained by exploiting the relationship between the £ 2 to £ 2 induced norm of a LTI system g and its frequency response. Theorem 2.2 The feedback system of Figure 2.12 achieves nominal performance, as defined in Definition 2.3, if and only if
IIWy(s)S(s)Wd(s)lloo ~sup IWy(Jw)S(Jw)Wd(Jw)l ::; 1
Proof. The operator that maps the input signal d(s) to the weighted output Wy(s)y(s) is Wy(s)S(s)Wd(s) . The induced norm from £ 2 to £ 2 is the infinity norm (see Appendix A). Therefore sup IIWyy/1 2 lldll2:':1
=
11Wyy//L: 2 ~.c 2
::;
1
(2.44) (2.45)
Hence nominal performance is equivalent to equation (2.43).
0
Note that this condition is similar to the one for robust stability (2.14), although applied to a different transfer function. Nevertheless, there is an important difference between both conditions. The one for robust stability can be interpreted qualitative/ . In other words, ~rvaTe close - oop s a e, or there is at leasioiie-mo el that is not. There 1s no "gradual"lioun diuy separafi0If1Jefween the set thaCsatisfies (2.14) and its complement. Instead, no111in~l_perfQrrnance can gradually be relaxed, since it is_<J.__q__uantitative pro_perty of the closed l()_
0, or equivalently IIGIIoo < 1. Stability of A follows from the Lyapunov theory and the facts that X> 0 and cr C + Lr L > 0. Equivalence of the ARI (6.92) and the LMI (6.91) follows from Schur's complement formula. Finally, I- Dr D > 0 is a necessary condition for (6.91) to hold. o Lemma 6.9 Given a symmetric matrix 'I' E !Rmxm and two matrices P and Q of column dimension m, the following statements are equivalent: 1. There exists some matrix 0 of compatible dimensions such that
(6.99)
(6.106)
or equivalently,
< 0 and WJ'f!WQ < 0, where Wp and WQ are any matrices whose columns span the null space of P and Q, respectively.
2. WJ'f!Wp
(6.100) Since A is stable and the pair (AN, [ C~ y'E"I f) is observable it follows that X > 0. This completes the first part of the proof. On the other hand, suppose that there exists a positive definite solution X to the ARI (6.92). Let Q > 0 be such that (6.101) Using the similarity transformation
Proof. (1 => 2) follows immediately by pre- and postmultiplying (6.106) by WJ and Wp or WJ and WQ. The converse can be shown through some simple, albeit lengthy, algebraic manipulations considering bases for the kernels of P and Q and invoking Schur's complement (see [124] for details). o
6.4.1
Characterization of All Output Feedback 1t00 Controllers
In the sequel we will assume that D 22 = 0,4 and we will consider controllers having the following state-space realization: (6.107)
we have that