View source for Probabilistic Coverage and Connectivity

Wireless sensor networks have been proposed for many applications such as forest fire detection, area surveillance, and natural habitat monitoring. A common ground for all such applications is that every sensor can detect an event occurring within its sensing range, and sensors collaborate in some way to deliver events, or information related to these events, to processing centers for possible actions. 
In many of the previous works, the sensing range is assumed to be a uniform disk of radius <math>r_s</math>. The disk model assumes that if an event happens at a distance less than or equal to rs from the sensor location, the sensor will deterministically detect this event. On the other hand, an event occurring at a distance <math> r_s + \epsilon (epsilon > 0)</math> can not be detected at all, even for very small <math>\epsilon</math> values. The disk sensing model is appealing, because it makes coverage maintenance protocols less complicated to design and analyze. However, it is unlikely that physical signals drop abruptly from high, full-strength values to zero, as the disk model assumes. This implies that there might be a chance to detect an event occurring at distances greater than rs.
By ignoring this extra sensing capacity, the disk model may not fully utilize the sensing capacity of sensors, which may lead to: (i) deploying more sensors than needed and thus incurring higher cost, (ii) activating redundant sensors which increases interference and wastes energy, and ultimately (iii) decreasing the lifetime of the sensor network. 

Several studies have argued that probabilistic sensing models capture the behavior of sensors more realistically than the deterministic disk model. A probabilistic sensing model is more realistic because the phenomenon being sensed, sensor design, and environmental conditions are all stochastic in nature.
For instance, noise and interference in the environment can be modeled by stochastic processes. Sensors manufactured by the same factory are not deterministically identical in their behavior, rather, sensor characteristics are usually modeled using statistical distributions.

In this project, we consider probabilistic sensing and radio communication models in designing protocols for large-scale sensor networks. Probabilistic models are more realistic in capturing the characteristics of actual sensors than the over-simplified regular disk model. 

== People ==

* [http://www.cs.sfu.ca/~mhefeeda/ Mohamed Hefeeda]

* Hossein Ahmadi (M.Sc., Graduated Summer 2007)


== Publications ==

* M. Hefeeda and H. Ahmadi, [http://www.cs.sfu.ca/~mhefeeda/Papers/tpds10.pdf Energy-Efficient Protocol for Deterministic and Probabilistic Coverage in Sensor Networks], ''IEEE Transactions on Parallel and Distributed Systems'',  21(5), pp. 579--593, May 2010. 

* M. Hefeeda and H. Ahmadi, [http://www.cs.sfu.ca/~mhefeeda/Papers/ahswn09b.pdf An Integrated Protocol for Maintaining Connectivity and Coverage under Probabilistic Models for Wireless Sensor Networks], ''Ad Hoc & Sensor Wireless Networks'',  7(3-4), pp. 295--323, April 2009.   

* M. Hefeeda, H. Ahmadi, [http://www.cs.sfu.ca/~mhefeeda/Papers/icnp07.pdf A Probabilistic Coverage Protocol for Wireless Sensor Networks], In Proc. of IEEE International Conference on Network Protocols (ICNP'07), Beijing, China, October 2007.  (Acceptance: 15%)

* M. Hefeeda, H. Ahmadi, [http://www.cs.sfu.ca/~mhefeeda/Papers/mass07.pdf Network Connectivity under Probabilistic Communication Models in Wireless Sensor Networks], In Proc. of IEEE International Conference on Mobile Ad-hoc and Sensor Systems (MASS'07),  Pisa, Italy, October 2007.  (Acceptance: 25%)


== Software ==

* Implementation of the Probabilistic Coverage Protocol (PCP) in NS-2.  [[http://nsl.cs.sfu.ca/projects/wsn/PCP-NS-README readme]] [[http://nsl.cs.sfu.ca/projects/wsn/pcp-ns.tar.gz code]] 

* Implementation of the Probabilistic Coverage Protocol (PCP) in C++.  [[http://nsl.cs.sfu.ca/projects/wsn/PCP-SenSim-README readme]] [[http://nsl.cs.sfu.ca/projects/wsn/PCP-SenSim.tar.gz code]]