Next Article in Journal
Multiplexed Electrochemical Detection of Yersinia Pestis and Staphylococcal Enterotoxin B using an Antibody Microarray
Next Article in Special Issue
Error Analysis in a Stereo Vision-Based Pedestrian Detection Sensor for Collision Avoidance Applications
Previous Article in Journal / Special Issue
A FDR Sensor for Measuring Complex Soil Dielectric Permittivity in the 10–500 MHz Frequency Range
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Optimal Filters with Multiple Packet Losses and its Application in Wireless Sensor Networks

College of Automation Science and Engineering, South China University of Technology, Guangzhou, 510640, China
*
Author to whom correspondence should be addressed.
Sensors 2010, 10(4), 3330-3350; https://doi.org/10.3390/s100403330
Submission received: 28 January 2010 / Revised: 16 March 2010 / Accepted: 25 March 2010 / Published: 6 April 2010

Abstract

:
This paper is concerned with the filtering problem for both discrete-time stochastic linear (DTSL) systems and discrete-time stochastic nonlinear (DTSN) systems. In DTSL systems, an linear optimal filter with multiple packet losses is designed based on the orthogonal principle analysis approach over unreliable wireless sensor networks (WSNs), and the experience result verifies feasibility and effectiveness of the proposed linear filter; in DTSN systems, an extended minimum variance filter with multiple packet losses is derived, and the filter is extended to the nonlinear case by the first order Taylor series approximation, which is successfully applied to unreliable WSNs. An application example is given and the corresponding simulation results show that, compared with extended Kalman filter (EKF), the proposed extended minimum variance filter is feasible and effective in WSNs.

1. Introduction

In wireless networks, data losses, communication delay and constrained bandwidth are general problems across communication links because of collision and transmission errors. Especially, in WSNs, due to its limited resources, such as restricted computation, processing and communication ability, data/packet losses should be further studied.
Many researchers are interested in networked control systems with packet losses. The research on packet losses can be traced back to Nahi [1] and Hadidi [2]. Recently, the packet loss problem has been studied using jump linear systems (JLS), which is a hybrid system with model transitions modeled as Markov chains that switches among several discrete models [35]. JLS methods restrict their formulation to the steady-state case, where Kalman gain is constant. Furthermore, the transition probability and state error covariance matrices are required being computed exactly [6]. Sinopoli et al. [7] consider general case of time varying Kalman gain and discusses how packet dropouts can affect state estimation. They illustrate that there exists a certain threshold of the packet dropout rate. Under packet dropouts, their filter has a smaller linear minimum mean square error than static counterpart. Liu et al. [8] extend the idea to the case where there are multiple sensors and packets from different sensors dropping independently. In practice, it is assumed that packets are dropped independently, which is certainly not true in case where burst packets are dropped or in queuing networks where consecutive packets are not dropped [7,8]. They also use the expected value of the error covariance matrix as the measure of performance. This might ignore the fact that events with arbitrarily low probability can make the expected value diverge. So Epstein et al. [9] give a more complete characterization of the estimator performance instead of considering a probabilistic description of the error covariance. The optimal filtering problem is considered for systems where multiple packets are dropped in an unreliable network [1012]. Different from [1012], where only the multiple packet dropouts are considered, reference [13] investigates both the estimation problem for systems with bounded random measurement delays and packet dropouts, which are described by some binary random variables whose probabilities are only known. Schenato [14] proposes a probabilistic framework to design the minimum error covariance estimator in a generic digital communication network where sensor's observation packets are subject to random delays and packet losses. Speranzon et al. [15] analyze and design a distributed adaptive algorithm to estimate a time-varying signal, measured by WSNs, where measurement noise and packet losses are considered. But they do not consider multiple packet losses in WSNs.
On the other hand, mobile target tracking with multiple sensors measurement is an important application of WSNs in recent years. There are great deals of wireless sensor nodes deployed randomly in a monitored field. One node or several nodes are scheduled as tasking nodes in target tracking application at each time step. Some natural problems are that how to apply filters to WSNs and who are scheduled as current task sensor nodes. There are many sensor scheduling strategies, such as the nearest distance scheduling, where the nearest sensor node to the target is scheduled as task node, minimum trace scheduling [17], where minimum trace sensor node of the error covariance matrix is scheduled, adaptive sensor scheduling [18], which selects the next tasking sensor and determines sampling interval according to the predicted accuracy and tracking cost. We propose an improved dynamic-grouping scheduling strategy (DGSS) which considers not only energy consumption and predicted accuracy, but also the real-time property of tracking target.
In this paper, we discuss minimum variance filters (MVFs) with multiple packet losses for systems that are considered not only DTSL systems but also DTSN systems in WSNs. The MVFs with packet losses across an unreliable network are designed and packet losses are assumed to be random with a given i.i.d distribution. Unlike [14] and [16], where the estimator is computed depending on whether the current measurement is received, our MVFs can be computed only depending on the packet arrival rate pk at each time instant and do not need know if a measurement is received at a particular time instant. Furthermore, our filters do not require that the measurement is time-stamped.
Simulation results show that it is feasible and effective that DGSS is adopted to select next sensor node as task node, and MVFs with multiple packet losses are used to track mobile target.
The remainder of the paper is organized as follows. MVFs with multiple packet losses are formulated in Section 2. The linear MVF is designed and a numerical example shows that linear MVF is effective in Section 3. The nonlinear MVF is derived and a target tracking example is shown in WSNs in Section 4. Finally, some conclusions are drawn in Section 5.

2. Problem Formulation

