 Research Article
 Open access
 Published:
Distributed Fusion Receding Horizon Filtering in Linear Stochastic Systems
EURASIP Journal on Advances in Signal Processing volumeÂ 2009, ArticleÂ number:Â 929535 (2009)
Abstract
This paper presents a distributed receding horizon filtering algorithm for multisensor continuoustime linear stochastic systems. Distributed fusion with a weighted sum structure is applied to local receding horizon Kalman filters having different horizon lengths. The fusion estimate of the state of a dynamic system represents the optimal linear fusion by weighting matrices under the minimum mean square error criterion. The key contribution of this paper lies in the derivation of the differential equations for determining the error crosscovariances between the local receding horizon Kalman filters. The subsequent application of the proposed distributed filter to a linear dynamic system within a multisensor environment demonstrates its effectiveness.
1. Introduction
The concept of multisensor data fusion is the combination of data generated by a number of sensors in order to obtain more valuable data and perform inferences that may not be possible from a single sensor alone. This process has attracted growing interest for its potential applications in areas such as robotics, aerospace, and environmental monitoring, among others [1, 2].
In general, there are two fusion estimation methods commonly used to process the measured sensor data [3, 4]. If a central processor directly receives the measurement data of all local sensors and processes them in real time, the correlative result is known as the centralized estimation. However, this approach has some serious disadvantages, including bad reliability and survivability, as well as heavy communication and computational burdens.
The second method is called distributed estimation fusion, in which every local sensor is attached to a local processor. In this method, the processor optimally estimates a parameter or state of a system based on its own local measurements and transmits its local estimate to the fusion center where the received information is suitably associated to yield the global inference. The advantage of this approach is that the parallel structures would cause enlarge the input data rates and make easy fault detection and isolation [1â€“5]. Recently, various distributed and parallel versions of standard Kalman filters have been reported for linear dynamic systems within a multisensor environment [6â€“10].
To achieve a robust and accurate estimate of the state of a system under potential uncertainty, various techniques have been previously introduced and discussed. Among them, the receding horizon technique is popular and successful, due to its robustness against temporal uncertainty, and has been rigorously investigated. The receding horizon strategy was first introduced by Jazwinski, who labeled it as limited memory filtering [11]. The dynamic system without the process noise is believed to describe the efficiency of the idea through the maximum likelihood estimation scheme [11]. Following this, the optimal FIR filter for timevarying statespace models was suggested by W. H. Kwon et al. [12]. FIR filters make use of finite input and output measurements on the most recent time interval, called the receding horizon, or a horizon which is a moving, fixedsize estimation window. Because of the complicated structure of the FIR filter, a modified receding horizon Kalman FIR filter for linear continuoustime systems was proposed in [13]. As a general rule, the local receding horizon Kalman filters (LRHKFs) are typically more robust against dynamic model uncertainties and numerical errors than standard local Kalman filters, which utilize all measurements [14â€“17].
Distributed receding horizon fusion filtering for multiple sensors with equal horizon time intervals (horizon lengths) has also been proposed in [16]. In this case, all LRHKFs with the same horizon time interval, which are fused, utilize finite measurements over the most recent time interval [12â€“16].
In this paper, we consider the generalization of [16] for arbitrary, nonequal horizon lengths. Design of distributed filters for sensor measurements with nonequal horizon lengths is generally more complicated than for equal lengths due to a lack of common time intervals that contain all sensor data, making it impossible to design a centralized filtering algorithm. We propose using a distributed receding horizon filter for a set of local sensors with nonequal horizon lengths. Also, we derive the key differential equations for error crosscovariances between LRHKFs using different horizon lengths.
The remainder of this paper is organized as follows. The problem setting is described in Section 2. In Section 3, we present the main results pertaining to the distributed receding horizon filtering for a multisensor environment. Here, the key equations for crosscovariances between the local receding horizon filtering errors are derived. In Section 4, two examples for continuoustime dynamic systems within a multisensor environment illustrate the main results, and concluding remarks are then given in Section 5.
2. Problem Setting
Consider the linear continuoustime dynamic system with sensors:
where is the state, is the measurement, the system noise and the measurement noises , are uncorrelated white Gaussian noises with zero mean and intensity matrices and , respectively, and , , and are matrices with compatible dimensions. Also, the superscript denotes the th sensor, and is the total number of sensors.
The initial state , , is assumed to be Gaussian and uncorrelated with and ,
Our purpose, then, is to find the distributed fusion estimate of the state based on the overall horizon sensor measurements with different horizon time intervals , such that
3. Distributed Fusion Receding Horizon Filter
Now, we will show that the fusion formula (FF) [10, 17] is able to serve as the basis for designing a distributed fusion filter. A new distributed fusion receding horizon filter with nonequal horizon lengths(NEDFRHF) includes two stages. In the first stage, LRHKFs (estimates) are computed and then linearly fused at the second stage based on the FF.
First step (Calculation of LRHKFs)
According to (1) and (2), we have local dynamic subsystems with the state vector and local (individual) sensor measurement :
where the number of a local subsystem is fixed.
Next, let us denote the local receding horizon estimate of the state based on the individual sensor measurements by . To determine we can apply the optimal receding horizon Kalman filter to subsystem (4) [12â€“15] to obtain the following differential equations:
with the horizon initial conditions:
determined by the Lyapunov equations [15] on the interval :
Thus, we obtain the LRHKFs with the corresponding local error covariances
Second step (Fusion of LRHKFs)
To express the final NEDFRHF (estimate) for the state in terms of the LRHKFs , we use the FF. In this case,
where is the identity matrix, and are the timevarying weighted matrices determined by the mean square criterion.

