I Introduction
In WSNs, sensors are deployed over a region such as forest or wetlands, to form a wireless network and exchange mutual data to sense an event. WSN may have a central hub to facilitate the joint detection. There are two essential aspects of WSNs. The first aspect is the coverage aspect i.e. to maximize the region covered by sensors, termed the coverage or sensing region. This will ensure that at least one sensor can detect the target event with a certain probability. The second aspect is to minimize energy consumption as wireless sensors have a limited power budget. Sensors can form small clusters with each cluster having one head, which acts as a gateway to the central hub [1]. In this hierarchical network, sensors transmit their sensing data to their local cluster heads, which then communicates it to the central hub to jointly make sensing decision. Such clustering can reduce the power requirement of nodes, but can degrade overall coverage. The deployment of sensors in a WSN is generally random. Hence, the tools of stochastic geometry can be applied to model and analyze WSNs.
One popular process to model the coverage area of a WSN is the BooleanPoisson process. The BooleanPoisson process is defined as the union of independent random objects with their centers located according to a Poisson point process (PPP) [2, 3, 4]. The random objects denote the individual coverage region of sensors while the centers denote sensors’ locations. Owing to the mathematical tractability of PPPs, BooleanPoisson process is simple yet powerful to derive performance metrics of WSNs such as the probability that a location is not covered, and the expected area of uncovered region [5, 6, 7].
The capacity function of the BooleanPoisson process, which characterizes the sensing probability of an event, was studied in [8]. As the underlying process of the Boolean Poisson model is PPP, the location of sensors nodes is independent of each other in this model. In some scenarios, the deployment of sensors is not entirely independent and the sensors may exhibit clustering in their deployment. This may be due to the easiness in deploying sensors in small groups or to facilitate the communication between the sensor and its gateway by decreasing their mutual distance.
The Poisson cluster process (PCP) can be used to model the locations of sensors in such scenarios [9]. The two important variants of PCP are the Matérn cluster process (MCP) and Thomas cluster process (TCP). The characterization of contact and nearest neighbor distance distribution for these processes is presented in [10, 11]. To model the coverage region of WSNs exhibiting such clustering, we propose to use Boolean Poisson cluster models (BPCM) where the underlying process to model sensors’ locations is a PCP and each sensor has an independent sensing region around it. There has been limited work to characterize BPCM e.g. [12]. However, coverage and sensing performance of WSNs that are deployed according to BPCM has not been studied in detail.
In this paper, we consider three WSNs that are deployed according to MCP, TCP, and PPP, respectively. The coverage area of these WSNs can be modeled using Boolean MC, Boolean TC, and Boolean Poisson models (or processes). We first derive the capacity functional of Boolean MC and TC models. Using these expressions, we then compute the sensing probability of an event with a compact spread area. We also provide simple bounds for Boolean MC model to help derive insights for the system. We also derive the power required for each cluster to collect data from all of its sensors for the three considered WSNs.
Finally, we perform a comparative analysis of these three deployments. We show that clustering decreases the coverage area and sensing probability, especially in the case of sensors with large individual sensing regions. However, it also reduces the power requirement of sensors. In scenarios where sensors have limited power, clustered deployments can provide better coverage performance.
Ii System Model
In this paper, we consider a wireless sensor network deployed over space. The locations of the sensors are modeled by a point process with density . Each sensor has a sensing range around it denoted by and assumed to be independent of other sensors. The total covered region (i.e. the region which falls inside the sensing region of at least one sensor) is given as
which is known as a Boolean Process/Model and is a special case of Germgrain model. Each point is termed as a germ with its sensing region as its grain.
Iia Sensor network
We assume that sensors follow clusterization where the network is made from many cluster heads with each cluster head responsible to control and communicate with sensors assigned to it. Such network can be modeled using a cluster process. A cluster process consists of daughter point process centered at their parents whose locations are also according to a point process. Let , be a parent point process where is the location of th parent point (models the location of cluster center or cluster head in WSN) in . For each point , there is an associated daughter point process , where is the location of th daughter point. The absolute location of these points are given as Each daughter point process is independent and identically distributed. Now the PP modeling the sensors’ location is the union of all these daughter points i.e.
and known as the cluster process. It is clear from the above discussion that the cluster head is the parent point to all sensors of the cluster. It is intuitive to keep the cluster head at the center of the cluster and as close as possible to the sensors in the cluster to minimize the energy required in communication. We now consider three PPs to model the locations of WSN:
IiA1 Matérn cluster process
In MCP, is a homogeneous PPP with intensity . Each is a finite PPP within a ball . The mean number of points in each daughter point process is and therefore the intensity , of each daughter point process will be . Total density of the PP is .
IiA2 Thomas cluster process
In TCP, is a homogeneous PPP with intensity . Each is a nonuniform PPP with the intensity
where is the mean number of points in each daughter point process. Total density of the PP is .
Symbol  Definition 