In WSNs, mobile target tracking with multiple sensors measurement is an important application in recent years. In practice, sensor measurements are probably lost. How to deal with packet losses and how to make multiple sensors collaborate to complete common task? We are interested in these problems and discuss them in the following part.
In Figure 1, we assume that measurements from the plant are encapsulated into packets, but are not time-stamped, and then transmitted through WSNs, whose goal is to deliver packets from a plant to a filter.
In the same time instant, the scheduler selects only one sensor from N sensors to sample measurements according to sensor scheduling strategies, where measurements come probably from the same sensor, also come probably from different sensor at different time step. At the filter side, if the current measurement has one or more delays, or is lost, the filter utilizes the latest measurement in the stack to update the state estimation, where the stack retains the latest three measurements. The stack has property as follows: last input first output. For example, the order of measurements entering stack is z k 2 j k 2, z k 1 j k 1, z k j k from a group in WSNs. While the order of coming out is z k j k, z k 1 j k 1, z k 2 j k 2, respectively. Therefore, MVFs can use the latest measurement from the stack in Figure 1. If the current measurement is correctly received in time, the filter uses directly measurement received from a group in WSNs (About a group, please refer to Subsection 4.2.1 in p.12). In addition, we assume that packet losses are uncorrelated and there is not a retransmission in order to increase performance of real time once a packet is lost.
According to the above framework in Figure 1, we consider a time-varying DTSL system as follows:
x k + 1 = A k x k + B k w k
z k j k = C k j k x k + v k j k
y k = γ k z k j k + ( 1 γ k ) γ k 1 z k 1 j k 1 + ( 1 γ k ) ( 1 γ k 1 ) z k 2 j k 2
where xkRn is the state vector at time step k; jk is sensor node number at time step k; z k j k, z k 1 j k 1, and z k 2 j k 2 are measurement outputs of sensor node jk, jk−1, and jk–2 at time step k, k−1, and k−2 respectively; yk is measurement received by the filter at time step k; k=1,2,…,M, where M is total sensor number in a group; Ak, Bk and C k j k are time-varying linear matrices with appropriate dimensions respectively; wk is state noises with variance Qk and v k j k is measurement noises of sensor node jk with variance R k j k at time step k; γk is a random variable taking value 0 or 1, where 0 stands for packet loss and 1 stands for received packet. The probability is as follows, respectively:
Pr [ γ k = 1 ] = p k
Pr [ γ k = 0 ] = 1 p k
Taking expectation:
E γ k = p k
E γ k γ i = p k p i , k i
E γ k 2 = p k
From (1c) we know that z k j k is lost if γk = 0 at time step k, and yk depends on γk−1, where y k = z k 1 j k 1, if γk−1 =1. Otherwise y k = z k 2 j k 2.
Given the state vector xk+1 defined by (1a). It is desired to find the estimate of xk+1, denoted by k+1|k+1, which is a linear function of observations y0,…,yk+1 minimizing:
E x E γ [ x k + 1 x ^ k + 1 | k + 1 ] T L [ x k + 1 x ^ k + 1 | k + 1 ]
where L is a symmetric positive definite matrix; yk is given by (1c), Ex is the expectation with respect to xk, wk, and vk; and Eγ is the expectation with respect to γ.
Since state estimation k+1|k+1 is a linear function of y0, y1,…, and yk+1, it can be written as:
x ^ k + 1 | k + 1 = i = 0 k + 1 a i y i
where ai is an n × m matrix.
Our objective is to design MVFs k+1|k+1 based on received measurement sequences y0, y1,…, yk+1. According to (1c), we know γ0, γ1,..., γk+1 are unknown stochastic variable sequences. That is, we desire to find E[xk+1 | yk+1, yk, yk−1,..., y0].
Definition: Error covariance matrix and state variance matrix at the time k respectively are defined as follows:
Error covariance matrix:
P k | k E x E γ [ x k x ^ k | k ] T [ x k x ^ k | k ]
and state variance matrix:
S k E [ x k T x k ]
Assumption 1: For systems (1a) and (1b), wk and vk are uncorrelated white noises with zero means and variances Qk and Rk respectively. Furthermore, if kj, E[wkwj] = 0, otherwise E[wkwj] = Qk, and Qk > 0; if kj E[vkvj] = 0, otherwise E[vkvj] = Rk, and Rk > 0.
Assumption 2: The initial state x0 is independent of wk and vk with:
E x 0 = m 0 , E [ x 0 T x 0 ] = S 0 , E [ x 0 m 0 ] T [ x 0 m 0 ] = P 0 .

3. Linear Minimum Variance Filters with Multiple Packet Losses

In this section we will show our main results on linear minimum variance filters with multiple packet losses based on the orthogonal principle analysis approach. In time-varying DTSL systems, a linear filter with multiple packet losses is to be designed. Before giving our main results, firstly we will present the following Lemma.
Lemma 1:
E x E γ [ x k + 1 x ^ k + 1 | k + 1 ] y i T = 0 , i = 0 , 1 , , k + 1 .
P k + 1 | k + 1 = E x E γ [ x k + 1 x ^ k + 1 | k + 1 ] x k + 1 T
E x E γ [ x ^ k | k y i T ] = E x E γ [ x k y i T ] , i = 0 , 1 , , k + 1
Proof: Define estimation error: k+1xk+1k+1|k+1. Because k+1 and yi are orthogonal, i = 0,1,...,k+1, we attain easily (10) according to orthogonal principle [12].
Since k+1|k+1 is a linear function of observations yi, i=0, 1,…, k, k+1. From (8) and (10) we may know:
E x E γ [ x k + 1 x ^ k + 1 | k + 1 ] x ^ k + 1 | k + 1 T = 0
From (9) it follows that:
P k + 1 | k + 1 = E x E γ [ x k + 1 x ^ k + 1 | k + 1 ] [ x k + 1 x ^ k + 1 | k + 1 ] T = E x E γ [ ( x k + 1 x ^ k + 1 | k + 1 ) x k + 1 T ( x k + 1 x ^ k + 1 | k + 1 ) x ^ k + 1 | k + 1 T ] = E x E γ [ x k + 1 x ^ k + 1 | k + 1 ] x k + 1 T
From (10) it follows that:
E x E γ [ x k + 1 y i T ] = E x E γ [ x ^ k + 1 | k + 1 ] y i T , i = 0 , 1 , , k + 1
Remark 1: Substituting (8) and (10) into (7), we may know that (7) attains minimum value. That is, (10) is the sufficient condition for (7) taking minimum value.

3.1. Design of Linear Filter with Multiple Packet Losses

