Instruments Corporation. National Instruments respects the intellectual property of others, and we ask our users to do the same. NI software is protected by copyright and other intellectual property laws. Where NI software may be used to reproduce software or other materials belonging to others, you may use NI software only to reproduce materials that you may reproduce in accordance with the terms of any applicable license or other legal restriction.
Page 4
Conventions The following conventions are used in this manual: Square brackets enclose optional items—for example, [ brackets also cite bibliographic references. » The » symbol leads you through nested menu items and dialog box options to a final action. The sequence File»Page Setup»Options directs you to pull down the File menu, select the Page Setup item, and select Options from the last dialog box.
Chapter 1 Introduction • • Bibliographic References Throughout this document, bibliographic references are cited with bracketed entries. For example, a reference to [VODM1] corresponds to a paper published by Van Overschee and De Moor. For a table of bibliographic references, refer to Appendix A, Bibliography. Commonly Used Nomenclature This manual uses the following general nomenclature: •...
Chapter 1 Introduction As shown in Figure 1-1, functions are provided to handle four broad tasks: • • • • Functions Xmath Model Reduction Module Model reduction with additive errors Model reduction with multiplicative errors Model reduction with frequency weighting of an additive error, including controller reduction Utility functions Additive Error...
Chapter 1 Introduction • • • Nomenclature This manual uses standard nomenclature. The user should be familiar with the following: • • • • • • • • • • Xmath Model Reduction Module approximation, in which the L by Parseval’s theorem, the L norm of the transfer-function error along the imaginary axis) serves as the error measure Markov parameter or impulse response matching, moment matching,...
Chapter 1 Introduction • • • • • Hankel Singular Values If P, Q are the controllability and observability grammians of a transfer-function matrix (in continuous or discrete time), the Hankel Singular Values are the quantities • • • Xmath Model Reduction Module The controllability grammian is also E[x(t)x (t)] when the system x ·...
Chapter 1 Introduction Internally Balanced Realizations Suppose that a realization of a transfer-function matrix has the controllability and observability grammian property that P = Q = some diagonal . Then the realization is termed internally balanced. Notice that the diagonal entries that is, they are the Hankel singular values.
Page 19
Chapter 1 Introduction and also: Usually, we expect that, in the sense that the intuitive argument hinges on this, but it is not necessary. Then a singular perturbation is obtained by replacing means that: Accordingly, Equation 1-2 may be an approximation for Equation 1-1. This means that: •...
Page 21
Chapter 1 Introduction nonnegative hermitian for all . If Normally one restricts attention to (·) with lim is that, given a rational, nonnegative hermitian (j ) with • • • In the scalar case, all zeros of W(s) lie in Re[s] 0, or in Re[s]<0 if (j )>0 for all .
Page 23
Chapter 1 Introduction multiplicative reduction, as described in Chapter 4, Error Reduction, and Chapter 4, these arguments more fully. Xmath Model Reduction Module Reduction, is a sound approach. Chapter 3, Frequency-Weighted Error 1-16 Frequency-Weighted Multiplicative Error Reduction, develop ni.com...
Chapter 2 Additive Error Reduction Truncation of Balanced Realizations A group of functions can be used to achieve a reduction through truncation of a balanced realization. This means that if the original system is and the realization is internally balanced, then a truncation is provided by The functions in question are: •...
Chapter 2 Additive Error Reduction proper. So, even if all zeros are unstable, the maximum phase shift when moves from 0 to magnitude at frequencies when the phase shift has moved past (2n – 3) /2, approximation of G by G approximation may depend somehow on removing roughly cancelling pole-zeros pairs;...
Chapter 2 Additive Error Reduction with controllability and observability grammians given by, in which the diagonal entries of the first diagonal entry of defined by: The attractive feature [LiA89] is that the same error bound holds as for balanced truncation. For example, Although the error bounds are the same, the actual frequency pattern of the errors, and the actual maximum modulus, need not be the same for reduction to the same order.
Chapter 2 Additive Error Reduction Further, the optimal for this second type of approximation. In Xmath Hankel norm approximation is achieved with The most comprehensive reference is [Glo84]. balmoore( ) [SysR,HSV,T] = balmoore(Sys,{nsr,bound}) a continuous system and then optionally truncates it to provide a balance reduced order system using B.C.
Page 33
Chapter 2 Additive Error Reduction The actual approximation error for discrete systems also depends on frequency, and can be large at that is, the actual error magnitude as a function of the error bound, so that the bound can only be a guide to the selection of the reduced system dimension.
Chapter 2 Additive Error Reduction redschur( ) [SysR,HSV,slbig,srbig,VD,VA] = redschur(Sys,{nsr,bound}) Chiang) to calculate a reduced version of a continuous or discrete system without balancing. Algorithm The objective of the latter is being used to reduce a system; this means that if the same the same transfer function matrix.
Chapter 2 Additive Error Reduction For the discrete-time case: When choose the number of states in is as small as possible. If the desired error bound is smaller than 2 no reduction is made. In the continuous-time case, the error depends on frequency, but is always zero at single-input, single-output, with alternating poles and zeros on the real axis, the bound is tight.
Page 39
Chapter 2 Additive Error Reduction Order of By abuse of notation, when we say that G is reduced to a certain order, this corresponds to the order of G approximation is most frequently thrown away. The number of eliminated states (retaining G This number is always the multiplicity of a Hankel singular value.
Chapter 2 Additive Error Reduction being approximated by a stable G just the error bound) satisfying: is optimal, that is, there is no other G Note Onepass Algorithm The first steps of the algorithm are to obtain the Hankel singular values of G(s) (by using G(s) is checked in this process.) If the user has specified not coincide with one of 0,n...
Chapter 2 Additive Error Reduction to choose the D matrix of G This is done by using a separate function the unstable output of multipass Hankel reduction algorithm, described further below, K(s) is reduced to the constant K that is, if it is larger than, then one chooses: This ensures satisfaction of the error bound for G –...
Chapter 2 Additive Error Reduction We use sysZ to denote G(z) and define: bilinsys=makepoly([-1,a]/makepoly([1,a]) as the mapping from the z-domain to the s-domain. The specification is reversed because this function uses backward polynomial rotation. Hankel norm reduction is then applied to H(s), to generate, a stable reduced order approximation H Here, the s the same:...
Chapter 3 Multiplicative Error Reduction Multiplicative Robustness Result Suppose C stabilizes that G has the same number of poles in Re[s] then C stabilizes G. This result indicates that if a controller C is designed to stabilize a nominal or reduced order model controller also will stabilize the true plant G.
Chapter 3 Multiplicative Error Reduction The objective of the algorithm is to approximate a high-order stable transfer function matrix G(s) by a lower-order G (g-gr)inv(g) prescribed order. Restrictions This function has the following restrictions: • • • Algorithm The modifications described in this section allow you to circumvent the previous restrictions.
Page 52
Chapter 3 Multiplicative Error Reduction Xmath Model Reduction Module –1 With G(s) = D + C(sI – A) B and stable, with DD´ nonsingular and G(j ) G'(–j ) nonsingular for all , part of a state variable realization of a minimum phase stable W(s) is determined such that W´(–s)W(s) = G(s)G´(–s) with The state variable matrices in W(s) are obtained as follows.
Chapter 3 Multiplicative Error Reduction state-variable representation of G. In this case, the user is effectively asking for G they must all be included or all excluded from the model, that is, The number of as mentioned already, these zeros remain as zeros of G error conjunction with the For nonsquare G with more columns than rows, the error formula is:...
Chapter 3 Multiplicative Error Reduction which also can be relevant in finding a reduced order model of a plant. The procedure requires G again to be nonsingular at j -axis poles. It is as follows: Imaginary Axis Zeros (Including Zeros at We shall now explain how to handle the reduction of G(s) which has a rank drop at s = [Saf87].
Page 58
Chapter 3 Multiplicative Error Reduction Any zero (or rank reduction) on the j -axis of G(s) becomes a zero (or rank reduction) in Re[s] > 0 of at infinity, this is shifted to a zero (or rank reduction) of –1 [–b zero (or rank reduction) on this circle, reduction) on the j -axis, including...
Chapter 3 Multiplicative Error Reduction There is one potential source of failure of the algorithm. Because G(s) is stable, on diameter (but still in the left half plane of course)—and this appears possible in principle—G be encountered, a smaller value of should be used. Related Functions redschur() mulhank( )
Page 62
Chapter 3 Multiplicative Error Reduction Xmath Model Reduction Module eigenvalues of A – B/D * C with the aid of of the is less than eigenvalues Next, a stabilizing solution Q is found for the following Riccati equation: – The function singriccati( ) condition of G(j ) will normally result in an error message.
Chapter 3 Multiplicative Error Reduction Note The expression 1 – F ˆ s is all pass; this property is not always secured in the multivariable case – when ophank( ) Consequences of Step 5 and Justification of Step 6 A number of properties are true: •...
Chapter 3 Multiplicative Error Reduction Error Bounds The error bound formula (Equation 3-3) is a simple consequence of iterating (Equation 3-5). To illustrate, suppose there are three reductions Also, Similarly, Then: The error bound (Equation 3-3) is only exact when there is a single reduction step.
Page 68
Chapter 3 Multiplicative Error Reduction The values of G(s) along the j -axis are the same as the values of around a circle with diameter defined by [a – j0, b real axis (refer to Figure 3-2). Also, the values of are the same as the values of G(s) around a circle with diameter defined by [–b We can implement an arbitrary bilinear transform using the...
Chapter 3 Multiplicative Error Reduction Multiplicative approximation of multiplicative approximation of G(s) around a circle in the right half plane, touching the j -axis at the origin. For those points on the j -axis near the circle, there will be good multiplicative approximation of G(j ). If a good approximation of G(s) over an interval [–j , j ] it is desired, then –1 Notice that the number of zeros of G(s) in the circle of diameter (0,...
Chapter 4 Frequency-Weighted Error Reduction (so that controller reduction, which is now described. Controller Reduction Frequency weighted error reduction becomes particularly important in reducing controller dimension. The LQG and controllers which have order equal to, or roughly equal to, the order of the plant.
Page 74
Chapter 4 Frequency-Weighted Error Reduction Most of these ideas are discussed in [Enn84], [AnL89], and [AnM89]. The function choices of error measure, namely E V(j ). The first four are specifically for controller reduction, whereas the last is not aimed specifically at this situation. Several features of the algorithms are: •...
Page 76
Chapter 4 Frequency-Weighted Error Reduction Nothing has been said as to how of the reduction, C been specified. When C(s) has been designed to combine a state estimator with a stabilizing feedback law, it turns out that there is a natural choice for As for the reduction procedure, one possibility is to use a weight based on the spectrum of the input signals to G—and in case C(s) has been determined by an LQG optimal design, this spectrum turns out to be white,...
Page 78
Chapter 4 Frequency-Weighted Error Reduction The left MFD corresponds to the setup of Figure 4-3. The setup of Figure 4-2 suggests approximation of: whereas that of Figure 4-3 suggests approximation of: In the LQG optimal case, the signal driving K (the innovations process);...
Page 80
Chapter 4 Frequency-Weighted Error Reduction (Here, the W Some manipulation shows that trying to preserve these identities after approximation of D W G G [LAL90]. In all four Hankel singular values, and to use them as a guide to the likely quality of approximation.
Page 82
Chapter 4 Frequency-Weighted Error Reduction This rather crude approach to the handling of the unstable part of a controller is avoided in wtbalance( ) of controllers. Table 4-2. Error Measure Interpretation for wtbalance Type A stability robustness argument, based on breaking the loop at the controller "input stab"...
Page 84
Chapter 4 Frequency-Weighted Error Reduction and the observability grammian Q, defined in the obvious way, is written as It is trivial to verify that observability gramian of C The weighted Hankel singular values of C eigenvalues of P singular values because P rather a weighted controllability gramian.
Chapter 4 Frequency-Weighted Error Reduction Defining and Reducing a Controller Suppose P(s) = C(sI – A) A controller for the plant P(s) can be defined by (with u the plant input and y the plant output). The associated series compensator under unity negative feedback is and this may be written as a left or right MFD as follows: The reduction procedures rationales.
Chapter 4 Frequency-Weighted Error Reduction Controller reduction proceeds by implementing the same connection rule but on reduced versions of the two transfer function matrices. When K spectrum of the signal driving K It follows that to reflect in the multiple input case the different intensities on the different scalar inputs, it is advisable to introduce at some stage a weight Algorithm...
Chapter 4 Frequency-Weighted Error Reduction Additional Background A discussion of the stability robustness measure can be found in [AnM89] and [LAL90]. The idea can be understood with reference to the transfer functions E(s) and E possible to argue (through block diagram manipulation) that •...
Chapter 5 Utilities The gramian matrices are defined by solving the equations (in continuous time) and, in discrete time The computations are effected with which is time-consuming. The Hankel singular values are the square roots of the eigenvalues of the product. Related Functions lyapunov() stable( )
Chapter 5 Utilities After this last transformation, and with it follows that By combining the transformation yielding the real ordered Schur form for A with the transformation defined using X, the overall transformation T is readily identified. In case all eigenvalues of A are stable or all are unstable, this is flagged, and T = I.
Page 97
Chapter 6 Tutorial A minimal realization in modal coordinates is C(sI – A) ⎧ diag ⎨ ⎩ The specifications seek high loop gain at low frequencies (for performance) and low loop gain at high frequencies (to guarantee stability in the presence of unstructured uncertainty).
Page 99
Chapter 6 Tutorial recovery at low frequencies; there is consequently a faster roll-off of the loop gain at high frequencies than for Figure 6-2 displays the (magnitudes of the) plant transfer function, the compensator transfer function and the loop gain, as well as the constraints; evidently the compensated plant meets the constraints.
Page 101
Chapter 6 Tutorial Figures 6-3, 6-4, and 6-5 display the outcome of the reduction. The loop gain is shown in Figure 6-3. The error near the unity gain crossover frequency may not look large, but it is considerably larger than that obtained through frequency weighted reduction methods, as described later.
Chapter 6 Tutorial wtbalance The next command examined is [syscr,ysclr,hsv] = wtbalance(sys,sysc,"match",2) Recall that this command should promote matching of closed-loop transfer functions. The weighted Hankel singular values are: The relative magnitudes suggest that reduction to order 2 will produce less of an approximation error here (in the closed-loop transfer function) than a reduction to this order through implicit criterion is the unweighted error in approximating the controller...
Chapter 6 Tutorial fracred fracred stab" The options produce instability. Given the relative magnitudes of the Hankel singular values, this is perhaps not surprising. Figures 6-16, 6-17, and 6-18 illustrate the results using Generate Figure 6-16: svalsrol = svplot(sys*syscr,w,{radians}) plot(svalsol, {keep}) f16=plot(wc,constr,{keep,!grid, legend=["reduced","original","constrained"], title="Open-Loop Gain Using fracred()"})
Page 117
Chapter 6 Tutorial Generate Figure 6-18: tvec=0:(140/99):140; compare(syscl,sysclr,tvec,{type=7}) f18=plot({keep,legend=["original","reduced"]}) The end result is comparable to that from "match" We can create a table to examine the values of the Hankel singular values based on different decompositions approaches. set precision 3 set format fixed # we set a smaller precision here so we could fit [syscr, hsvrs] = fracred(sys, Kr, Ke, "right stab",2);...
Page 120
Appendix A Bibliography [GrA90] M. Green and BDO Anderson, “Generalized balanced stochastic truncation,” Proceedings for 29th CDC, 1990. [Gre88] M. Green, “Balanced stochastic realization,” Linear Algebra and Applications, Vol. 98, 1988, pp. 211–247. [Gre88a] M. Green, “A relative error bound for balanced stochastic truncation,” IEEE Transactions on Automatic Control, Vol.
Page 122
Appendix A Bibliography J. C. Doyle. “Analysis of Feedback Systems with Structured Uncertainties.” IEEE [Doy82] Proceedings, November 1982. [DWS82] J. C. Doyle, J. E. Wall, and G. Stein. “Performance and Robustness Analysis for Structure Uncertainties,” Proceedings IEEE Conference on Decision and Control, pp. 629–636, 1982.
Technical Support and Professional Services Visit the following sections of the National Instruments Web site at ni.com • • • If you searched your local office or NI corporate headquarters. Phone numbers for our worldwide offices are listed at the front of this manual. You also can visit...
Need help?
Do you have a question about the NI MATRIXx Xmath and is the answer not in the manual?
Questions and answers