Effective coverage in sensor networks: Binary integer programming formulations and heuristics

Coverage is a fundamental task in sensor networks. We present two binary integer programming models for the effective sensor placement on a grid-structured sensor field when there are more than one type of available sensors with varying sensing quality and price. The first model assumes perfect sensor detection. The second one is more realistic and gives an optimal placement strategy for probabilistic sensing. Both models suffer from the intractability of the binary integer programming formulations. We therefore suggest greedy and Lagrangean heuristics, which are both accurate and efficient. Computational results are also provided.

[1]  S. Sitharama Iyengar,et al.  Sensor placement for grid coverage under imprecise detections , 2002, Proceedings of the Fifth International Conference on Information Fusion. FUSION 2002. (IEEE Cat.No.02EX5997).

[2]  Gaurav S. Sukhatme,et al.  An Incremental Self-Deployment Algorithm for Mobile Sensor Networks , 2002, Auton. Robots.

[3]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[4]  Marshall L. Fisher,et al.  The Lagrangian Relaxation Method for Solving Integer Programming Problems , 2004, Manag. Sci..

[5]  Krishnendu Chakrabarty,et al.  Uncertainty-aware and coverage-oriented deployment for sensor networks , 2004, J. Parallel Distributed Comput..

[6]  Carsten Lund,et al.  On the hardness of approximating minimization problems , 1993, STOC.

[7]  S. Sitharama Iyengar,et al.  Grid Coverage for Surveillance and Target Location in Distributed Sensor Networks , 2002, IEEE Trans. Computers.

[8]  S. Iyengar,et al.  Multi-Sensor Fusion: Fundamentals and Applications With Software , 1997 .

[9]  M. Potkonjak,et al.  Low Power 0 / 1 Coverage and Scheduling Techniques in Sensor Networks , 2003 .

[10]  Matteo Fischetti,et al.  Algorithms for the Set Covering Problem , 2000, Ann. Oper. Res..

[11]  Krishnendu Chakrabarty,et al.  Sensor deployment and target localization based on virtual forces , 2003, IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE Cat. No.03CH37428).

[12]  Hanif D. Sherali,et al.  Linearization Strategies for a Class of Zero-One Mixed Integer Programming Problems , 1990, Oper. Res..

[13]  Philip Wolfe,et al.  Validation of subgradient optimization , 1974, Math. Program..

[14]  Krishnendu Chakrabarty,et al.  Sensor placement for effective coverage and surveillance in distributed sensor networks , 2003, 2003 IEEE Wireless Communications and Networking, 2003. WCNC 2003..

[15]  Deborah Estrin,et al.  GPS-less low-cost outdoor localization for very small devices , 2000, IEEE Wirel. Commun..