Ball of radius centred at location .  
2D process such as MCP or TCP modeling location of sensors.  
Intensity of PPP.  
Intensity of parent point process.  
Intensity of daughter point process in a cluster process.  
The size of an event , which may grow with time.  
The fixed sensing radius associated with each sensor.  
Compact disk of radius of th point associted with th parent and models the sensing zone of sensor.  
Occupied region in by all the points. Represents the area falling under the sensing zone of all sensors.  
Minkowski addition.  
2 norm of .  
Daughter point process coressponding to th parent.  
Intersecting area between and : . 
IiA3 Poisson point process
In this, sensors are located according to a PPP with intensity . For the sake of consistency, another independent PPP with intensity defines the location of cluster heads. Sensors form clusters by selecting the closest cluster head.
Now, depending on the deployment of sensors, we consider the following processes to model the total coverage region which is the union of all sensing regions. In each model, sensors have their individual sensing region as around it independent of other sensors. Here is the fixed sensing range of each sensor.

Boolean MC process: The sensors’ locations follow MCP.

Boolean TC process: The sensors’ locations follow as TCP.

Boolean P process: The sensors’ location are modeled as PPP. Results for this case are known, however this case is considered for comparison.
The important symbols and notations used in the paper are shown in TABLE I. For simplicity, the same notations are being used to represent similar parameters of cluster processes whenever it is clear from the context. For e.g. denote the mean number of points in a daughter point process (PP) of TCP as well as in MCP.
IiB Sensing Performance
Sensing performance of a WSN can be measured in terms of Capacity functional. The capacity functional of Boolean process for a compact set is the probability that the the set and are not disjoint i.e.
If denote any event’s impact area, then denote the coverage/sensing probability i.e. probability that the event is sensed by the sensor network. In particular, we will consider as in and denote the capacity functional for this set by . Here denote the size of the event. Since the network is stationary, we have taken the center at the origin . For dynamic events, can grow in size with time [8].
Remark 1.
The capacity functional for a Boolean P process with intensity and sensing range is given as [6]
For circular set , is
The probability that an arbitrary point is covered is given by:
IiC Power Requirement
Power requirement of a system is defined as the sum power required by sensors in a unit area to be able to communicate to their cluster head. Assuming a powerlaw path loss with path loss exponent and the SNR threshold required for successful communication, the power requirement is given as
where denotes the cluster head of the sensor .
Iii Sensing Performance
In this section, we will derive the sensing performance of the WSN for the two considered models and provide closed form upper and lower bounds for the same.
Iiia Boolean MC Process
Theorem 1.
The capacity functional for the Boolean MC Process is given as (See Appendix A for the proof):
(1) 
Corollary 1.
For circular , the Minkowski sum is . Hence the expression for the capacity functional is:
(2) 
Theorem 2.
Theorem 3.
Proof:
IiiA1 Asymptotic behavior of with while keeping fixed.
By increasing the while keeping fixed, we can decrease the clustering of points and spread points more in the space. Hence, the asymptotic behavior of helps us in understanding the impact of clustering (or mutualattraction of points) on the sensing performance.
When : Taking the limit in the Theorem 3, we get the lower bound
Similarly, taking limit of the upper bound in Theorem 2, we get
Since, both upper and lower bounds converge to the same function, the capacity functional converges to the same function. As , converges to with intensity .
When : Using the expressions from Theorem 2, we see that both the upper and lower bound converge to . Note that this is equal to the capacity functional of a Boolean P process with intensity . The required power for Boolean MC process is given as:
IiiB Boolean TC Process
Theorem 4.
The required power for Boolean TC process is given as
IiiC Boolean Poisson Process
In this case, the required power is given as
Now, is the closest cluster head (which is modeled as PPP with intensity ), hence the distribution of its distance from the origin is given as
Hence,
Iv Coverage Analysis with Sensor Power Constraints
Let the required perunit area power to be the which is kept constant for all three deployments. Now, for the provided , we will derive the parameter specifications for the three models to be able to compare their coverage performance.
Iva Boolean MC process
In case of Boolean MC process, the cluster radius should be equal to
IvB Boolean TC process
IvC Boolean P process
The mean number of points per cluster head in Boolean P process should be equal to
By fixing , we can get the expression for the coverage probability in Boolean P process.
Capacity functional/sensing probability of BooleanTC process:
Fig. 3 shows the variation of sensing probability with respect to the event size for two values of cluster spread . Similar trends as Boolean MC process can be seen here.
Impact of sensors’ deployment:
Fig. 6 shows the comparison among the sensing performance of the three deployments , and . For the fair comparison, we took of equal to of . Recall that has highest clustering, has moderate and has no clustering (independence across sensors). It can be observed that has the lowest capacity functional. It can be justified by the fact that the confinement of daughter points inside a ball in increases the overlap among sensing regions of sensors in the cluster.
In case of , the daughter points are more scattered and can cover a larger region. In the case of , points are the most scattered which leads to the highest performance. The graph also shows the variation of capacity functional over and . The graph depicts that increasing these parameter, or will converge to (and hence their sensing performance).
Tradeoff between number of sensors vs sensing radius:
Fig. 6 shows the variation of capacity functional with , while keeping fixed. serves as a proxy to the system cost as increasing any of and increases the cost (both infra stricture and operating). Our analysis shows that for small event size , a WSN with larger provides higher sensing performance. However, as increases, it is better to have a higher number of sensors than the larger sensing range.
Impact on coverage with constrained network power: The point coverage probability is defined as the capacity functional with . For the cluster processes we have considered and . We now fix the percluster power requirement and compute coverage probability of the three deployments. Fig. 6 shows the coverage probability of three networks under various power levels. At lower , it can be observed that MCP and TCP Boolean models provide better coverage probability. As power constraints are less restrictive, the coverage probability increases. With sensors having higher power, the PPP Boolean can provide better coverage. We can observe that clustered deployments can provide better coverage under stricter power constraints.
V Conclusion
This paper performs the coverage analysis of a wireless sensor network when the sensors’ location are according to PPP, MCP and TCP. In these cases, sensor network can be modeled via BooleanP, Boolean MCP and Boolean TCP processes. We derived the expressions for the capacity function of the two clustered deployments. As far as highest coverage is the goal, PPP performs the best of the three as the rest of two processes are attractive processes and this difference in the coverage area of clustered and PPP deployments reduces with the sensing radius of individual sensors. However, clustered deployments require less energy as their clustered heads are statistically closer than that of BooleanP deployment. We also derive the average percluster required power to achieve a certain coverage area. Raising the average per cluster power allows larger the cluster radius and thus higher point coverage probability. A general tradeoff can be see between percluster required energy and coverage area when choosing between clustered or Poisson deployments. It is also observed that when sensors have low power levels, deployment, according to a Boolean cluster process, can provide better performance compared to deployment according to a Boolean Poisson process.
Appendix A
The probability that does not intersect with the covered region is given by:
Here is due to the definition of Minkowski sum and is applying the PGFL of . Applying the PGFL of we get the MCP capacity functional (1).
Appendix B
To solve the integral expression presented in (2) we are presenting couple of bounds over the intersecting region . The bounding techniques are similar to [13, Th. 2, App. C]. Fig. 7 depicts the shapes (circle and rectangle) which can bound the area of intersection between the two circle. Let the two circle be and , of radius and respectively. A third circle of radius centered at will be entirely inside the intersecting region. Similarly, a rectangle of width and height will completely cover the intersecting area hence acts as an upper bound. For detailed discussion over the bounds readers are advised to refer [13, 10].
Appendix C
The proof is similar to the proof in Appendix A. For Boolean TCP process, the null probability is
Here is acquired by the PGFL of . Let and :
(3) 
Without loss of generality, it can be assumed that as the parent point process is rotation invariant. Thus, replacing with . Applying the PGFL of in (3), we get the Theorem 4.
References
 [1] S. S. Iyengar and R. R. Brooks, Distributed Sensor Networks: Sensor Networking and Applications (Volume Two). CRC press, 2016.
 [2] M. Haenggi, Stochastic geometry for wireless networks. Cambridge University Press, 2012.
 [3] Benyuan Liu and D. Towsley, “A study of the coverage of largescale sensor networks,” in in Proc. International Conference on Mobile Adhoc and Sensor Systems, Oct 2004, pp. 475–483.
 [4] S. J. Baek and G. de Veciana, “Spatial model for energy burden balancing and data fusion in sensor networks detecting bursty events,” IEEE Trans. Inf. Theory, vol. 53, no. 10, pp. 3615–3628, Oct 2007.
 [5] F. Baccelli and B. Błaszczyszyn, Stochastic Geometry and Wireless Networks, 2nd ed. NOW Publishers, 2009, vol. 1.
 [6] S. N. Chiu, D. Stoyan, W. S. Kendall, and J. Mecke, Stochastic geometry and its applications. John Wiley & Sons, 2013.
 [7] I. Flint, H. Kong, N. Privault, P. Wang, and D. Niyato, “Wireless energy harvesting sensor networks: Boolean–poisson modeling and analysis,” IEEE Trans. Wireless Commun., vol. 16, no. 11, pp. 7108–7122, Nov 2017.
 [8] K. Pandey and A. Gupta, “Modeling and analysis of wildfire detection using wireless sensor network with Poisson deployment,” in Proc. IEEE ANTS, Dec. 2018. [Online]. Available: https://arxiv.org/abs/1810.07511
 [9] P. Mekikis, E. Kartsakli, A. Antonopoulos, L. Alonso, and C. Verikoukis, “Connectivity analysis in clustered wireless sensor networks powered by solar energy,” IEEE Trans. Wireless Commun., vol. 17, no. 4, pp. 2389–2401, April 2018.
 [10] K. Pandey, H. S. Dhillon, and A. K. Gupta, “On the contact and nearestneighbor distance distributions for the ndimensional cluster process,” IEEE Wireless Commun. Lett, pp. 1–1, 2019.
 [11] M. Afshang, C. Saha, and H. S. Dhillon, “Nearestneighbor and contact distance distributions for Thomas cluster process,” IEEE Commun. Lett, vol. 6, no. 1, pp. 130–133, 2017.
 [12] G. Last and M. Holtmann, “On the empty space function of some germgrain models,” Pattern Recognition, vol. 32, no. 9, pp. 1587–1600, 1999.
 [13] K. K. Pandey and A. K. Gupta, “On detection of critical events in a finite forest using randomly deployed wireless sensors,” in Proc. SpasWin June 2019. [Online]. Available: https://arxiv.org/pdf/1904.09543.pdf
Comments
There are no comments yet.