A framework for proving the self-organization of dynamic systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2010

A framework for proving the self-organization of dynamic systems

Résumé

This paper aims at providing a rigorous definition of self- organization, one of the most desired properties for dynamic systems (e.g., peer-to-peer systems, sensor networks, cooperative robotics, or ad-hoc networks). We characterize different classes of self-organization through liveness and safety properties that both capture information regarding the system entropy. We illustrate these classes through study cases. The first ones are two representative P2P overlays (CAN and Pastry) and the others are specific implementations of Ω (the leader oracle) and one-shot query abstractions for dynamic settings. Our study aims at understanding the limits and respective power of existing self-organized protocols and lays the basis of designing robust algorithm for dynamic systems.
Fichier principal
Vignette du fichier
Anceaume_et_al.pdf (318.52 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00534372 , version 1 (09-11-2010)

Identifiants

  • HAL Id : inria-00534372 , version 1
  • ARXIV : 1011.2312

Citer

Emmanuelle Anceaume, Xavier Défago, Maria Potop-Butucaru, Matthieu Roy. A framework for proving the self-organization of dynamic systems. [Research Report] Rapport LAAS n° 10746, LAAS. 2010, pp.26. ⟨inria-00534372⟩
346 Consultations
116 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More