Abstract

We consider the distributed estimation of a random vector signal in a power constraint wireless sensor network (WSN) that follows a multiple-input and multiple-output (MIMO) coherent multiple access channel model. We design linear coding matrices based on linear minimum mean-square error (LMMSE) fusion rule that accommodates spatial correlated data. We obtain a closed-form solution that follows a water-filling strategy. We also derive a lower bound to this model. Simulation results show that when the data is more correlated, the distortion in terms of mean-square error (MSE) degrades. By taking into account the effects of correlation, observation, and channel matrices, the proposed method performs better than equal power method.

1. Introduction

The wireless sensor network (WSN) is a potential technology in many application areas including environmental monitoring, health, security and surveillance, and robotic exploration [1]. WSNs have many interested issues, one of them is distributed estimation. In the distributed estimation scenario, sensors observe phenomena from the target(s) and transmit to a fusion center (FC). Received signal at FC is estimated using an estimation technique.

Distributed estimation by considering power consumption has attracted much attention in [27]. Because the sensors deployed in a certain region are difficult to change the batteries, the low power consumption is important to guarantee a lifetime of the sensors. The distributed estimation is also applied on the orthogonal multiple access channel (MAC) model [4, 6, 8] and the coherent MAC model [2, 5] that considers single-input single-output (SISO). To save energy, multiple-input and multiple-output (MIMO) system has been analyzed by involving signaling overhead [9], in which the MIMO system can offer substantial energy savings in WSN. Cooperative MIMO with data aggregation also has been investigated in [10, 11].

In practical scenario, if the targets or the sensors are close to each other, the data will be potentially correlated. Such a problem has been investigated in [3, 6, 12, 13]. In this paper, we consider multiple targets that are spatially distributed. The targets are observed by multiple sensors that apply an analog forwarding scheme. This scheme will multiply the observed data with a designed coding matrix in each sensor, which results in encoded messages. The encoded messages from the sensors are transmitted to the FC over a coherent MAC. The channel follows MIMO model that has multiple antenna at transmitter and at receiver. At the FC, the received signals are estimated using linear minimum mean-square error (LMMSE) rule. To perform the estimation, we calculate a distortion in terms of mean-square error (MSE). We also consider the separation of the estimation under two conditions, that is, distortion due to noisy observation and distortion due to channel noise. Both of the distortions should be minimized by designing coding matrices under total power constraint. To derive the coding matrix, we use singular value decomposition (SVD) technique. We show that the equations can be formulated as a convex optimization problem. We derive a closed-form solution that can be solved using water-filling algorithm. The designed coding matrices will be sent back to the sensors and will optimize transmit power of them. Under the above scenario, the proposed method will be compared to the equal power method. The equal power method allocates equal transmit power to each sensor. Compared to the existing literature, the contribution of this work lies in the following aspects: we consider MIMO model based on the water-filling algorithm and a spatial correlated data as an extension of [2, 5]. We obtain a closed-form solution for the optimization problem and give the coding matrices for each sensor. We also derive a lower bound of the MSE.

The rest of the paper is organized as follows. We review related work in Section 2. Section 3 describes the network setup under consideration. In Section 4, we formulate the linear coding matrix based on total power constraint and correlated sources. Section 5 presents some numerical simulation examples and the conclusion is drawn in Section 6.

Throughout this paper, we use the following notations. A lower case letter denotes a scalar, a boldface lower case letter denotes a vector, and a boldface upper case denotes matrix. The superscripts, , , , and denote the transpose, the Hermitian, the inverse, and the inverse Hermitian of matrix , respectively. The operator , manipulates the diagonal elements of matrix or a column vector into diagonal matrix and is the trace of a matrix.

In [2], they proposed a closed-form solution of coding matrices design in distributed estimation that follows coherent multiple access channel model. They exploited antenna diversity to improve received signal in low transmit power. However, they did not take into account the target correlation. Fang and Li studied power allocation problem in correlated sensor observation and provided lower bound of the objective function for single-input single-output (SISO) model [3]. A best linear unbiased estimator (BLUE) was used for estimating a target in multiple wireless sensor network [4], where the system performance was analyzed by the concept of estimation outage. The power allocation strategy was also employed in the multiple-input single-output (MISO) system.