(a)
The optimal weights satisfy the following linear algebraic equations:
(9)
and they can be explicitly written in the following form:
where is the th submatrix of the block matrix ,

(b)
The fusion error covariance , is given by
(11)
Therefore, (9)â€“(11), defining the unknown weights and fusion error covariance , depend on the local covariances , determined by (5), and the local crosscovariances
given in Theorem 2.
Theorem 2.
Without losing generality, let one assume that or . (a) The local crosscovariances (12) satisfy the following differential equations:
with the horizon initial conditions:

(b)
The covariance in (14) represents the nondiagonal element of the block covariancematrix :
(15)
at , described by the Lyapunov equation:
with the initial condition:
determined by (7).
The derivations of (13)â€“(17) are given in the appendix.
Thus, (5)â€“(17) completely define NEDFRHF.
In the particular case of equal horizon lengths (, ), the local crosscovariances (12) satisfy the following differential equations:
with the horizon initial conditions and gains determined by (5)â€“(7), respectively.
Remark 3.
The LRHKFs , can be separated for different types of sensors. In other words, each local estimate can be found independently of the other estimates. Therefore, LRHKFs can be implemented in parallel for different sensors (2).
Remark 4.
Note, however, that the local error covariances , and the weights may be precomputed, since they do not depend on the sensor measurements (3), but rather on the noise statistics and and the system matrices , , and , which are the part of the system model (1), (2). Thus, once the measurement schedule has been settled, the realtime implementation of NEDFRHF requires only the computation of the LRHKFs , and the final distributed fusion estimate .
4. Numerical Examples
In this section, two examples of continuoustime dynamic system with parametric model uncertainty are presented. In both cases, the local and final fusion estimates are biased. Nevertheless, these examples demonstrate the robustness of the proposed filter in terms of mean square error (MSE). The first example demonstrates the effectiveness of the distributed fusion receding horizon filter for different values of horizon lengths, and the second provides a comparison of the proposed filter with its nonreceding horizon version [17].
Example 5 (aircraft engine model).
Here, we verify NEDFRHFs using a linearized model of an aircraft engine taken from [13]. The corresponding dynamic model is written as
where is an uncertain model parameter, and is a white Gaussian noise. The initial values are , and The system noise intensity is and the uncertainty is for the interval .
The second coordinate , related to the aircraft engine turbine temperature, is observable through a measurement model having three identical local sensors, one of which is the main sensor, while the others are reserve sensors. We have
where , are white Gaussian noises with intensities , .
The LRHKFs are designed for different receding horizon lengths of , and . The simulation results of the distributed fusion receding horizon filters with nonequal (NEDFRHF) and equal (EQDFRHF) horizon lengths and LRHKF (LKF) are illustrated in Figures 1â€“4. All simulations were evaluated in terms of MSEs of 1000 Monte Carlo runs. Specifically, we focused on comparing the MSEs for the turbine temperature of the aircraft engine that directly contain the uncertainty in (19), such that
where , or .
Our point of interest is the behavior of the aforementioned filters, both inside and outside of the uncertainty interval . Since the uncertainty has little effect on the behavior of the filters (estimates) after the extremity of interval , for convenience of the MSE analysis, we introduce the extended timeinterval , referred to as the Extended Uncertainty Interval (EUI). According to the simulation results, and .
Figure 1 compares the MSEs of NEDFRHF ("NE") with three EQDFRHFs ("EQ") with common horizon lengths , .
From Figure 1 we can observe that inside the EUI, the NEDFRHF is more accurate than the two EQDFRHFs with horizon lengths and . However, the NEDFRHF is slightly worse than the EQDFRHF with horizon length , that is,
The reason for such a robust property (22) is to compensate for the given uncertainty , as the common horizon length for all local sensors (common memory of LRHKFs) should be minimal. In this case, it is equal, as .
Figure 2, on the other hand, shows that outside the EUI, the differences between the EQDFRHFs and NEDFRHF are negligible. In this case, the EQDFRHF with the maximum common horizon length is more accurate than the NEDFRHF, that is,
Figure 3 illustrates the time histories of the MSEs for NEDFRHF and the LRHKFs (LKF). This figure shows that inside the EUI, the MSE of NEDFRHF is better than that of LRHKFs with the horizon lengths and , but it is worse than the LRHKF with , that is,
Note, however, that outside the EUI the NEDFRHF is better than all LRHKFs, as shown in Figure 4, that is,
It should also be noted that the reduction of the horizon length to zero inside the uncertainty interval is impossible due to the loss of sensor measurements (3). The problem in finding the optimal horizon length for each individual LRHKFs is quite complex.
Summarizing the simulation results provided in Figures 1â€“4, and using (22)â€“(25), we can conclude the following relations between MSEs inside/outside of the EUI:
Since, in actual situations, the uncertainty interval is unknown in advance, the MSEs relation (26) proves NEDFRHF to be the best choice among the other filters.
Example 6 (water tank mixing system).
Consider a water tank system that accepts two different water temperatures, while simultaneously throws off the mixed water [18]. This system is described by
where , is the water level, is the water temperature, is the temperature of the sensor, and is a white Gaussian noise. The initial values are , and . Here, the system noise intensity is and the timevarying uncertain model parameter is on the interval :
The third coordinate , related to the sensor's temperature of the water tank, is observable through a measurement model containing three identical local sensors: one primary sensor, with two reserves. In this case, we have
where , , are white Gaussian noises with intensities ,
We now present a model to show the robustness of the receding horizon filter against uncertainty [13]. In this example, we demonstrate the advantage of the receding horizon strategy using two filters: a distributed fusion receding horizon filter (see Section 3) and a distributed nonreceding horizon fusion filter (DNF) [17]. Three EQDFRHFs were designed for the different common horizon lengths , and . We focus on the MSEs of the third coordinate , called the sensor temperature, because the timevarying uncertainty from (27) appears only in this coordinate:
where or .
Figure 5 compares the MSEs of the EQDFRHFs ("EQ") for the horizon lengths of and . As can be observed in this figure, inside the timeinterval , referred to as the Uncertainty Interval (UI), all EQDFRHFs demonstrate better performance than DNF; this is in general agreement with the robustness of the receding horizon strategy. The MSEs of the nonreceding horizon filter DNF are remarkably larger than other EQDFRHFs. Also, the EQDFRHF with a horizon length is more accurate than the EQDFRHFs with horizon lengths and , that is,
On the other hand, outside the UI the differences between the EQDFRHFs are negligible, though the EQDFRHF with a maximum common horizon length of is more accurate than other EQDFRHFs, that is,
Summarizing the simulation results in Figure 5, EQDFRHF has a parallel structure and allows parallel processing of observations, thereby making it more reliable than the others since the remaining faultless sensors can continue the fusion estimation if some sensors become faulty. Moreover, EQDFRHF can produce highquality results in a realtime processing environment.
5. Conclusions
In this paper, we proposed a new distributed receding horizon filter for a set of local sensors with nonequal horizon lengths. Also, we derived the key differential equations for determining the local crosscovariances between LRHKFs with the different horizon lengths.
Furthermore, it was found that NEDFRHF can complement for robustness and accuracy when a common time interval containing all sensor data is lacking. Subsequent simulation results and comparisons between NEDFRHF and other EQDFRHFs and LRHKFs verify the estimation accuracy and robustness of the proposed filter.
References
BarShalom Y, Li XR: MultitargetMultisensor Tracking: Principles and Techniques. YBS Publishing, Storrs, Conn, USA; 1995.
Zhu YM: Multisensor Decision and Estimation Fusion. Kluwer Academic Publishers, Boston, Mass, USA; 2003.
Sun SL: Multisensor optimal information fusion Kalman filters with applications. Aerospace Science and Technology 2004,8(1):5762. 10.1016/j.ast.2003.08.003
Sun SL, Deng ZL: Multisensor optimal information fusion Kalman filter. Automatica 2004,40(6):10171023. 10.1016/j.automatica.2004.01.014
BarShalom Yaakov, Campo L: The effect of the common process noise on the twosensor fusedtrack covariance. IEEE Transactions on Aerospace and Electronic Systems 1986,22(11):803805.
Hashemipour HR, Roy S, Laub AJ: Decentralized structures for parallel Kalman filtering. IEEE Transactions on Automatic Control 1988,33(1):8894. 10.1109/9.364
Berg TM, DurrantWhyte HF: General decentralized Kalman filters. Proceedings of the American Control Conference (ACC '94), 1994, Baltimore, Md, USA 2: 22732274.
Zhu Y, You Z, Zhao J, Zhang K, Li XR: The optimality for the distributed Kalman filtering fusion with feedback. Automatica 2001,37(9):14891493. 10.1016/S00051098(01)000747
Li XR, Zhu Y, Wang J, Han C: Optimal linear estimation fusionâ€”part I: unified fusion rules. IEEE Transactions on Information Theory 2003,49(9):21922208. 10.1109/TIT.2003.815774
Zhou J, Zhu Y, You Z, Song E: An efficient algorithm for optimal linear estimation fusion in distributed multisensory systems. IEEE Transactions on Systems, Man, and Cybernetics 2006,36(5):10001009.
Jazwinski AH: Stochastic Processes and Filtering Theory. Academic Press, New York, NY, USA; 1970.
Kwon WH, Lee KS, Kwon OK: Optimal FIR filters for timevarying statespace models. IEEE Transactions on Aerospace and Electronic Systems 1990,26(6):10111021. 10.1109/7.62253
Kwon WH, Kim PS, Park P: A receding horizon Kalman FIR filter for linear continuoustime systems. IEEE Transactions on Automatic Control 1999,44(11):21152120. 10.1109/9.802927
Kim DY, Shin V: Optimal receding horizon filter for continuoustime nonlinear stochastic systems. Proceedings of the 6th WSEAS International Conference on Signal Processing (ICSP '08), 2007, Dallas, Tex, USA 112116.
Kim DY, Shin V: An optimal receding horizon FIR filter for continuoustime linear systems. Proceedings of the 18th SICEICASE International Joint Conferences (SICEICCAS '06), 2006, Busan, South Korea 263265.
Song IY, Kim DY, Shin V: Distributed receding horizon filtering for linear multisensor continuoustime systems. Proceedings of the 10th IASTED International Conference on Signal and Image Processing (SIP '08), 2008, KailuaKona, Hawaii, USA 238242.
Shin V, Lee Y, Choi TS: Generalized Millman's formula and its application for estimation problems. Signal Processing 2006,86(2):257266. 10.1016/j.sigpro.2005.05.015
Jannerup OE, Hendricks E: Linear Control System Design. Technical University of Denmark (DTU), Copenhagen, Denmark; 2006.
Acknowledgments
This work was supported by ADD (contract no. 912176201) and the BK21 program partly at Gwangju Institute of Science and Technology.
Author information
Authors and Affiliations
Corresponding author
Appendix
Derivation of (13)â€“(17)
Local filtering errors and , satisfy the following equations:
Next, without losing generality, let us assume that
Then, on the common timeinterval , (A.1) can be rewritten in the following form:
with the special horizon initial conditions:
Application of the Lyapunov equation to the model (A.3) yields the following differential equation for the crosscovariance on the common timeinterval:
Substituting the matrices , and into (A.5), we obtain the following equation for the crosscovariance :
with the initial condition:
To determine the covariance in (A.7), let us consider a set of stochastic equations for the state and its estimate on the remain timeinterval . From (1) and (5) we obtain
with the initial condition:
where is a white Gaussian noise with intensity matrix
Then, the covariance of vector
is described by the Lyapunov equation for the model (A.8):
Since the second component of the initial vector is nonrandom , the structure of the initial covariance can then take the special form:
where the nonzero element in (A.7) and (A.12) represents the covariance of the state , which is determined by the Lyapunov equation (7).
This completes the proof of Theorem 2.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Song, I., Kim, D., Kim, Y. et al. Distributed Fusion Receding Horizon Filtering in Linear Stochastic Systems. EURASIP J. Adv. Signal Process. 2009, 929535 (2009). https://doi.org/10.1155/2009/929535
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2009/929535