Utilizing the above background knowledge, we will design a linear minimum variance filter with multiple packet losses.
Theorem 1: For systems (1) satisfying Assumption 1 and 2, the linear minimum variance filter (LMVF) is shown as follows:
x ^ k + 1 | k + 1 = F k + 1 x ^ k | k + K k + 1 y k + 1
where:
F k + 1 = A k K k + 1 J
K k + 1 = [ A k P k | k J T + p k + 1 B k Q k B k T ( C k + 1 j k + 1 ) T ] × [ JP k | k J T JS k J T + p k + 1 C k + 1 j k + 1 A k S k A k T ( C k + 1 j k + 1 ) T + p k ( 1 p k + 1 ) C k j k S k ( C k j k ) T + ( 1 p k ) ( 1 p k + 1 ) C k 1 j k 1 A k 1 1 S k A k 1 T ( C k 1 j k 1 ) T + p k + 1 R k + 1 j k + 1 + p k ( 1 p k + 1 ) R k j k + ( 1 p k ) ( 1 p k + 1 ) R k 1 j k 1 + p k + 1 C k + 1 j k + 1 B k Q k B k T ( C k + 1 j k + 1 ) T + ( 1 p k + 1 ) ( 1 p k ) C k 1 j k 1 A k 1 1 B k 1 Q k 1 B k 1 T ( A k 1 1 ) T ( C k 1 j k 1 ) T ] 1
P k + 1 | k + 1 = F k + 1 P k | k A k T + ( I n p k + 1 K k + 1 C k + 1 j k + 1 ) B k Q k B k T
J = p k + 1 C k + 1 j k + 1 A k + p k ( 1 p k + 1 ) C k j k + ( 1 p k ) ( 1 p k + 1 ) C k 1 j k 1 A k 1 1
S k + 1 = A k S k A k T + B k Q k B k T
Initial value 0|0 = m0, P0|0 = P0 and S0 = P0.
Proof: From the equation (1a) it follows that:
x k 1 = A k 1 1 x k A k 1 1 B k 1 w k 1
where it assumes Ak−1 is invertible.
From (1) we can get:
y k + 1 = γ k + 1 z k + 1 + ( 1 γ k + 1 ) γ k z k + ( 1 γ k 1 ) ( 1 γ k ) z k 1 = γ k + 1 [ C k + 1 j k + 1 A k x k + C k + 1 j k + 1 B k w k + v k + 1 j k + 1 ] + ( 1 γ k + 1 ) γ k [ C k j k x k + v k j k ] + ( 1 γ k + 1 ) ( 1 γ k ) [ C k 1 j k 1 A k 1 1 x k C k 1 j k 1 A k 1 1 B k 1 w k 1 + v k 1 j k 1 ]
Let us substitute (1a), (13) and (20) into (10) respectively. Making use of (19), it follows that:
E x E γ [ x k + 1 x ^ k + 1 | k + 1 ] y i T = E x E γ { A k x k + B k w k F k + 1 x ^ k | k K k + 1 [ γ k + 1 C k + 1 j k + 1 A k x k + ( 1 γ k + 1 ) γ k C k j k x k + ( 1 γ k + 1 ) ( 1 γ k ) C k 1 j k 1 A k 1 1 x k + γ k + 1 v k + 1 j k + 1 + ( 1 γ k + 1 ) γ k v k j k + ( 1 γ k + 1 ) ( 1 γ k ) v k 1 j k 1 + γ k + 1 C k + 1 j k + 1 B k w k ( 1 γ k + 1 ) ( 1 γ k ) C k 1 j k 1 A k 1 1 B k 1 w k 1 ] } × [ γ i C i j i x i + ( 1 γ i ) γ i 1 C i 1 j i 1 x i 1 + ( 1 γ i ) ( 1 γ i 1 ) C i 2 j i 2 x i 2 + γ i v i j i + ( 1 γ i ) γ i 1 v i 1 j i 1 + ( 1 γ i ) ( 1 γ i 1 ) v k 2 j i 2 ] T = 0 , i = 2 , 3 , , k + 1 ; j i = 1 , 2 , , N
Taking i = 2,3,…k−2, and making use of Assumption 1 and (12) in Lemma 1, the above equation follows that:
E γ { A k F k + 1 K k + 1 [ γ k + 1 C k + 1 j k + 1 A k + ( 1 γ k + 1 ) γ k C k j k + ( 1 γ k + 1 ) ( 1 γ k ) C k 1 j k 1 A k 1 1 ] } × E x { x k [ γ k 2 C k 2 j k 2 x k 2 + ( 1 γ k 2 ) γ k 3 C k 3 j k 3 x k 3 + ( 1 γ k 2 ) ( 1 γ k 3 ) C k 4 j k 4 x k 4 ] T } = 0
Because:
E x { x k [ γ k 1 C k 1 j k 1 x k 1 + ( 1 γ k 1 ) γ k 2 C k 2 j k 2 x k 2 + ( 1 γ k 1 ) ( 1 γ k 2 ) C k 3 j k 3 x k 3 ] T } 0
we can obtain:
E γ { A k F k + 1 K k + 1 [ γ k + 1 C k + 1 j k + 1 A k + ( 1 γ k + 1 ) γ k C k j k + ( 1 γ k + 1 ) ( 1 γ k ) C k 1 j k 1 A k 1 1 ] } = 0
and know easily that:
F k + 1 = A k K k + 1 [ p k + 1 C k + 1 j k + 1 A k + ( 1 p k + 1 ) p k C k j k + ( 1 p k + 1 ) ( 1 p k ) C k 1 j k 1 A k 1 1 ] = A k K k + 1 J
where (4)(6) is used. Obviously, (14) and (17) can be attained by (22).
From Lemma 1 we take i=k+1 and then it follows that:
E x E γ [ x k + 1 x ^ k + 1 | k + 1 ] y k + 1 T = E x E γ { A k [ x k x ^ k | k ] K k + 1 J [ x k x ^ k | k ] + K k + 1 Jx k B k w k K k + 1 [ [ γ k + 1 C k + 1 j k + 1 A k + ( 1 γ k + 1 ) γ k C k j k + ( 1 γ k + 1 ) ( 1 γ k ) C k 1 j k 1 A k 1 1 ] x k + [ γ k + 1 v k + 1 j k + 1 + ( 1 γ k + 1 ) γ k v k j k + ( 1 γ k + 1 ) ( 1 γ k ) v k 1 j k 1 ] + [ γ k + 1 C k + 1 j k + 1 B k w k ( 1 γ k + 1 ) ( 1 γ k ) C k 1 j k 1 A k 1 1 B k 1 w k 1 ] } × { [ γ k + 1 C k + 1 j k + 1 A k + ( 1 γ k + 1 ) γ k C k j k + ( 1 γ k + 1 ) ( 1 γ k ) C k 1 j k 1 A k 1 1 ] x k + [ γ k + 1 v k + 1 j k + 1 + ( 1 γ k + 1 ) γ k v k j k ( 1 γ k + 1 ) ( 1 γ k ) v k 1 j k 1 ] + [ γ k + 1 C k + 1 j k + 1 B k w k ( 1 γ k + 1 ) ( 1 γ k ) C k 1 j k 1 A k 1 1 B k 1 w k 1 ] } T = A k P k | k J T K k + 1 JP k | k J T + K k + 1 JS k J T K k + 1 [ p k + 1 C k + 1 j k + 1 A k S k A k T ( C k + 1 j k + 1 ) T + ( 1 p k + 1 ) p k C k j k S k ( C k j k ) T + ( 1 p k + 1 ) ( 1 p k ) C k 1 j k 1 A k 1 1 S k A k 1 T ( C k 1 j k 1 ) T ] + p k + 1 B k Q k B k T ( C k + 1 j k + 1 ) T K k + 1 [ p k + 1 R k + 1 j k + 1 + ( 1 p k + 1 ) p k R k j k + ( 1 p k + 1 ) ( 1 p k ) R k 1 j k 1 + p k + 1 C k + 1 j k + 1 B k Q k B k T ( C k + 1 j k + 1 ) T + ( 1 p k + 1 ) ( 1 p k ) C k 1 j k 1 A k 1 1 B k 1 Q k 1 B k 1 T A k 1 T ( C k 1 j k 1 ) T ] = 0
From the above equation it may derive (15).
According to (11) in Lemma 1, it follows that:
P k + 1 | k + 1 = E x E γ [ x k + 1 x ^ k + 1 | k + 1 ] x k + 1 T = E x E γ { A x ( x k x ^ k | k ) K k + 1 J ( x k x ^ k | k ) + K k + 1 J x k + B k w k K k + 1 [ [ γ k + 1 C k + 1 j k + 1 A k + ( 1 γ k + 1 ) γ k C k j k + ( 1 γ k + 1 ) ( 1 γ k ) C k 1 j k 1 A k 1 1 ] x k + γ k + 1 v k + 1 j k + 1 + ( 1 γ k + 1 ) γ k v k j k + ( 1 γ k + 1 ) ( 1 γ k ) v k 1 j k 1 + γ k + 1 C k + 1 j k + 1 B k w k ( 1 γ k + 1 ) ( 1 γ k ) C k 1 j k 1 A k 1 1 B k 1 w k 1 ] } × { A k x k + B k w k } T = ( A k K k + 1 J ) P k | k A k T + ( I n p k + 1 K k + 1 C k + 1 j k + 1 ) B k Q k B k T
where Assumption 1 is used and In is n × n identity matrix.
From Definition, the next equation is derived:
S k + 1 = E [ x k + 1 x k + 1 T ] = A k S k A k T + B k Q k B K T
Remark 2:
In special case 1, when packet arrival rate pk+1 = 0 and pk = 0:
F k + 1 = A k K k + 1 C k 1 j k 1 A k 1 1
K k + 1 = A k P k | k A k 1 T ( C k 1 j k 1 ) T [ C k 1 A k 1 1 P k | k A k 1 T ( C k 1 j k 1 ) T + R k 1 j k 1 + C k 1 j k 1 A k 1 1 B k 1 Q k B k 1 T A k 1 1 ( C k 1 j k 1 ) T ] 1
From (23) we know that the information at the current step and the information at the latest previous step are consecutively lost. In this situation, the filter (13) uses the (k − 1)th step measurement to update the information of the (k + 1)th step.
In special case 2, when packet arrival rate pk+1 = 0 and pk = 1:
F k + 1 = A k K k + 1 C k j k
K k + 1 = A k P k | k ( C k j k ) T [ C k j k P k | k ( C k j k ) T + R k j k ] 1
It means that the information at the current step is lost. In this situation, the filter (13) uses the kth step measurement to update information of the (k + 1)th step.
In special case 3, when packet arrival rate pk+1 = 1:
F k + 1 = A k K k + 1 C k + 1 j k + 1 A k
K k + 1 = ( A k P k | k A k T + B k Q k B k T ) ( C k + 1 j k + 1 ) T × [ C k + 1 j k + 1 A k P k | k A k T ( C k + 1 j k + 1 ) T + R k + 1 j k + 1 + C k + 1 j k + 1 B k Q k B k T ( C k + 1 j k + 1 ) T ] 1
In this situation, the LMVF reduces the standard KF. An example for DTSL system is given in the following part.

3.2. An example for LMVF

We give a numerical example to verify the validity of Theorem 1. It is assumed C k j k is a constant in the following equation at each time step and:
x k + 1 = A k x k + B k w k
z k j k = C k j k x k + v k j k
y k = γ k z k j k + ( 1 γ k ) γ k 1 z k 1 j k 1 + ( 1 γ k ) ( 1 γ k 1 ) z k 2 j k 2
where A k = [ 0.6 0 0.8 0.5 ], B k = [ 0.6 0.5 ], C k j k = [ 1 1 ] and x k = [ x k 1 x k 2 ] T.
Define estimation error Er k i at time step k and total estimation error Er respectively:
Er k 1 = | x k 1 x ^ k | k 1 | , Er k 2 = | x k 2 x ^ k | k 2 |
Er 1 = k = 1 N Er k 1 , Er 2 = k = 1 N Er k 2
where ( ( x ^ k | k 1 , x ^ k | k 2 ) T is the estimate of xk; N denotes total time step.
In simulation, 0|0 = [0 0]T, P0|0 = diag([0.1 0.1]), S0 = P0|0, n = 1,000, R k j k = 1 and Q k = [ 0.36 0.30 0.30 0.25 ]. ( x ^ k | k 1 , x ^ k | k 2 ) T at each time step be calculated making use of Theorem 1. Estimation error Erk at each time step and total estimation error Er are computed by (27) and (28) respectively. 100 Monte Carlo simulations are tested and corresponding simulation results are shown in Figure 2, where the red line with symbol ‘*’ denotes total error Er1 and the blue line with symbol ‘o’ denotes total error Er2. From Figure 2 we see the estimation error decreases as packet arrival rate p increases from 0.1 to 1. When p = 0.1, Er1 = 0.5527 and Er2 = 0.7445; When p=1, Er1 = 0.3231 and Er2 = 0.3557.
The experience results show estimation error is very small. The simulation verifies feasibility and effectiveness of the proposed LMVF.

4. Extended Minimum Variance Filter with Multiple Packet Losses

In this section we will show our augmented results on extended minimum variance filters with multiple packet losses. In time-varying DTSN systems, an extended minimum variance filter is to be derived and it is extended to nonlinear case by Taylor series approximation in the following section.

4.1. Design of Extended Minimum Variance Filter with Multiple Packet Losses

In mobile target tracking of WSNs, the state models of the plant and measurement models are usually nonlinear, so we require making linearization for models.
Rewriting (1), let it become DTSN system:
x k + 1 = φ ( x k ) + B k w k
z k j k = h j k ( x k ) + v k j k
y k = γ k z k j k + ( 1 γ k ) γ k 1 z k 1 j k 1 + ( 1 γ k ) ( 1 γ k 1 ) z k 2 j k 2
where φ(xk) and h(xk) are nonlinear functions with respective to the state xk and the time step k. The other conditions are similar to (1a) and (1b) in Section 2.
To obtain the estimated state k+1|k+1, the nonlinear function in (29a) is expanded in Taylor series around the latest estimate k|k with the first order to yield an extended minimum variance filter. Taylor series expansion of (29a) to the first order is approximately:
x k + 1 = φ ( x ^ k | k ) + Φ k ( x k x ^ k | k ) + B k w k
where Φ k = ϕ ( x k ) x k | x k = x ^ k | k is the Jacobian matrix of the function φ(xk).
Similarly, we make linearization of the nonlinear measurement function (29c) by Taylor series:
y k = γ k h j k ( x ^ k | k 1 ) + γ k H k j k ( x k x ^ k | k 1 ) + γ k v k j k + ( 1 γ k ) γ k 1 h j k ( x ^ k 1 | k 2 ) + ( 1 γ k ) γ k 1 H k 1 j k 1 ( x k 1 x ^ k 1 | k 2 ) + ( 1 γ k ) γ k 1 v k 1 j k 1 + ( 1 γ k ) ( 1 γ k 1 ) h j k 2 ( x ^ k 2 | k 3 ) + ( 1 γ k ) ( 1 γ k 1 ) H k 2 j k 2 ( x k 2 x ^ k 2 | k 3 ) + ( 1 γ k ) ( 1 γ k 1 ) v k 2 j k 2
where H k j k = h j k ( x k ) x k | x k = x ^ k | k 1 is the Jacobian matrix of the function hjk (•). Based on (30) and (31), Theorem 2 is shown as follows:
Theorem 2: For nonlinear systems (30) and (31) satisfying Assumption 1 and 2, extended minimum variance filter (EMVF) is shown as follows:
x ^ k + 1 | k + 1 = x ^ k + 1 | k + K k + 1 [ y k + 1 p k + 1 h j k + 1 ( x ^ k + 1 | k ) ( 1 p k + 1 ) p k h j k ( x ^ k | k 1 ) ( 1 p k + 1 ) ( 1 p k ) h j k 1 ( x ^ k 1 | k 2 ) ]
where:
x ^ k + 1 | k = φ ( x ^ k | k , k )
K k + 1 = [ Φ k P k | k J T + p k + 1 B k Q k B k T ( H k + 1 j k + 1 ) T ] × { JP k | k J T JS k J T + p k + 1 H k + 1 j k + 1 Φ k S k Φ k T ( H k + 1 j k + 1 ) T + p k ( 1 p k + 1 ) H k j k S k ( H k j k ) T + ( 1 p k ) ( 1 p k + 1 ) H k 1 j k 1 Φ k 1 1 S k Φ k 1 T ( H k 1 j k 1 ) T + p k + 1 R k + 1 j k + 1 + p k ( 1 p k + 1 ) R k j k + ( 1 p k ) ( 1 p k + 1 ) R k 1 j k 1 + ( 1 p k ) ( 1 p k + 1 ) H k 1 j k 1 Φ k 1 1 B k 1 Q k 1 B k 1 T Φ k 1 T ( H k 1 j k 1 ) T + p k + 1 H k + 1 j k + 1 B k Q k B k T ( H k + 1 j k + 1 ) T } 1
P k + 1 | k + 1 = ( Φ k K k + 1 J ) P k | k Φ k T + ( I n p k + 1 K k + 1 H k + 1 j k + 1 ) B k Q k B k T
J = p k + 1 H k + 1 j k + 1 Φ k + p k ( 1 p k + 1 ) H k j k + ( 1 p k ) ( 1 p k + 1 ) H k 1 j k 1 Φ k 1 1
S k + 1 = Φ k S k Φ k T + B k Q k B k T
with:
x ^ 0 | 1 = m 0 , P 0 | 0 = P 0 and S 0 = P 0
The proof of Theorem 2 is similar to Theorem 1, so it is omitted here. Theorem 2 can be applied to nonlinear cases of the measurement model and state model. An application example for EMVF is given in the following subsection.

4.2. Application of EMVF in WSNs

In the above subsection a kind of EMVF is designed. In the following we apply the EMVF to track mobile target in WSNs. Usually multiple sensors are scheduled cooperatively to complete a common task. Firstly we give a practice state model and measurement model, and then provide a sensor scheduling strategy. At last, simulation results illustrate our EMVF is feasible and effective in WSNs.

4.2.1 Nonlinear state model

We use the nonlinear state model of reference [20]. The idea is to augment the state vector with a turning rate parameter ω, which is to be estimated along with the other system parameters, which in this example are the position ( x k t , y k t ) and the velocity ( x ˙ k t , y ˙ k t ) of the target. Thus, the state vector can be expressed as:
x k = [ x k t y k t x ˙ k t y ˙ k t ω k t ] T
and the dynamic model for the coordinated turns is:
x k + 1 = A k x k + B k w k
where:
A k = [ 1 0 sin ( Δ t k ω k t ) ω k t cos ( Δ t k ω k t ) 1 ω k t 0 0 1 cos ( Δ t k ω k t ) 1 ω k t sin ( Δ t k ω k t ) ω k t 0 0 0 cos ( Δ t k ω k t ) sin ( Δ t k ω k t ) 0 0 0 sin ( Δ t k ω k t ) cos ( Δ t k ω k t ) 0 0 0 0 0 1 ] B k = [ 0 0 0 0 1 ] T
and wk is white Gaussian process noise with zero mean and variance Qk. The Jacobian matrix of k is computed as:
Φ k = [ 1 0 sin ( Δ t k ω k t ) ω k t cos ( Δ t k ω k t ) 1 ω k t x k + 1 t ω k t 0 1 cos ( Δ t k ω k t ) 1 ω k t sin ( Δ t k ω k t ) ω k t y k + 1 t ω k t 0 0 cos ( Δ t k ω k t ) sin ( Δ t k ω k t ) x ˙ k + 1 t ω k t 0 0 sin ( Δ t k ω k t ) cos ( Δ t k ω k t ) y ˙ k + 1 t ω k t 0 0 0 0 1 ]
where:
x k + 1 t ω t k = Δ t k ω k t cos ( Δ t k ω k t ) + sin ( Δ t k ω k t ) 1 ( ω k t ) 2 x ˙ k Δ t k ω k t sin ( Δ t k ω k t ) + cos ( Δ t k ω k t ) ( ω k t ) 2 y ˙ k y k + 1 t ω k t = Δ t k ω k t sin ( k ω k t ) + cos ( Δ t k ω k t ) 1 ( ω k t ) 2 x ˙ k k ω k t cos ( Δ t k ω k t ) + sin ( Δ t k ω k t ) ( ω k t ) 2 y ˙ k x ˙ k + 1 t ω k t = Δ t k sin ( Δ t k ω k t ) x ˙ k Δ t k cos ( Δ t k ω k t ) y ˙ k y ˙ k + 1 t ω k t = Δ t k cos ( Δ t k ω k t ) x ˙ k Δ t k sin ( Δ t k ω k t ) y ˙ k

4.2.2. Nonlinear measurement model

Sonic sensors are used to measurement target and the measurement model for sensor jk at time step k is defined as follows:
z k j k = h j k ( x k ) + v k j k = ( x k t x j k ) 2 + ( y k t y j k ) 2 + v k j k
where jk = 1,2,⋯, N, and N is the total number of sensor nodes; ( x k t , y k t ) is the dynamic location of the mobile target and (xjk, yjk) is the known position of sensor jk ; v k j k is the zero-mean Gaussian measurement noise with variance R k j k for sensor jk at the time step k; γk is a random variable with k = pk.
Since measurement model is nonlinear function, it has to be linearized and Jacobian matrix H k j k of h k j k is computed as follows:
H k j k = [ x k t x j k ( x k t x j k ) 2 + ( y k t y j k ) 2 y k t y j k ( x k t x j k ) 2 + ( y k t y j k ) 2 0 0 ]

4.2.3. Distributed wireless sensor scheduling

In target tracking application of distributed WSNs, there are a number of wireless sensor nodes deployed randomly in a monitored field. One node or several nodes are scheduled as task nodes in target tracking application at each time step k.
We improve dynamic-group scheduling strategy (DGSS) [19]. The improved DGSS (IDGSS) is regarded as the scheduler to select next task sensor node during mobile target tracking, where predicted accuracy, predicted energy and real time are considered. We define cost function:
J ( j k , Δ t k ) = w k j k + ( 1 w ) E ( j k , j k + 1 ) Δ t k
where k j k is the predicted accuracy, E(jk, jk+1) is the predicted energy, Δtk is sample interval and w ∈ (0,1) is weight parameter used to balance the tracking accuracy and energy consumption.
The task sensor node is scheduled in the following two situations:
After prediction, if none of the sensors can achieve the satisfactory tracking accuracy using any sampling interval between Tmax and Tmin, in this case, Δtk is set to the minimal sampling interval Tmin, and the sensor is selected by:
j k = arg j k G min { J ( j k , T min ) }
where G is the set of candidate sensors in the group which can be selected by sensor jk. The purpose of this mode is to drive the tracking accuracy to be satisfactory as soon as possible with consideration of the energy consumption.
After prediction, if at least one sensor can achieve the satisfactory tracking accuracy. In this case, the optimal (jk, Δtk) are selected by:
J ( j k , Δ t k ) = arg j k G * , ϕ ( j k , j k + 1 ) ϕ 0 min { E ( j k , j k + 1 ) Δ t k }
where G* is the set of sensors that can achieve the satisfactory tracking accuracy, and ∅0 is the threshold of tracking accuracy. Equation (44) above utilizes the objective function (42) with w=0. The basic idea of this mode is that when the predicted tracking accuracy is satisfactory, the sensors and the sampling interval are selected according to the energy efficiency.
The sample interval significantly affects tracking accuracy and energy efficiency of the whole network. For example, with a short sampling interval, the target can be tracked more accurately but lead to much energy consumption. While long sampling interval maybe load tracking accuracy to decrease or the target to be lost. In this paper we suppose the sampling interval is selected from a predefined N values { T t } 1 N, where T1=Tmin, T2=Tmax, and Tt1 < Tt2 if t1 < t2.
The operations of each task sensor node mainly include the following steps:
  • Measuring the distance z k j k between the motion target and the current sensor node jk at the current time k, where (41) is used;
  • Performing extended minimum variance filtering algorithm with packet losses by Theorem 2 in WSNs, and calculating the prediction accuracy according to k j k = [ 1 1 0 0 0 ] P k | k [ 1 1 0 0 0 ] T;
  • Transmitting the predicted accuracy k j k and sample interval Δtk according to (43) and (44) at time step k to the scheduler.
We suppose that all sensor nodes are usually in the sleeping mode and are awaked to perform sensing tasks by using an ultralow power channel when they are scheduled to perform the sensing tasks.
The scheduler of IDGSS is shown as follows:
  • First, the nearest node to the target (such as bold small circle in the group G1 in Figure 3) is awaked from sleep state and regarded as the task node at current time step k in the neighbor region;
  • The nearest sensor node is considered as the center node in a local neighbor area, total M nearest nodes to the target are awaked to form a group. When the target lies in the group, we consider both estimation accuracy and energy. If estimation accuracy is satisfactory, the sensor node, whose consumption energy is least, is selected to track the target by (44) at the next time step k+1, and changed sample interval Δtk is used in order to save energy; If estimation accuracy is not satisfactory, (43) is used to select next task node jk and Tmin is used as sample interval;
  • When the target moves out of the group, the sensor nodes in the group return sleep state, and a new task node is awaked from the sleep state in a new local neighbor region. Similarly, a new dynamic group is formed again, as seen from Figure 3, such as G2, G3, G4,…
Remark 3: we use dynamic grouping idea and firstly awake M sensor nodes in order to increase real-time performance of target tracking, and adopt the changed sampling intervals during target tracking in order to save energy consumption under the satisfactory estimation accuracy.

4.2.4. Simulation results

Nonlinear state model and measurement model in Section 4.2.1 and 4.2.2 are adopted to track the mobile target in WSNs.
Define two measurements received as follows respectively.
Model 1:
y k 1 = γ k z k j k + ( 1 γ k ) γ k 1 z k 1 j k 1
Model 2:
y k 2 = γ k z k j k + ( 1 γ k ) γ k 1 z k 1 j k 1 + ( 1 γ k ) ( 1 γ k 1 ) z k 2 j k 2
where y k 1 denotes that the filter uses the previous measurement z k 1 j k 1 to update if the current measurement z k j k is lost, and the filter uses only zero to update if both the current measurement and the previous measurement are lost at time step k; Different from y k 1, y k 2 denotes that the filter can use z k 2 j k 2 to update when both the current measurement z k j k and the previous measurement z k 1 j k 1 are lost at time step k.
The monitored field is 100 m×100 m and covered by 20 sensors randomly deployed in Figures 4, 5, 6 and 7, where the IDGSS is adopted in the target tracking, and the red circles represent random sensor nodes deployed in the monitored WSNs area, and the red circles with symbol ‘*’ represent sensor nodes scheduled in the process of the target tracking, and the associated tasking sensor of each estimated target position is indicated by a blue line between them.
In the monitored field the target moves along the circle trajectory, whose start position is (30, 70). For Theorem 2, initial state vector 0|−1 =[30 70 20 20 −1]T, initial covariance matrix P0|0 =2×diag([0.1 0.1 0.1 0.1 0.1]) and initial variance S0 = P0|0 in (38). Total time step N = 67, number of sensor in a group M = 5, q = 0.2 Rk = 0.001 and Qk = Bk × q × BkT, where Bk = [0 0 0 0 0.1]T. Minimum (maximum) time sampling interval Tmin = 0.1 (Tmax = 0.5). Weight parameter w = 0.7. Threshold of accuracy ∅0 = 8. The estimation errors of the EMVF under different packet arrival rate are shown in Figures 8, 9, 10 and 11, where estimation error is defined as the distance between the estimated target positions and the true position of the target, and γk (Gamma) is a random variable taking value 0 or 1.
For simplicity, in this simulation packet arrival rate pk = p. In Figure 4 when packet arrival rate p = 1, standard EKF, Model 1 and Model 2 have the approximately same tracking trajectory. Estimation error is approximate in Figure 8. Because packet arrival rate p = 1, we can verify that corresponding EMVF of Model 1 and Model 2 reduce standard EKF [20]. When packet loss rate p = 0.98, standard EKF starts to diverge once packet loss happens, while Model 1 and Model 2 still can track the mobile target in Figure 5. When the time step k = 8, packet loss happens, and then EKF has much higher estimation error than Model 1 and Model 2 in Figure 9. When packet arrival rate p is 0.95 in Figure 6, compared with Model 1, Model 2 has superior tracking trajectory. Moreover, Model 2 shows smaller estimation error than Model 1 in Figure 10. Model 2 has better performance than Model 1, because Model 1 can’t deal with consecutive two measurements dropped, while Model 2 still can work well. It is similar in Figure 7 and Figure 11. Moreover, From Figure 8 to Figure 11, we know that estimation error becomes more and more small when packet arrival rate p increases.
It is illustrated that sample interval becomes small and total time steps increase when packet arrival rate p decreases, such as the total 42, 44, 52 and 58 time steps in Figure 12, 13, 14, and 15 respectively, where it is also resulted in that consumed energy increases when packet arrival rate p decreases in WSNs.
The simulation results verify that derived EMVF is feasible and available in WSNs. Compared with EKF, EMVF has superior performance in tracking mobile target.
In order to illustrate further the effect of consumption energy and estimation accuracy to sampling intervals, we assume that packet arrival rate p=1 and estimation accuracy threshold ∅0 = 0.5.
Consumed energy (Ce) and estimation accuracy (Ec) are defined as follows respectively:
Ce = 1 mn i = 1 m k = 0 n E ( j k , j k + 1 ) Ec = 1 m t = 1 m ( 1 n k = 1 n k j k )
Table 1 demonstrates that consumption energy is quite small and estimation accuracy is not also high when IDGSS is adopted. The experience shows that IDGSS make tradeoffs between consumed energy and estimation accuracy during target tracking in WSNs.

5. Conclusions

For DTSL systems and DTSN systems, a linear optimal filter and an extended minimum variance filter with packet losses are designed in this paper, respectively. Especially, the proposed EMVF is applied to WSNs for target tracking. A first application example is given and the corresponding simulation result verifies the effectiveness and advantages of the proposed LMVF. The second application example illustrates that the EMVF with multiple packet losses is feasible and available for target tracking in WSNs. In the future, we will further study filters with both multiple time delays and finite consecutive packet losses and in WSNs.

Acknowledgments

This work is supported by NSFC-Guangdong Joint Foundation Key Project U0735003, Oversea Cooperation Foundation under Grant 60828006, Fundamental Research Funds for the Central Universities under Grant No. 2009ZM0076 and the Scientific Research Foundation for the Returned Overseas Chinese Scholars, State Education Ministry.

References and Notes

  1. Nahi, N. Optimal recursive estimation with uncertain observation. Inf. Theory IEEE Trans. 1969, 15, 457–462. [Google Scholar]
  2. Hadidi, M.; Schwartz, S. Linear recursive state estimators under uncertain observations. IEEE Trans. Inf. Theory 1979, 24, 944–948. [Google Scholar]
  3. Costa, O. Stationary filter for linear minimum mean square error estimator of discrete-time markovian jump systems. IEEE Trans. Automat. Contr. 2002, 48, 1351–1356. [Google Scholar]
  4. Nilsson, J. Real-time Control Systems with Delays, Ph.D. dissertation,; Department of Automatic Control, Lund Institution of Technology: Lund, Sweden, 1998.
  5. Nilsson, J.; Bernhardsson, B.; Wittenmark, B. Stochastic analysis and control of real-time systems with random time delays. Automatica 1998, 34, 57–64. [Google Scholar]
  6. Ling, Q.; Lemmon, M. Soft real-time scheduling of networked control systems with dropouts governed by a Markov chain. American Control Conference, Denver, June, 2003; 6, pp. 4845–4550.
  7. Sinopoli, B.; Schenato, L.; Franceschetti, M.; Poolla, K.; Jordan, M.; Sastry, S. Kalman filtering with intermittent observations. IEEE Trans. Autom. Control. 2004, 49, 1453–1464. [Google Scholar]
  8. Liu, X. H.; Goldsmith, A. Kalman filtering with partial observation losses. 43rd IEEE Conference on Decision and Control, Atlantis, Paradise Islands, Bahamas, December 14–17, 2004; pp. 4180–4186.
  9. Epstein, M.; Shi, L.; Tiwari, A.; Murray, R.M. Probabilistic performance of state estimation across a lossy network. Automatic. 2008, 44, 3046–3053. [Google Scholar]
  10. Sun, S.L.; Xie, L.H.; Xiao, W.D. Optimal full-order and reduced-order estimators for discrete-time systems with multiple packet dropouts signal processing. IEEE Trans. Signal Proc. 2008, 56, 4031–4038. [Google Scholar]
  11. Sun, S.L.; Xie, L.H.; Xiao, W.D.; Soh, Y.C. Optimal linear estimation for systems with multiple packet dropouts. Automatic 2008, 44, 1333–1342. [Google Scholar]
  12. Sahebsara, M.; Chen, T.; Shah, S.L. Optimal H2 filtering with random sensor delay, multiple packet dropout and uncertain observations. Int. J. Contr. 2007, 80, 292–301. [Google Scholar]
  13. Sun, S.L. Linear minimum variance estimators for systems with bounded random measurement delays and packet dropouts. Signal Proc. 2009, 89, 1457–1466. [Google Scholar]
  14. Schenato, L. Optimal Estimation in Networked Control Systems Subject to Random Delay and Packet Drop. IEEE Trans. Automat. Contr 2008, 53, 1311–1317. [Google Scholar]
  15. Speranzon, A.; Fischione, C. Adaptive distributed estimation over wireless sensor networks with packet losses. Proceedings of the 46th IEEE Conference on Decision and Control, New Orleans, LA, USA, December 12–14, 2007.
  16. Schenato, L. Optimal sensor fusion for distributed sensors subject to random delay and packet loss. Proceeding of the 46th IEEE conference on Decision and Control, New Orleans, LA, USA, December 12–14, 2007.
  17. Yang, X.; Xing, K.; Shi, K.; Pan, Q. Dynamic collaborative algorithm for maneuvering target tracking in sensor netwoks. Acta Automatica Sinica 2007, 33, 1029–1035. [Google Scholar]
  18. Xiao, W.; Zhang, S.; Lin, J.; Tham, C.K. Energy-efficient adaptive sensor scheduling for target tracking in wireless sensor networks[J]. J. Contr. Theor. Appl. 2010, 2, 86–92. [Google Scholar]
  19. Liu, Y.G.; Xu, B.G.; Feng, L.F. Distributed IMM filter based dynamic-group scheduling scheme for maneuvering target tracking in wireless sensor Network. Proceedings of 2nd International Congress on Image and Signal Processing, Tianjin, Chian, October 17–19, 2009.
  20. Shalom, Y.B.; Li, X.R.; Kirubarajan, T. Estimation with Applications to Tracking and Navigation; John Wiley & Sons: New York, NY, USA, 2001. [Google Scholar]
Figure 1.
Figure 1.
Sensors 10 03330f1
Figure 2.
Figure 2.
Sensors 10 03330f2
Figure 3.
Figure 3.
Sensors 10 03330f3
Figure 4.
Figure 4.
Sensors 10 03330f4
Figure 5.
Figure 5.
Sensors 10 03330f5
Figure 6.
Figure 6.
Sensors 10 03330f6
Figure 7.
Figure 7.
Sensors 10 03330f7
Figure 8.
Figure 8.
Sensors 10 03330f8
Figure 9.
Figure 9.
Sensors 10 03330f9
Figure 10.
Figure 10.
Sensors 10 03330f10
Figure 11.
Figure 11.
Sensors 10 03330f11
Figure 12.
Figure 12.
Sensors 10 03330f12
Figure 13.
Figure 13.
Sensors 10 03330f13
Figure 14.
Figure 14.
Sensors 10 03330f14
Figure 15.
Figure 15.
Sensors 10 03330f15
Table 1. Consumed energy and estimation accuracy under different sampling intervals with IDGSS based on 100 Monte Carlo simulations.
Table 1. Consumed energy and estimation accuracy under different sampling intervals with IDGSS based on 100 Monte Carlo simulations.
Sampling interval (s)0.10.20.30.40.5IDGSS
Consumed energy (mJ)14.85649.11767.07806.10095.68576.0649
Estimation accuracy(m)0.31610.44070.49730.64500.71140.6729

Share and Cite

MDPI and ACS Style

Liu, Y.; Xu, B.; Feng, L.; Li, S. Optimal Filters with Multiple Packet Losses and its Application in Wireless Sensor Networks. Sensors 2010, 10, 3330-3350. https://doi.org/10.3390/s100403330

AMA Style

Liu Y, Xu B, Feng L, Li S. Optimal Filters with Multiple Packet Losses and its Application in Wireless Sensor Networks. Sensors. 2010; 10(4):3330-3350. https://doi.org/10.3390/s100403330

Chicago/Turabian Style

Liu, Yonggui, Bugong Xu, Linfang Feng, and Shanbin Li. 2010. "Optimal Filters with Multiple Packet Losses and its Application in Wireless Sensor Networks" Sensors 10, no. 4: 3330-3350. https://doi.org/10.3390/s100403330

Article Metrics

Back to TopTop