In [5], Guo et al. investigated joint estimation of random vector and minimized the gap to the performance benchmark using water-filling strategy. They revealed that extra transmissions beyond the dimension of the target do not improve the estimation performance. An orthogonal multiple access channel (MAC) model for distributed estimation was studied in [6, 8]. To save energy, multiple-input and multiple-output (MIMO) system has been analyzed by involving signaling overhead [9], in which the MIMO system can offer substantial energy savings in WSN. Cooperative MIMO with data aggregation has also been investigated in [10, 11]. Compared to the existing literature, the contribution of this work lies in the following aspects: we considered MIMO model based on the water-filling algorithm and a spatial correlated data as an extension of [2, 5]. We obtained a closed-form solution for the optimization problem and gave the coding matrices for each sensor.

3. Problem Formulation

Assume that there are sensors for estimating random source signals, written in a vector form , as shown in Figure 1. The sensors observe the sources through a sensing matrix and each sensor, th, has measurements given by where is the additive noise. We assume that the targets are close to each other. They become potentially correlated. Therefore, the sensing matrix, , can be modeled as , where is a matrix with size that has i.i.d zero mean circularly symmetric complex Gaussian (ZMCSCG) entries with unit variance and is the spatial correlation matrix. If we have sensors, (1) can be written as where , , and with . The sensor observations are encoded using a linear coding matrix , where is the number of encoded messages transmitted from the th sensor. The message vector is transmitted through channel matrix using different frequencies. The received signal at FC can be written as where with and is additive Gaussian noise. FC employs LMMSE estimator to estimate parameter based on the received signal in (3) [14] and the total distortion in terms of MSE can be expressed as We can view the total distortion as a summation of noise observation distortion, , and channel noise distortion, , as follows: where characterizes the mutual term. The and are estimated parameters due to channel noise and due to observation noise, respectively. Based on Cauchy-Schwarz inequality, we can have the upper bound distortion as follows: To obtain (7), we have used in the first inequality and in the second inequality. Then, we have

We can calculate distortion due to noisy observation, , by assuming that channel noise is free, . Then, the received signal can be written as Based on (9), we can derive as where with being spatial correlation matrix. We assume covariance matrices of the targets, , noise observation, , and channel noise, . Introducing is covariance between and . Moreover, we can calculate distortion due to channel noise, , by assuming that observation noise is free, . Then, the received signal can be written as Based on (11), we can derive as where .

3.1. Correlated Sources

We assume that data observed by sensors are spatially correlated. The targets are placed in line with spacing distance, , as shown in Figure 2 [13]. The model of correlation is as follows: where is a distance between the th and the th targets and is the spatial correlation coefficient. In general, is Hermitian and positive definite, so we can write .

3.2. Objective Function

According to the total distortion, we need to minimize under a total power constraint, . The total transmit power for the sensors is defined as where .

Furthermore, based on (8) and (14), we have an objective function as follows:

4. Proposed Approach

4.1. Proposed Method

In this section, we aim to solve the objective function in (15). First, we need to minimize it through SVD technique. Second, we formulate a convex optimization function by considering total power constraint. Afterwards, we further show that the optimal solution can be obtained by a water filling algorithm.

Let us introduce a lemma (cf. [15]).

Lemma 1. For any two positive semidefinite matrices and with size , it holds that where and are the th eigenvalues of and , respectively, in an increasing order.
Since and are positive definite, they can be written as and , respectively. By performing SVD, we can write them as where with and with . and are unitary, respectively.

Let and be performed as SVD as follows: where and are unitary, respectively. Matrix with , with , , and have orthonormal columns.

Based on (17) and (19), the distortion due to observation noise, , can be reformed as By using Lemma 1, we have According to (18) and (20), the distortion due to channel noise, , can be reformed as By using Lemma 1, we have We have in terms of SVD as follows: For simplifying analysis, we set , where . This is intended to keep diagonal. When the number of transmitters is set minimum, , we have where is taken from the first columns of matrix . Then, from (26), we can express (20) as where is unitary in (27); thus, we have . Because of , we can express as where with .

Let us reform the total power constraint in terms of SVD. We have . We can rewrite (14) by taking into account (28) as follows: where have diagonal entries . We also have .

From (25) and (29), we can express the objective function in terms of SVD as follows: It is a convex problem since the objective function is a linear combination of convex functions and the constraints are linear. To solve (30), it can be written as the Lagrangian equation as We can obtain the global optimum by solving the KKT conditions [16]: The solution of the above can be expressed as follows: for The parameter satisfies where max. We solve the parameters and using water-filling algorithm [5]: input:; ; ; output:; , Reorder the sequence , in the increasing order, and set do  ()while  ( and )After we obtain , we can write coding matrix as We also define a lower bound from (25); as , we have as

