Theoretical treatment of target coverage in wireless sensor networks

  • Authors:
  • Yu Gu;Bao-Hua Zhao;Yu-Sheng Ji;Jie Li

  • Affiliations:
  • School of Computer Science, University of Science and Technology of China, Hefei, China;School of Computer Science, University of Science and Technology of China, Hefei, China and State Key Laboratory of Networking and Switching Technology, Beijing, China;Information Systems Architecture Science Research Division, National Institute of Informatics, Tokyo, Japan;Department of Computer Science, University of Tsukuba, Tsukuba Science City, Ibaraki, Japan

  • Venue:
  • Journal of Computer Science and Technology - Special issue on natural language processing
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

The target coverage is an important yet challenging problem in wireless sensor networks, especially when both coverage and energy constraints should be taken into account. Due to its nonlinear nature, previous studies of this problem have mainly focused on heuristic algorithms; the theoretical bound remains unknown. Moreover, the most popular method used in the previous literature, i.e., discretization of continuous time, has yet to be justified. This paper fills in these gaps with two theoretical results. The first one is a formal justification for the method. We use a simple example to illustrate the procedure of transforming a solution in time domain into a corresponding solution in the pattern domain with the same network lifetime and obtain two key observations. After that, we formally prove these two observations and use them as the basis to justify the method. The second result is an algorithm that can guarantee the network lifetime to be at least (1 - ε) of the optimal network lifetime, where ε can be made arbitrarily small depending on the required precision. The algorithm is based on the column generation (CG) theory, which decomposes the original problem into two sub-problems and iteratively solves them in a way that approaches the optimal solution. Moreover, we developed several constructive approaches to further optimize the algorithm. Numerical results verify the efficiency of our CG-based algorithm.