Improved coverage in WSNs by exploiting spatial correlation: the two sensor case
 Michalis Michaelides^{1}Email author and
 Christos G Panayiotou^{1}
DOI: 10.1186/16876180201111
© Michaelides and Panayiotou; licensee Springer. 2011
Received: 7 December 2010
Accepted: 10 June 2011
Published: 10 June 2011
Abstract
One of the main applications of Wireless Sensor Networks (WSNs) is area monitoring. In such problems, it is desirable to maximize the area coverage. The main objective of this work is to investigate collaborative detection schemes at the local sensor level for increasing the area coverage of each sensor and thus increasing the coverage of the entire network. In this article, we focus on pairs of nodes that are closely spaced and can exchange information to decide their collective alarm status in a decentralized manner. By exploiting their spatial correlation, we show that the pair can achieve a larger area coverage than the two individual sensors acting alone. Moreover, we analyze the performance of different collaborative detection schemes for a pair of sensor nodes and show that the area coverage achieved by each scheme depends on the distance between the two sensors.
Keywords
Wireless Sensor Networks area monitoring coverage distributed detection spatial correlationIntroduction
This article investigates a Wireless Sensor Network (WSN) for monitoring a large area for the presence of an event source that releases a certain signal or substance in the environment which is then propagated over a large area. This sensor network can deal with a number of environmental monitoring and tracking applications including acoustic source localization, toxic source identification and early detection of fires [1–3]. In this context, a large number of sensor nodes is deployed in the field and the objective is to maximize the area coverage^{a}. In order to maximize the area coverage one can optimally place the sensor nodes and/or increase the detection range of the sensors while maintaining a fixed false alarm probability. This article considers the latter by investigating different collaboration schemes between neighboring nodes. For the environmental monitoring applications, sensor observations are expected to be highly correlated in the space domain [4]. In other words, sensors that are located close to each other are very likely to record "similar" measurements. The objective of this work is to take advantage of the correlation in order to increase the collective coverage range of a pair of sensors while maintaining a fixed false alarm probability.
In a typical scenario, the event source emits a signal and its energy attenuates uniformly in all directions and can be measured only by the sensor nodes located in the vicinity of the source. On the other hand, sensor nodes that are located far away from the source do not receive any signal information so their measurements are based on noise alone. Furthermore, the sensor measurements are spatially correlated based on the distance from the source and the distance from each other. At this point, we should emphasize that the fact that only a small subset of the sensor nodes receives signal energy information of variable strength based on their location relative to the source makes the detection problem in WSNs significantly different than any related work for radar/sonar applications (see [5, 6] and references therein). In such applications, the system requirements will specify a system (overall) false alarm rate (P_{F}). Given the expected noise level and the fusion rule at the fusion center (sink) one can determine the maximum acceptable false alarm probability of each individual or pair of sensors (P_{f} ) which will then determine their coverage range. Traditionally, the sensing coverage of a sensor node has been represented by a disc around the sensor node location inside which the energy measured from the event exceeded a threshold [7–12]. In this context each sensor node would employ an energy detector (ED) to decide whether to become alarmed and then at the fusion center the decisions from all alarmed sensor nodes would be combined using a counting rule to decide the overall detection of the event [13].
In this article, we consider various collaboration schemes that can be employed by a pair of nodes. A straightforward solution would be for each sensor node to use the ED so that each individual node would determine its alarm status and then the pair would determine its collective decision using an AND or an OR rule. Another possibility is for the pair to exchange all of their measurements and decide its alarmed status based on the sample covariance. This is referred to as the covariance detector (CD). In this article, we also consider a hybrid detection scheme (the enhanced covariance detector (ECD)) that combines the strengths of the ED and the CD for closely spaced sensor nodes. By utilizing two different thresholds, one for each detector used, the ECD can improve the overall coverage while attaining the same probability of false alarms as any individual detector. An important outcome of this work is that it shows that the area coverage achieved by each collaborative detection scheme depends on the distance between the two sensors. When the two sensors are located relatively close to each other, ECD achieves better coverage whereas when the two sensors are spaced further apart, the ED with an OR fusion rule can achieve better results. Therefore, for monitoring applications one can organize the sensors of the field into pairs (e.g., closest neighbors) and each pair will decide its alarm status using the best detection algorithm given their relative distance. The cornerstone of this approach is that closely spaced sensors can take advantage of the possible correlation in their measurements to reduce the false alarm probability and extend their coverage.
In summary, the contribution of this work is that it investigates collaborative detection schemes between pairs of closely spaced sensor nodes and shows that the choice of which scheme to use should depend on the distance between the nodes. Furthermore, for the different detection schemes considered in this article, we provide an indepth analysis of their performance both in terms of detection and false alarm probabilities as well as coverage. A shorter version of this work introducing the different collaborative detection schemes has appeared in [14]. Our results indicate that the proposed hybrid detection scheme (the ECD) combines the strengths of the ED and the CD and achieves the best coverage for closely spaced sensor nodes.
The article is organized as follows. In Sect. II, we present the model we have adopted and the underlying assumptions. Then, in Sect. III, we present the details of the optimal detector (OD), the ED, the CD and the ECD as they apply to a pair of sensor nodes. Section IV analyzes the area coverage for each of the detectors. Section V presents several simulation results. In Section VI, we review related work in distributed detection, coverage and spatial correlation in sensor networks. We conclude with Section VII, where we also present plans for future work.
Signal propagation model
 (1)
