%0 Conference Proceedings
%T Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory
%+ Department of Informatics [Oslo]
%+ The Interventional Center, Oslo University Hospital, Institute of Hospital Medicine
%+ Department of Electronics and Telecommunication
%A Kazemeyni, Fatemeh
%A Johnsen, Einar Broch
%A Owe, Olaf
%A Balasingham, Ilangko
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
%C Amsterdam, Netherlands
%Y John Hatcliff; Elena Zucca
%I Springer
%3 Formal Techniques for Distributed Systems
%V LNCS-6117
%P 95-109
%8 2010-06-07
%D 2010
%R 10.1007/978-3-642-13464-7_9
%Z Computer Science [cs]/Digital Libraries [cs.DL]Conference papers
%X Wireless sensor networks are typically ad-hoc networks of resource-constrained nodes; in particular, the nodes are limited in power resources. It can be difficult and costly to replace sensor nodes, for instance when implanted in the human body. Data transmission is the major consumer of power, so it is important to have power-efficient protocols. In order to reduce the total power consumption in the network, we consider nodes which cooperate to transmit data. Nodes which cooperate, form a group. A mobile node may at some point be without a group, in which case it is desirable for the node to be able to join a group. In this paper we propose a modification of the AODV protocol to decide whether a node should join a given group, using coalitional game theory to determine what is beneficial in terms of power consumption. The protocol is formalized in rewriting logic, implemented in the Maude tool, and validated by means of Maude's model exploration facilities.
%G English
%2 https://inria.hal.science/hal-01055142/document
%2 https://inria.hal.science/hal-01055142/file/61170093.pdf
%L hal-01055142
%U https://inria.hal.science/hal-01055142
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-LNCS-6117
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-FMOODS
%~ IFIP-2010