Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols

Résumé

The model of autonomous oblivious and anonymous mobile robots recently emerged as an attractive distributed computingabstraction that permits to assess the intrinsic difficulties of many fundamentals tasks, such as exploring orgathering in a discrete space. We present and implement a generic method for obtaining all possible protocols for aswarm of mobile robots operating in a particular discrete space. We use the exclusive perpetual exploration ofanonymous rings as a case study. Our method permits to discover new protocols that solve the problem, and to assessspecific optimization criteria (such as individual coverage, visits frequency, etc.) that are met by those protocols.To our knowledge, this is the first attempt to mechanize the discovery and fine-grained property testing ofdistributed mobile robot protocols.
Fichier non déposé

Dates et versions

hal-01108586 , version 1 (23-01-2015)

Identifiants

Citer

François Bonnet, Xavier Défago, Franck Petit, Maria Potop-Butucaru, Sébastien Tixeuil. Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols. Workshop on Self-organization in Swarm of Robots: from Molecular Robots to Mobile Agents (WSSR 2014), Oct 2014, Nara, Japan. pp.50-59, ⟨10.1109/SRDSW.2014.34⟩. ⟨hal-01108586⟩
259 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More