Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols

Abstract : 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.
Type de document :
Communication dans un congrès
Workshop on Self-organization in Swarm of Robots: from Molecular Robots to Mobile Agents (WSSR 2014), Oct 2014, Nara, Japan. IEEE, 2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops, pp.50-59, 2014, 〈http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6979353〉. 〈10.1109/SRDSW.2014.34〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01108586
Contributeur : Franck Petit <>
Soumis le : vendredi 23 janvier 2015 - 09:47:42
Dernière modification le : vendredi 25 mai 2018 - 12:02:03

Identifiants

Collections

Citation

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. IEEE, 2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops, pp.50-59, 2014, 〈http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6979353〉. 〈10.1109/SRDSW.2014.34〉. 〈hal-01108586〉

Partager

Métriques

Consultations de la notice

353