Multi-agent Deployment on a Ring Graph

We consider two variants of the task of spreading a swarm of agents uniformly on a ring graph. Ant-like oblivious agents having limited capabilities are considered. The agents are assumed to have little memory, they all execute the same algorithm and no direct communication is allowed between them. Furthermore, the agents do not possess any global information. In particular, the size of the ring (n) and the number of agents in the swarm (k) are unknown to them. The agents are assumed to operate on an unweighted ring graph. Every agent can measure the distance to his two neighbors on the ring, up to a limited range of V edges. The first task considered, is uniformly spread dynamical (i.e. in motion) deployment on the ring. We show that if either the ring is unoriented, or the visibility range is less than ⌊n/k⌋, this is an impossible mission for the agents. Then, for an oriented ring and V ≥ ⌈n/k⌉, we propose an algorithm which achieves the deployment task within the optimal time. The second task discussed, called quiescent spread, requires the agents to spread uniformly over the ring and stop moving. We prove that under our model in which every agent can measure the distance only to his two neighbors, this task is impossible. Subsequently, we propose an algorithm which achieves quiescent and almost uniform spread. The algorithms we present are scalable and robust. In case the environment (the size of the ring) or the number of agents changes during the run, the swarm adapts and re-deploys without requiring any outside interference.

[1]  Ichiro Suzuki,et al.  Distributed algorithms for formation of geometric patterns with many mobile robots , 1996, J. Field Robotics.

[2]  Emilio Frazzoli,et al.  On synchronous robotic networks Part II: Time complexity of rendezvous and deployment algorithms , 2007, Proceedings of the 44th IEEE Conference on Decision and Control.

[3]  Alfred M. Bruckstein,et al.  Gathering Multiple Robotic Agents with Crude Distance Sensing Capabilities , 2008, ANTS Conference.

[4]  Ruggero Carli,et al.  Quantized Coordination Algorithms for Rendezvous and Deployment , 2009, SIAM J. Control. Optim..

[5]  Prashant J. Shenoy,et al.  Agile dynamic provisioning of multi-tier Internet applications , 2008, TAAS.

[6]  Franck Petit,et al.  Circle formation of weak mobile robots , 2006, TAAS.

[7]  Thomas Stützle,et al.  Ant Colony Optimization and Swarm Intelligence, 6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008. Proceedings , 2008, ANTS Conference.

[8]  Klaus Jansen,et al.  Experimental and Efficient Algorithms , 2003, Lecture Notes in Computer Science.

[9]  Nicola Santoro,et al.  Self-deployment of mobile sensors on a ring , 2008, Theor. Comput. Sci..

[10]  Branislav Katreniak Biangular Circle Formation by Asynchronous Mobile Robots , 2005, SIROCCO.

[11]  Masafumi Yamashita,et al.  Erratum: Distributed Anonymous Mobile Robots: Formation of Geometric Patterns , 2006, SIAM J. Comput..

[12]  Ioannis Chatzigiannakis,et al.  Distributed Circle Formation for Anonymous Oblivious Robots , 2004, WEA.

[13]  A. Bruckstein,et al.  Row Straightening via local interactions , 1997 .

[14]  Xavier Défago,et al.  Non-uniform circle formation algorithm for oblivious mobile robots with convergence toward uniformity , 2008, Theor. Comput. Sci..

[15]  Masafumi Yamashita,et al.  Formation and agreement problems for synchronous mobile robots with limited visibility , 1995, Proceedings of Tenth International Symposium on Intelligent Control.

[16]  Giuseppe Prencipe Instantaneous Actions vs. Full Asynchronicity : Controlling and Coordinating a Set of Autonomous Mobile Robots , 2001, ICTCS.

[17]  Alan M. Frieze,et al.  The Cover Times of Random Walks on Hypergraphs , 2011, SIROCCO.

[18]  Reuven Cohen,et al.  Local spreading algorithms for autonomous robot systems , 2008, Theor. Comput. Sci..