4.2. Equal Power Method

Under equal power strategy, the transmit power for all sensors is set to be equal as follows: where is the transmit power for the th sensor. Then, we have the th coding matrix, , where , so that , . The denotes the first rows and columns of and is a matrix with its diagonal entries equal to 1 and other entries equal to 0.

5. Simulation Results

We present simulation results to illustrate the estimation performance of the previous section. We use to denote the total transmit power constraint across the network. In all simulations, the random vectors , , and are complex Gaussian with zero mean and unit variance. Note that power is taken relative to the channel noise power. Since the channel noise has unitary variance, thus we label the total transmit power in unit of dB. The channel matrix is also Gaussian random variable with zero mean and unit variance. We set the number of encoding matrix, , equal to that of sources, = 5. This is because distortion performance does not degrade when [17]. Assuming that targets are close to each other so that we set distance among them, . The channels between sensors and the fusion center are chosen to be independent and the average LMMSE is calculated over 500 times. Therefore, we calculate the total distortion, , instead of due to mathematical tractability.

Figure 3 plots distortion in terms of average MSE performance comparison between the proposed method, the lower bound, and the equal power method, in which we take , , and the correlation coefficient, . From Figure 3, we can see that the proposed method performs better than the equal power method. The proposed method converges to the lower bound as increases. This is because the proposed method allocates power by taking into account the effects of observation and channel noise, but the equal power method does not.

Figure 4 shows distortion for uncorrelated, , and correlated, , data. We can see that the distortion of both methods becomes worse as the data is being correlated. If the data is more correlated, sensors provide redundant information about the targets. It becomes difficult to estimate the targets. Once , the distortion of the proposed method remains constant for  dB. Moreover, the equal power method performs better than the proposed method particularly for between 10 and 25 dB because the proposed method does not have enough power to accomplish the threshold of water filling. However, the distortion of the proposed method becomes smaller than that of the equal power method for  dB, because it allocates power by taking into account the effects of the correlation, observation, and channel noise.

The distortion of the proposed method and the lower bound with different power levels (, 10, and 20 dB), and spatial correlation coefficient, , are shown in Figure 5. Both distortions become smaller as the number of measurements, , increases. This is because increasing the number of leads to an increase of measurement power. In Figure 5, we can also see that the gap of the distortion between the proposed method and the lower bound becomes larger. This is because the proposed method has a power constraint compared with the lower bound that does not have a power constraint.

From Figure 6, we simulate the proposed method with different power levels ( = 1, 2, 5, 8, 15, 20 dB) and correlation coefficient, . The distortions of the proposed method become smaller as the number of sensors, , increases. However, they rise slightly after reaching the optimum number of sensors. For example, the total power constraint is  dB; the distortion rises when the number of sensors is . This is owing to the fact that the power allocated to each sensor becomes smaller as the number of sensors increases.

In Figure 7, we show the simulation results of the proposed method with an ideal sensor condition and an ideal channel condition. The simulation with ideal sensor condition is taken by assuming that the sensor observations have no distortion. To accommodate the assumption, we set the distortion due to observation noise, , in (8). Then, the simulation with ideal channel condition is taken by assuming that the fusion center has a perfect channel knowledge between the sensors and the fusion center. In a similar way to the ideal sensor condition, we set the distortion due to channel noise, , in (8). We use a complex Gaussian random variable with zero mean and unit variance for observation noise, , and noisy channel, , respectively. The distortion with ideal sensor becomes smaller as increases, but the distortion with ideal channel still remains constant. It means that the water-filling method is more effective to combat the noisy channel rather than the observation noise.

6. Conclusion

We studied distributed estimation of a random vector in MIMO sensor network by considering total power constraint and spatial correlated data. For the spatial correlated data, we obtained a water-filling-based closed-form solution that follows water-filling strategy. We also derived lower bound of distortion to this system. From the simulation results, we showed that the distortion increases as the data becomes more correlated, because the sensors become difficult to estimate the targets. Moreover, we showed that the noisy channel was more harmful than the observation noise. By taking into account the effects of correlation, observation, and channel noise, the proposed method has a better distortion performance than the equal power method.