From the preceding section on prediction, one might get the impression that we have favored minimum-delay signals and have slighted nonminimum-delay ones. However, when we look at the overall prediction problem rather than at the restricted problem given in the preceding section, we will correct this impression.
In the foregoing section, we considered only the prediction of the tailgate. The minimum-delay signal and the tailgate of the advanced signal both started at time index , and there was no concern for any values for . The signal is causal, so it does not have any nonzero values before , but the advanced signal does have nonzero values in the range . In fact, the advanced signal starts at , whereas the signal starts at . Because the prediction filter is causal, no output can occur before , the start of the input signal. Thus, the segment of the advanced signal from to cannot appear at the output of the filter and thus represents a front-end prediction error. However, as we have seen in the preceding section, perfect prediction of the input signal is obtained at and beyond, provided that the input signal is minimum delay.
In summary, the minimum-delay signal is the input to the causal prediction system. We found the output of the prediction system to be the advanced signal . Because the prediction system is causal, we cannot obtain the front end from to as output. However, we can obtain exactly the tailgate from at the output of the filter. This front end of the advanced signal represents the front-end prediction error, and this error cannot be reduced.
Let us discuss notation. If the input of the prediction system is , then the actual output is denoted by . The desired output is the advanced signal , where . Thus, the actual output represents the predicted value of the input signal. Both the input and the predicted value occur at time index k. That is, the subscript in indicates the time of occurrence. The prediction error that occurs at time index k is denoted by
|
|
(152)
|
The notation should be read as “the prediction error (that is obtained at the present time k) in predicting the future value (that will not be known until the future time ).” In the symbol , the tilde stands for prediction error, the subscript k stands for the time at which the prediction occurs, and stands for the prediction distance. That is, is the prediction error made in estimating the unknown future value , the prediction being made at the present time k.
Let us now examine the prediction error in more detail. Suppose that a minimum-delay digital signal (Table 4, first row below the column headings) is the input to the prediction system
|
|
(153)
|
where Z denotes the one-sided Z-transform (equation 27). Note that . The advanced signal is (Table 4, second row). The actual output has the Z-transform given by
|
|
(154)
|
Thus, the predicted value (Table 4, third row) is the causal tailgate of the advanced input ; that is, the predicted values are …, Hence, the prediction error (Table 3, fourth row) is the anticausal front end of the advanced input ; that is, the prediction error is , . Therefore, the error energy is the front-end energy of the minimum-delay input; that is,
|
|
(155)
|
Table 4. Minimum-delay signal, advanced signal, predicted values, and prediction error.
Time k
|
|
|
|
...
|
–2
|
–1
|
0
|
1
|
2
|
...
|
Minimum-delay signal
|
0
|
0
|
0
|
...
|
0
|
0
|
|
|
|
...
|
Advanced signal
|
0
|
|
|
...
|
|
|
|
|
|
...
|
Predicted values
|
0
|
0
|
0
|
...
|
0
|
0
|
|
|
|
...
|
Prediction error
|
0
|
|
|
...
|
|
|
0
|
0
|
0
|
...
|
This is the minimum possible error energy that can be obtained by a causal linear time-invariant prediction system because this error cannot be reduced.
Next let us convert the minimum-delay signal into the nonminimum-delay signal by passing through a nontrivial all-pass system ; that is,
|
|
(156)
|
We also pass the predicted value , as well as the prediction error , through the same all-pass system; that is, we have
|
|
(157)
|
Note that and are, respectively, the causal tailgate and the anticausal front end of the advanced signal . That is, the identity “desired output equals actual output plus error,” or
|
|
(158)
|
represents a clean split of into its causal and anticausal parts. This clean split happens only in the case of a minimum-delay signal . Such a clean split does not happen for . That is, in the identity
|
|
(159)
|
the actual output is causal, but the prediction error has both a causal component and an anticausal component. The anticausal component, of course, is the anticausal front end of the advanced signal . This anticausal front end cannot be reached by a causal prediction system, so it must represent prediction error.
However, the causal tailgate of the advanced signal cannot be predicted perfectly, and as a result, the prediction error has a causal component also. However, the all-pass energy-delay theorem (equation 88) tells us that both prediction errors — that is, both and have the same energy.
|
|
(160)
|
Thus, we have the following prediction-system theorem (Robinson, 1963, theorem 10 (g), p. 206). Let be a stable causal signal with canonical representation , where is all-pass and is minimum delay. Then we can obtain the predicted value for prediction distance by passing into the prediction system
|
|
(161)
|
The predicted value is equal to the output of the all-pass system with the causal tailgate of as input; that is,
|
|
(162)
|
The prediction error
|
|
(163)
|
is equal to the output of the all-pass system with the input being the anticausal front end of ; that is,
|
|
(164)
|
The prediction-error energy is equal to the front-end energy of the minimum-delay signal; that is,
|
|
(165)
|
As an example of the theorem, let us predict the stable causal signal
|
|
(166)
|
for a prediction distance . First, we find its Z-transform:
|
|
(167)
|
Thus, we can write in the form
|
|
(168)
|
where the first factor is the all-pass system and the second factor is the minimum-delay system . Thus, the minimum-delay signal is
|
|
(169)
|
Therefore, the least-error-energy-predicting system is
|
|
(170)
|
which is merely the constant a. Thus, the predicted value of is obtained by multiplying by the constant a; that is,
|
|
(171)
|
The prediction error is
|
|
(172)
|
The two components are the front-end prediction error
|
|
(173)
|
and the tailgate prediction error
|
|
(174)
|
The error energy is the sum of
|
|
(175)
|
Thus, the total prediction-error energy is , which is unity.
As a check, let us verify the results of the foregoing example by using another approach. We now want to predict the minimum-delay signal and pass the result through the all-pass filter to predict . Again, we let . The prediction of the minimum-delay signal is
|
|
(176)
|
The prediction error is
|
|
(177)
|
Respectively, the two components are the front-end prediction error (for )
|
|
(178)
|
and the tailgate prediction error (for k = 0, 1, 2, …)
|
|
(179)
|
This result confirms our knowledge that the tailgate prediction error of a minimum-delay signal is zero, and the entire prediction error is the front-end prediction error. The prediction of the signal can be obtained by passing the prediction through the all-pass filter; that is,
|
|
(180)
|
or
|
|
(181)
|
From equation 168, the all-pass system is
|
|
(182)
|
which can be expanded as
|
|
(183)
|
which is
|
|
(184)
|
Thus, the all-pass signal is
|
|
(185)
|
Therefore, from equations 181 and 185, the prediction is
|
|
(186)
|
Likewise, the prediction error is obtained by passing the prediction error through the all-pass operator; that is,
|
|
(187)
|
Because consists of only the front-end component
|
|
(188)
|
we have
|
|
(189)
|
which is
|
|
(190)
|
In this case, we see that the prediction error is given by the advanced all-pass signal. Thus, the front-end prediction error is , which is the same as equation 173. The tailgate prediction error is , which is the same as equation 174. The total prediction-error energy is equal to the front-end prediction-error energy of the minimum-delay signal; that is, .
Continue reading
Also in this chapter
External links
find literature about Digital prediction error
|
|
|
|
|
|
|
|