Knowledge-Theoretic Protocols for Wireless Sensor Networks
Ioanna Symeou
The need for novel abstractions for Wireless Sensor Networks inspired the exploration of possible knowledge theoretic models for these networks. Abstracting Wireless Sensor Networks as knowledge theoretic multiagent systems could enable the systematic design and verification of protocols, by examining whether a required state of knowledge is reached in the network. Such an abstraction can also be used to derive certain properties and limitations for classes of protocols. The use of a knowledge theoretic model for Wireless Sensor Networks is thus investigated, along with examples of how such a model would facilitate protocol design and verification. An example knowledge-based protocol is examined, and evaluated through experimental simulation and off-line analysis.
BibTex Entry
@inproceedings{Symeou2007a,
author = {Ioanna Symeou},
booktitle = {Proceedings of the 3rd IET UK Embedded Forum},
month = {Apr},
organization = {IET},
pages = {3--9},
title = {Knowledge-Theoretic Protocols for Wireless Sensor Networks},
year = {2007}
}