Geometric Computations by Broadcasting Automata on the Integer Grid

In this paper we introduce and apply a novel approach for self-organiz- ation, partitioning and pattern formation on the nonoriented grid environment. The method is based on the generation of nodal patterns in the environment via sequences of discrete waves. The power of the primitives is illustrated by giving solutions to two geometric problems using the broadcast automata model arranged in an integer grid (a square lattice) formation. In particular we show linear time algorithms for: the problem of finding the centre of a digital disk starting from any point on the border of the disc and the problem of electing a set of automata that form the inscribed square of such a digital disk.

[1]  Marco Dorigo,et al.  Path formation in a robot swarm , 2008, Swarm Intelligence.

[2]  Jirí Srba,et al.  Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets , 2008, FORMATS.

[3]  Marco Dorigo,et al.  Cooperative hole avoidance in a swarm-bot , 2006, Robotics Auton. Syst..

[4]  James McLurkin,et al.  Distributed Algorithms for Dispersion in Indoor Environments Using a Swarm of Autonomous Mobile Robots , 2004, DARS.

[5]  Francesco Tisato,et al.  Broadcast automata: a parallel scalable architecture for prototypal embedded processors for space applications , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[6]  Marco Dorigo,et al.  Autonomous Self-assembly in a Swarm-bot , 2005, AMiRE.

[7]  David Peleg,et al.  Distributed Models and Algorithms for Mobile Robot Systems , 2007, SOFSEM.

[8]  Gerardo Beni,et al.  From Swarm Intelligence to Swarm Robotics , 2004, Swarm Robotics.

[9]  Luca Maria Gambardella,et al.  c ○ 2004 Kluwer Academic Publishers. Manufactured in The Netherlands. Swarm-Bot: A New Distributed Robotic Concept , 2022 .

[10]  Martijn Hendriks,et al.  Model Checking the Time to Reach Agreement , 2005, FORMATS.

[11]  Andrzej Pelc,et al.  Gathering few fat mobile robots in the plane , 2006, Theor. Comput. Sci..

[12]  David Peleg,et al.  Distributed algorithms for partitioning a swarm of autonomous mobile robots , 2009, Theor. Comput. Sci..

[13]  Erol Şahin,et al.  A review of studies in swarm robotics , 2007 .

[14]  Nak Young Chong,et al.  A geometric approach to deploying robot swarms , 2008, Annals of Mathematics and Artificial Intelligence.

[15]  Reza Olfati-Saber,et al.  Flocking for multi-agent dynamic systems: algorithms and theory , 2006, IEEE Transactions on Automatic Control.

[16]  Jarkko Kari,et al.  Theory of cellular automata: A survey , 2005, Theor. Comput. Sci..

[17]  David Peleg,et al.  Distributed Algorithms for Partitioning a Swarm of Autonomous Mobile Robots , 2007, SIROCCO.