skip to main content
10.1145/1176866.1176875acmconferencesArticle/Chapter ViewAbstractPublication PagesmiddlewareConference Proceedingsconference-collections
Article

Boolean formulation for sensor allocation problem and its efficient solver

Published: 28 November 2006 Publication History

Abstract

This paper proposes a sensor allocation technique that can be applied to a sensor network constructed of many sensor nodes having multiple sensors. First, after describing the sensor network model, the problem is formulated. The formulation can handle the following two cases: (1) a minimum number of sensor nodes, and (2) a maximum number of sensor nodes, each of which uses only one or a few of its sensors. The formulation is based on 0-1 Integer Linear Programming. A dedicated solver using a Binary Decision Diagram (BDD) is also described. The proposed method can deal with the sudden death of a sensor and can rapidly reproduce optimal solutions without the dead sensor. According to the experimental results, all optimal and feasible solutions are obtained within 5 seconds in the case of 100 sensors.

References

[1]
I. F. Akyildiz, W. Su, Y. Sankarasubramaniam, and E. Cayirci, "A Survey on sensor networks," IEEE Communications Magazine. pp. 102--114, August 2002.
[2]
E. Biagioni, and K. Bridges, "The Application of sensor technology to assist the recovery of rare and endangered species," Special Issue of Distributed Sensor Networks for the International Journal of High Performance Computing Applications, Vol. 16, pp. 315--324, August 2002.
[3]
Crossbow Technology, Inc http://www.xbow.com
[4]
Millennial Net, Inc http://www.millennial.net
[5]
Hitachi Wirelessinfo Venture Company http://www.hitachi.co.jp/wirelessinfo/airsense/
[6]
S. Shakkottai, R. Srikant, and N. Shroff, "Unreliable Sensor Grids: Coverage, Connectivity and Diameter," IEEE Proc. INFOCOM'03, March 2003.
[7]
S. Tilak, N. B. Abu-Ghazaleh, and W. Heinzelman, "Infrastructure tradeoffs for sensor networks," ACM Proc. WSNA'02, pp. 49--58, Sept. 2002
[8]
S. HAN, E. Chan, R. Cheng, and K. Lam, "A Statistics-Based Sensor Selection Scheme for Continuous Probabilistic Queries in Sensor Networks," IEEE Proc. RTCSA'05, pp. 331--336, 2005.
[9]
Y. Lin and W. Liang, "Approximate Coverage in Wireless Sensor Networks," IEEE Proc. LCN'05, pp. 68--75, 2005.
[10]
R. Mailler, V. Lesser, B. Horling, "Cooperative Negotiation for Soft Real-Time Distributed Resource Allocation," Proc. AAMAS'03, pp. 576--583. July 2003.
[11]
M. Elser, J. Hightower, T Anderson, G. Borriello, "Next Century Challenges: Data-Centric Networking for Invisible Computing," ACM/IEEE Proc. MOBICOM'99, pp. 256--262, 1999.
[12]
Y. Kotidis, "Snapshot Queries: Towards Data-Centric Sensor Networks," IEEE Proc. ICDE'05, April 2005.
[13]
R. E. Bryant, "Graph-based Algorithms for Boolean Function Manipulation," IEEE Trans. Comput., Vol. C-35, No. 8, pp. 677--691, August 1986.
[14]
R. Ebendt, G. Fey, and R. Frechsler, Advanced BDD Optimization, Springer, 2005.
[15]
A. Srinivasan, T. Kam, S. Malik, and R. E. Brayton, "Algorithm for Discrete Function Manipulation," IEEE Proc. ICCAD'90, pp. 92--95, November 1990.
[16]
B. Lin and F. Somenzi, "Minimization of Symbolic Relations," IEEE Proc. ICCAD'90, pp. 88--91, November 1990.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
MidSens '06: Proceedings of the international workshop on Middleware for sensor networks
November 2006
71 pages
ISBN:1595934243
DOI:10.1145/1176866
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 November 2006

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. BDD
  2. combinational optimization
  3. dynamic allocation

Qualifiers

  • Article

Conference

Middleware06
Sponsor:
Middleware06: 7th International Middleware Conference
November 28, 2006
Melbourne, Australia

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 164
    Total Downloads
  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 26 Jan 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media