On the convergence of population protocols when population goes to infinity

Abstract : Population protocols have been introduced as a model of sensor networks consisting of very limited mobile agents with no control over their own movement. A population proto- col corresponds to a collection of anonymous agents, modeled by finite automata, that interact with one another to carry out computations, by updating their states, using some rules. Their computational power has been investigated under several hypotheses but always when restricted to finite size populations. In particular, predicates stably computable in the original model have been characterized as those definable in Presburger arithmetic. We study mathematically the convergence of population protocols when the size of the population goes to infinity. We do so by giving general results, that we illustrate through the example of a particular population protocol for which we even obtain an asymptotic development. This example shows in particular that these protocols seem to have a rather different computational power when a huge population hypothesis is considered.
Type de document :
Article dans une revue
Applied Mathematics and Computation, Elsevier, 2009, Applied Mathematics and Computation, 215, pp.1340-1350
Liste complète des métadonnées

https://hal.inria.fr/inria-00432318
Contributeur : Johanne Cohen épouse Bournez <>
Soumis le : lundi 16 novembre 2009 - 10:49:17
Dernière modification le : jeudi 10 mai 2018 - 02:06:57

Identifiants

  • HAL Id : inria-00432318, version 1

Collections

Citation

Olivier Bournez, Philippe Chassaing, Xavier Koegler, Lucas Gerin, Johanne Cohen. On the convergence of population protocols when population goes to infinity. Applied Mathematics and Computation, Elsevier, 2009, Applied Mathematics and Computation, 215, pp.1340-1350. 〈inria-00432318〉

Partager

Métriques

Consultations de la notice

272