A set of N sensor nodes ( ) is uniformly spread over a rectangular field of area A. The nodes are assumed stationary. The position of each node is denoted by (x_{ i } , y_{ i } ), i = 1, ⋯, N.
 (2)
The network is connected in the sense that each node has at least one path to the fusion center (sink).
 (3)
If present, the source of the event is located at a position (x_{ s } , y_{ s } ) inside A. The signal generated at the source location is normally distributed . The signal energy attenuates uniformly in all directions from the source and is modeled by a Gaussian spacetimevarying process s(x, y, t). Since only spatial correlation is considered, we assume that the samples received at each sensor node location are temporally independent.
i = 1, ⋯, N, t = 1, ⋯, M, where M is the number of measurements taken by a sensor. S_{i, t}is the realization of a spacetimevarying process s(x, y, t), i.e., it is the sample at sensor i located at a position (x_{ i } , y_{ i } ) at time t. Furthermore, W_{i, t}is a sequence of i.i.d. Gaussian random variables with zero mean and variance (white noise).
λ > 0, however, we point out that other functions are also possible, e.g., see [4]. The constants λ_{ v } and λ_{ c } in (3),(4) can be chosen according to the physical event propagation model. The first, reflects the rate at which the signal energy (variance) attenuates as a function of the radial distance from the source r. The second, reflects the expected correlation between the signals received (excluding noise) by two sensor nodes i and j based on the separation distance between them d_{ ij } . For a variety of problems where WSNs are used to monitor the environment, sensor observations are expected to be highly correlated in the space domain [4]. In other words, sensors that are located close to each other are very likely to record "similar" measurements. The signal propagation model used in this article is chosen to reflect this "similarity". Measurements of sensors that are close to each other and close to the source are correlated. On the other hand, sensor nodes that are located far away from the source do not receive any signal information; so even if they happen to fall next to each other their measurements are based on uncorrelated noise alone.
Collaborative pairwise detection schemes
For detecting the presence of an event in the field using the pair of sensors, we investigate two different categories of collaborative detection schemes. In the first category, we have classical detection schemes that employ a single test statistic: the OD, the ED with either the AND or the OR fusion rules and the CD. In the second category we introduce a hybrid detection scheme that appropriately fuses the results from two different test statistics: the ECD. For each detector, one of the two sensors (referred to as the leader) collects the required information and computes the test statistic.
Definition 1: A sensor is "alarmed" if the value of the test statistic (depending on the detection algorithm) exceeds a predetermined threshold.
Next, we present the specifics of each detector below and derive analytical expressions that approximate their performance (in terms of probability of false alarm and detection).
Optimal detector
The probability of detection can then be obtained numerically using this threshold.
The drawback of the OD is that it requires complete knowledge of the signal distribution (through the matrix C_{ s }) and it is thus impractical for the problem under investigation. Even if we use a grid based exhaustive search method to detect a source at all possible source locations on the grid, we still have to assume knowledge of the signal variance and calculate a different threshold for each possible source location.
The OD performance is optimal using a NeymanPearson formulation [15]. In other words, given a fixed probability of false alarms, the OD can achieve the highest detection probability than any other detector that uses any other test statistic and any other threshold. However, this result only applies to detection schemes that use a single test statistic. In fact, ECD, the hybrid detection scheme proposed in this article, under certain conditions can outperform the OD by fusing together information from two different test statistics (see Sect. V).
Energy detector
For the ED each sensor independently decides first its alarm status based on its own measurements. Then, the 1bit decisions are gathered at the leader where the detection decision of the pair is decided using an AND or an OR fusion strategy. Using the AND fusion rule, the pair decides that it has detected the event if both sensors are alarmed, while using the OR strategy detection is decided if at least one of the sensor nodes becomes alarmed.
and is the righttail probability of a Gaussian random variable (0, 1) [15].
Note that of for all 0 ≤ α ≤ 1 and since Q^{1}(y) is a decreasing function of y to achieve a probability of false alarm α, we need to have . In other words, the AND rule requires a smaller threshold than the OR rule. This observation will become significant when we study the coverage of the detectors in Sect. IV.
Under H_{1}, the test statistics of the two sensor nodes 1 and 2 for large M become 2 correlated Gaussian random variables . To derive the system probability of detection for the ED for the two fusion rules we first make the following observation. The OR fusion rule can be thought of as max while the AND fusion rule is min . The exact distribution of the Max and Min of two correlated Gaussian random variables is given in [16] which can be used to obtain the probability of detection for the pair of nodes under the different fusion rules.
Covariance detector
where . The test statistic used is the sample covariance of the measurements between the two sensor nodes compared to a constant threshold γ_{ c } . Note that (21) exploits the correlation between the measurements of two sensors that are located close to each other.
while is obtained numerically.
where μ_{1CD} is given by (23) and σ_{1CD} is obtained numerically.
Enhanced covariance detector
In other words, a pair of sensors will become alarmed only if the sample covariance measured by the pair exceeds a threshold (different than the threshold used by the CD alone) and if either of the sensors becomes alarmed using the ED (i.e., if the recorded sample variance exceeds , different from the corresponding ED threshold). The test statistic is computed by any one of the two sensor nodes. The two thresholds, and are computed using and for the individual detectors ED and CD, respectively, using (20) and (25). This ensures that the pair's probability of false alarms for the ECD will be and we can directly compare its performance with the other detectors in a NeymanPearson formulation. The performance of the ECD in terms of probability of detection can be approximated assuming that the two decisions are independent or can be obtained through simulation.
Coverage area analysis
In this section we formally define the coverage area of the pair of sensors in terms of the P_{f} and the P_{d}. We show that the coverage area shape and size depends on the underlying fusion rule.
Definition 2: Given the acceptable false alarm probability for each pair is P_{f} = α, "Coverage Area" denotes the area around the sensor locations where if a source is present it will be detected by the pair with probability .
where γ is the appropriate detection threshold. Note that defining the coverage area as , is just a convention used to facilitate the graphical analysis. In this way, for symmetric distributions (e.g., Gaussian), the coverage area shape becomes simply a function of the mean. Next we investigate the coverage area for each detector.
Energy detector
Next we argue that the fusion rule to be used by a pair depends on the distance d between the two sensors. Let denote the coverage area of a single sensor node where R_{ e } is given by (29). Also, let denote the combined coverage area of two sensor nodes using the AND fusion rule and the coverage area of two sensor nodes using the OR fusion rule. As argued above, . When the distance between the two sensors is zero, both the union and intersection of the circles are the circles themselves, thus the coverage area of the AND rule is larger. On the other hand, as the distance is increased, there is a distance where the two circles become disjoint and coverage area of the pair becomes zero, while the coverage area of the pair that uses the OR rule achieves its maximum equal to . In fact, there exists a distance where the two fusion rules have identical performance. For the AND rule achieves better coverage whereas for the OR rule becomes superior.
Covariance detector
Note that for (32) it is necessary that d < 2a. If d = 0, i.e., the two sensors are located at the same point, then the coverage area is a circle with radius a. Also note that the maximum coverage area is achieved when d = 0. In other words, two sensors that use the CD can achieve their maximum coverage when they are located at exactly the same point.
Enhanced covariance detector
Simulation results
For all subsequent experiments, we use a square field of 500 × 500 with two sensors placed in the middle of the field separated by a horizontal distance d. We assume that the sensor measurements are given by the propagation model in Sect. II, with and M = 100. The thresholds for all detectors are calculated using the equations derived in Sect. III, to obtain a probability of false alarms P_{f} = α in a NeymanPearson formulation. To obtain the experimental probability of detection (P_{d}), we take the average over a grid of possible source locations that cover the entire field. For each source location we use 500 MonteCarlo simulations. For all experiments we use Matlab.
Preliminary simulation results with 100 randomly deployed sensors
Related work
In this section we review related work from the areas of distributed detection, area coverage in the context of WSN.
A. Distributed detection
Distributed detection using multiple sensors and optimal fusion rules has been extensively investigated for radar and sonar applications (see [5, 6] and references therein). The objective in most studies is to develop computationally efficient algorithms at the sensors and at the fusion center. Optimality is usually studied under the NeymanPearson and Bayesian detection criteria [15, 18]. Both of these formulations, however, require complete or partial knowledge of the joint densities (pdf) of the observations at the sensor nodes given the hypothesis. For conditionally independent observations, optimum fusion rules have been derived in [19, 20]. In largescale WSNs, however, the signal generated by the event to be detected has unknown strength and varies spatially making sensor observations locationdependent and not identically distributed. Without the conditional independence assumption there is no guarantee that optimal decision rules can be derived in terms of thresholds for the likelihood ratio because the optimal solution is mathematically intractable (NPhard) [21]. Fusion rules for correlated observations have been studied in [22–24]. They derive the optimum strategy at the fusion center when the local sensor performances in terms of the probability of detection, the probability of false alarm and the correlation between their local decisions are given. For the WSN under investigation, however, both, the local sensor performance and the correlation between their measurements are unknown and can change dynamically with the location of the event, making it infeasible in most cases to obtain this information at the fusion center. Consequently, one needs to resort to suboptimal schemes and heuristics to achieve the desired objectives and the optimal decision rule for detection should be determined at the sensor node level sometimes even before deployment [25].
B. Coverage in WSN
Coverage has been extensively studied for sensor networks in the last few years using mostly computational geometry techniques for developing algorithms for worstbest case coverage [7], exposure [8], or to determine whether an area is sufficiently kcovered [9]. Scheduling schemes have also been investigated in the literature for turning off some nodes while still preserving a complete coverage of the monitored area [26]. Most of the aforementioned work, however, assumes that the sensing coverage of a sensor node can be represented by a uniform disc inside which an event is always detected. There have also been a few attempts in the literature to deal with coverage in a probabilistic way by adding noise to the sensor measurements and considering the tradeoff involving the probability of false alarms [10–12]. They all assume i.i.d. observations between the sensor nodes, however, and do not consider the effects of spatial correlation.
Spatial correlation in WSN
In [4] the authors develop a theoretical framework to model the spatial and temporal correlations in a WSN and use it for designing efficient communication protocols but they do not address the problem of detection. The authors of [27] develop a decision fusion Bayesian framework for detecting and correcting sensor measurement faults in event region detection by exploiting the fact that measurement errors are uncorrelated while environmental conditions are spatially correlated. Spatial correlation in their work is only reflected by the fact that sensor nodes lie inside the event region they aim to detect. We additionally model the spatial correlation in the actual measurements that the sensor nodes get based on the distance from the event source and the distance from each other.
Conclusions and future work
In this article we investigate distributed detection strategies for improving the coverage (detection performance) of two sensor nodes as we vary the separation distance between them. For closely spaced sensor nodes the proposed ECD can significantly improve the coverage while attaining the same probability of false alarms as any other single distributed detection scheme. For sensor nodes that are further apart using the ED (with an OR fusion rule between the two sensor nodes) achieves the best coverage out of the distributed detector schemes tested.
For our future work we plan to extend these results to a randomly deployed WSN for detecting the presence of an event source. We plan to use a hybrid detection scheme where each sensor node independently decides which detector to employ based on the distance from its closest neighbor. Based on our current results we believe that this can improve significantly the overall coverage of the WSN, since it is often the case in random deployments that sensor nodes fall very close to each other.
Endnotes
^{a}For the purposes of this article, coverage is the probability of detecting the event averaged over the entire field under observation subject to a fixed probability of false alarms in a NeymanPearson formulation. In other words, coverage can be thought of as the spatial probability of detection, or the percentage of the area under observation where detection will happen with high enough probability.
^{b}Note that the unbiased estimator of the variance is given by but for large M the difference between the two becomes insignificant.
^{c}Note that due to the difference of the actual p_{dED} from the step function during the transition from one to zero (see Figure 1) the coverage area approximation in Figure 2 is less accurate near the areas where the two discs intersect. For those situations, the result obtained from the intersection of the two circles (AND) overestimates the true coverage while the result obtained from the union (OR) underestimates the actual coverage area. Nevertheless, for the calculation of the total coverage area this graphical representation method provides a reasonably accurate approximation.
Abbreviations
 CLT:

Central Limit Theorem
 CD:

covariance detector
 ED:

energy detector
 ECD:

enhanced covariance detector
 OD:

optimal detector
 WSN:

Wireless Sensor Network.
Declarations
Acknowledgements
This work is partly supported by the Cyprus Research Promotion Foundation, the European Regional Development Fund and the Government of Cyprus.
Authors’ Affiliations
References
 Akyildiz I, Su W, Sankarasubramaniam Y, Cayirci E: A survey on sensor networks. IEEE Communications Magazine 2002,40(8):102114. 10.1109/MCOM.2002.1024422View Article
 Zhao F, Guibas L: Wireless Sensor Networks: An Information Processing Approach. San Francisco, CA: Morgan Kaufmann; 2004.
 Chong C, Kumar S: Sensor networks: Evolution, opportunities, and challenges. Proceedings of the IEEE 2003,91(8):12471256. 10.1109/JPROC.2003.814918View Article
 Vuran M, Akan O, Akyildiz I: Spatiotemporal correlation: theory and applications for wireless sensor networks. Computer Networks 2004, 45: 245259. 10.1016/j.comnet.2004.03.007View Article
 Viswanathan R, Varshney P: Distributed detection with multiple sensors: Part Ifundamentals. Proceedings of the IEEE 1997,85(1):5463. 10.1109/5.554208View Article
 Blum R, Kassam S, Poor V: Distributed detection with multiple sensors: Part IIadvanced topics. Proceedings of the IEEE 1997,85(1):6479. 10.1109/5.554209View Article
 Meguerdichian S, Koushanfar F, Potkonjak M, Srivastava M: Coverage problems in wireless adhoc sensor networks. INFOCOM 2001, 13801387.
 Meguerdichian S, Koushanfar G, Qu G, Potkonjak M: Exposure in wireless adhoc sensor networks. MOBICOM 2001, 139150.
 Huang C, Tseng Y: The coverage problem in a wireless sensor network. MONET 2005,10(4):519528.MathSciNet
 Phipatanasuphorn V, Ramanathan P: Vulnerability of sensor networks to unauthorized traversal and monitoring. IEEE Transactions on Computers 2004,53(3):364369. 10.1109/TC.2004.1261841View Article
 Ahmed N, Kanhere S, Jha S: Probabilistic coverage in wireless sensor networks. IEEE Local Computer Networks 2005, 672679.
 Adlakha S, Srivastava M: Critical density thresholds for coverage in wireless sensor networks. IEEE Wireless Communications and Networking Conference (WCNC '03) 2003.
 Niu R, Varshney P, Moore M, Klamer D: Decision fusion in a wireless sensor network with a large number of sensors. In 7th IEEE International Conference on Information Fusion (ICIF'04). Stockholm, Sweden; 2004.
 Michaelides MP, Panayiotou CG: Collaborative pairwise detection schemes for improving coverage in WSNs. IEEE GLOBECOM 2009 2009.
 Kay SM: Fundamentals of Statistical Signal Processing: Detection Theory. New Jersey: Prentice Hall PTR; 1993.
 Nadarajah S, Kotz S: Exact distribution of the max/min of two gaussian random variables. IEEE Transactions on VLSI Systems 2008,16(2):210212.View Article
 Greunen J, Rabaey J: Lightweight time synchronization for sensor networks. 2nd ACM international conference on Wireless sensor networks and applications (WSNA'03) 2003.
 Van Trees H: Detection, Estimation and Modulation Theory. New York: John Wiley and Sons Inc.; 2001.View Article
 Varshney PK: Distributed Detection and Data Fusion. New York: Springer; 1997.View Article
 Chair Z, Varshney P: Optimal data fusion in multiple sensor detection systems. IEEE Transactions on Aerospace and Electronic Systems 1986,22(1):98101.View Article
 Tsitsiklis J, Athans M: On the complexity of decentralized decision making and detection problems. IEEE Transactions on Automatic Control 1985,30(5):440446. 10.1109/TAC.1985.1103988MathSciNetView Article
 Willett P, Swaszek P, Blum R: The good, bad, and ugly: distributed detection of a known signal in dependent gaussian noise. IEEE Transactions on Signal Processing 2000, 48: 32663279. 10.1109/78.886990MathSciNetView Article
 Drakopoulos E, Lee C: Optimal multisensor fusion of correlated local decisions. IEEE Transactions on Aerospace and Electronic Systems 1991,27(4):593606. 10.1109/7.85032View Article
 Kam M, Zhu Q, Gray S: Optimal data fusion of correlated local decisions in multiple sensor detection systems. IEEE Transactions on Aerospace and Electronic Systems 1992,28(3):916920. 10.1109/7.256317View Article
 Sung Y, Tong L, Swami A: Asymptotic locally optimal detector for largescale sensor networks under the poisson regime. IEEE Transactions on Signal Processing 2005,53(6):20052017.MathSciNetView Article
 Tian D, Georganas N: A coveragepreserving node scheduling scheme for large wireless sensor networks. First ACM Workshop on Wireless Sensor Networks and Applications 2002.
 Krishnamachari B, Iyengar S: Distributed bayesian algorithms for faulttolerant event region detection in wireless sensor networks. IEEE Transactions on Computers 2004,53(3):241250. 10.1109/TC.2004.1261832View Article
Copyright
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.