Chapter 2 Additive Error Reduction
Xmath Model Reduction Module 2-10 ni.com
The actual approximation error for discrete systems also depends on 
frequency, and can be large at ω = 0. The error bound is almost never tight, 
that is, the actual error magnitude as a function of ω almost never attains 
the error bound, so that the bound can only be a guide to the selection of the 
reduced system dimension. 
In principle, the error bound formula for both continuous and discrete 
systems can be improved (that is, made tighter or less likely to overestimate 
the actual maximum error magnitude) when singular values occur with 
multiplicity greater than one. However, because of errors arising in 
calculation, it is safer to proceed conservatively (that is, work with the error 
bound above) when using the error bound to select nsr, and examine the 
actual error achieved. If this is smaller than required, a smaller dimension 
for the reduced order system can be selected. 
mreduce( ) provides an alternative reduction procedure for a balanced 
realization which achieves the same error bound, but which has zero error 
at ω = 0. For continuous systems there is generally some error at ω = ∞, 
because the D matrix is normally changed. (This means that normally the 
approximation of a strictly proper system through mreduce( ) will not be 
strictly proper, in contrast to the situation with balmoore( ).) For discrete 
systems the D matrix is also normally changed so that, for example, a 
system which was strictly causal, or guaranteed to contain a delay (that is, 
D=0 ), will be approximated by a system SysR without this property. 
The presentation of the Hankel singular values may suggest a logical 
dimension for the reduced order system; thus if  , it may be 
sensible to choose nsr = k. 
With mreduce( ) and a continuous system, the reduced order system 
SysR is internally balanced, with the grammian  , so 
that its Hankel Singular Values are a subset of those of the original system 
Sys. Provided  , SysR also is controllable, observable, and 
stable. This is not guaranteed if  , so it is highly advisable to 
avoid this situation. Refer to the balmoore() section for mo re on th e 
balmoore( ) algorithm.
With mreduce( ) and discrete systems, the reduced order system SysR is 
not in general balanced (in contrast to balmoore( )), and its Hankel 
singular values are not in general a subset of those of Sys. Provided 
, the reduced order system SysR also is controllable, 
observable and stable. This is not guaranteed if  , so it is 
highly advisable to avoid this situation. For additional information about 
the balmoore( ) function, refer to the Xmath Help.
σkσk1+
»
diag σ1σ2...,σnsr
,,[]
σnsr σnsr 1+
>
σnsr σnsr 1+
=
σnsr σsrn 1+
>
σnsr σnsr 1+
=