Convergence Properties of the Gravitational Algorithm in Asynchronous Robot Systems

This paper considers the convergence problem in autonomous mobile robot systems. A natural algorithm for the problem requires the robots to move towards their center of gravity. Previously it was known that the gravitational algorithm converges in the synchronous or semi-synchronous model, and that two robots converge in the asynchronous model. The current paper completes the picture by proving the correctness of the gravitational algorithm in the fully asynchronous model for any number of robots. It also analyses its convergence rate, and establishes its convergence in the presence of crash faults.

[1]  Israel A. Wagner,et al.  From Ants to A(ge)nts: A Special Issue on Ant-Robotics , 2001, Annals of Mathematics and Artificial Intelligence.

[2]  Masafumi Yamashita,et al.  Agreement on a Common X - Y Coordinate System by a Group of Mobile Robots , 1996, Intelligent Robots.

[3]  Giuseppe Prencipe,et al.  CORDA : distributed coordination of a set of autonomous mobile robots , 2001 .

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

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

[6]  Yoshio Kawauchi,et al.  A principle of distributed decision making of Cellular Robotic System (CEBOT) , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.

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

[8]  Nicola Santoro,et al.  Distributed coordination of a set of autonomous mobile robots , 2000, Proceedings of the IEEE Intelligent Vehicles Symposium 2000 (Cat. No.00TH8511).

[9]  Andrew B. Kahng,et al.  Cooperative Mobile Robotics: Antecedents and Directions , 1997, Auton. Robots.

[10]  Maja J. Mataric,et al.  Interaction and intelligent behavior , 1994 .

[11]  Gordon Cheng,et al.  Experiments in Realising Cooperation between Autonomous Mobile Robots , 1997, ISER.

[12]  Andrew B. Kahng,et al.  Cooperative Mobile Robotics: Antecedents and Directions , 1995, Proceedings 1995 IEEE/RSJ International Conference on Intelligent Robots and Systems. Human Robot Interaction and Cooperative Robots.

[13]  Tucker R. Balch,et al.  Behavior-based formation control for multirobot teams , 1998, IEEE Trans. Robotics Autom..

[14]  Nicola Santoro,et al.  Hard Tasks for Weak Robots: The Role of Common Knowledge in Pattern Formation by Autonomous Mobile Robots , 1999, ISAAC.

[15]  Lynne E. Parker,et al.  On the design of behavior-based multi-robot teams , 1995, Adv. Robotics.

[16]  Lynne E. Parker.  Designing control laws for cooperative agent teams , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.

[17]  William Feller,et al.  An Introduction to Probability Theory and Its Applications , 1967 .

[18]  Nicola Santoro,et al.  Solving the Robots Gathering Problem , 2003, ICALP.

[19]  Shlomi Dolev,et al.  Self Stabilization , 2004, J. Aerosp. Comput. Inf. Commun..

[20]  William Feller,et al.  An Introduction to Probability Theory and Its Applications , 1951 .

[21]  Reuven Cohen,et al.  Robot Convergence via Center-of-Gravity Algorithms , 2004, SIROCCO.

[22]  Lynne E. Parker,et al.  Multi-Robot Learning in a Cooperative Observation Task , 2000, DARS.

[23]  Masafumi Yamashita,et al.  Distributed memoryless point convergence algorithm for mobile robots with limited visibility , 1999, IEEE Trans. Robotics Autom..

[24]  Mark Cieliebak,et al.  Gathering Autonomous Mobile Robots , 2002, SIROCCO.

[25]  Nicola Santoro,et al.  Gathering of Asynchronous Oblivious Robots with Limited Visibility , 2001, STACS.

[26]  H. Kurokawa,et al.  Self-assembling machine , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[27]  Noa Agmon,et al.  Fault-tolerant gathering algorithms for autonomous mobile robots , 2004, SODA '04.

[28]  Masafumi Yamashita,et al.  A Theory of Distributed Anonymous Mobile Robots Formation and Agreement Problems. , 1994 .