Chapter 2 Additive Error Reduction
© National Instruments Corporation 2-17 Xmath Model Reduction Module
Thus, the penalty for not being allowed to include Gu in the approximation
is an increase in the error bound, by σni + 1 + ... + σns. A number of
theoretical developments hinge on bounding the Hankel singular values of
Gr(s) and Gu(–s) in terms of those of G(s). With Gr(s) of order ni–1
, there
holds:
The transfer function matrix Gu(s), being unstable, does not have Hankel
singular values; however, Gu(–s) (which is stable) does have Hankel
singular values. They satisfy:
In most cases, the Hankel singular values of G(s) are distinct. If,
accordingly,
then Gr has degree (i–1), Gu has degree nsi and
(2-4)
Observe that the bound (Equation2-3 or Equation 2-4), which is not
necessarily obtained, is one half that applying for both balanced truncation
(as implemented by balmoore( ) or, effectively, by redschur( )); it
also is one half that obtained when applying mreduce to a balanced
realization. In general, the D matrices of G and Gr are different, that is,
G() Gr() (in contrast to balmoore( ) and redschur( )). Similarly,
G(0) Gr(0) in general (in contrast to the result when mreduce is applied
to a balanced realization). The price paid for obtaining a smaller error
bound overall through Hankel norm reduction is that one no longer
(normally) secures zero error at ω = or ω = 0.
Two special cases should be noted. If nsr = 0 then Gr(s) is a constant only.
This constant can be added onto Gu(s), so that G(s) is then being
approximated by a totally unstable transfer function matrix, with error σ1;
this type of approximation is known as Nehari approximation. The second
special case arises when nsr = nm–1
(or NS –1 if the smallest Hankel
singular value has multiplicity 1). In this case, Gu(s) becomes a constant,
which can then be lumped in with Gr(s), so that G(s), of degree NS, is then
σkGr
kG()k( 12ni1
,, ,=
σkGus()[]σ
nik+G()
GGrGu
σi
=
GG
r
σiσi1+... σns
+++=