Skip to Main content Skip to Navigation
New interface
Conference papers

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.
Complete list of metadata
Contributor : Franck Petit Connect in order to contact the contributor
Submitted on : Friday, January 23, 2015 - 9:47:42 AM
Last modification on : Tuesday, July 5, 2022 - 8:39:03 AM



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⟩



Record views