Abstract
In this paper we introduce and apply a novel approach for self-organisation, partitioning and pattern formation on the non-oriented 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 this model automata cannot directly observe their neighbours’ state and can only communicate with neighbouring automata through the non-oriented broadcast of messages from a finite alphabet. 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. Possible generalizations and applications of techniques based on nodal patterns and the construction of different discrete wave interference pictures are discussed in the conclusion.
Similar content being viewed by others
Notes
It is also possible to show, in a more or less straightforward way, that broadcasting automata on \({\mathbb{Z}^n}\) (for any \({n > 0}\)), with a single initial source of transmission, two radii of broadcasting (1 and 1.5) and a large alphabet of messages, can simulate a Turing Machine.
As there are a finite number of passing of waves which all time-bounded by at most \({O(D)},\) the algorithm cannot exceed linear growth by \({D}\).
References
Alderighi M, Mazzei RPG, Sechi GR, Tisato F (1997) broadcast automata: a parallel scalable architecture for prototypal embedded processors for space applications. HICSS (5):208–217
Czyzowicz J, Gasieniec L, Pelc A (2006) Gathering few fat robots in the plane. principles of distributed systems. In: LNCS, vol 4305. Springer, New York, pp 350–364
Bayindir L, Sahin E (2007) A review of studies in swarm robotics. Turk J Electr Eng Comput Sci 15(2):115–147
Beni G (2005) From swarm intelligence to swarm robotics. In: Sahin E, Spears W (eds) Swarm robotics: state-of-the-art survey. In: Lecture notes in computer science, vol 3342. Springer, New York, pp 1–9
Efrima A, Peleg DT (2007) Distributed models and algorithms for mobile robot systems. In: Proceedings of SOFSEM (1). Lecture notes in computer science, vol 4362. Springer, New York, pp 70–87
Efrima A, Peleg D (2009) Distributed algorithms for partitioning a swarm of autonomous mobile robots. Theor Comput Sci 410(14):1355–1368
Fati-Saber R (2006) Flocking for multi-agent dynamic systems: algorithms and theory. IEEE Trans Autom Control 51(3):401–420
Geunho L, Nak C (2008) A geometric approach to deploying robot swarms. Ann Math Artif Intell 52:257–280
Groy R, Bonani M, Mondada F, Dorigo M (2006) Autonomous self-assembly in a swarmbot. In: Murase K, Sekiyama K, Kubota N, Naniwa T, Sitte J (eds) Proceedings of the third international symposium on autonomous minirobots for research and edutainment. Springer Verlag, Berlin, pp. 314–322
Hendriks M (2005) Model checking the time to reach agreement. In: FORMATS, pp 98–111
Kari J (2005) Theory of cellular automata: a survey. Theor Comput Sci 334:3–33
McLurkin J, Smith J (2004) Distributed algorithms for dispersion in indoor environments using a swarm of autonomous mobile robots. In: Proceedings of distributed autonomous robotic systems conference
Mondada F, Pettinaro GC, Guignard A, Kwee IV, Floreano D, Deneubourg J-L, Nolfi S, Gambardella LM, Dorigo M (2004) SWARM-BOT: a new distributed robotic concept. Auton Robots 17(2/3):193–221
Nouyan S, Dorigo M (2004) Chain formation in a swarm of robots. Technical Report TR/IRIDIA/2004- 18, IRIDIA, Universite Libre de Bruxelles, March
Nouyan S, Campo A, Dorigo M (2008) Path formation in a robot swarm: self-organized strategies to find your way home. Swarm Intell 2(1):1–23
Passino K (2002) Biomimicry of bacterial foraging for distributed optimiza-multirobot control. In: Proceedings of international conference on intelligent robots systems, Sept 2002
Standing Waves (2010) http://en.wikipedia.org/wiki/Standing_wave, January 2010
Trianni V, Nolfi S, Dorigo M (2006) Cooperative hole avoidance in a swarm-bot. Robotics Auton Syst 54(2):97–103
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Martin, R., Nickson, T. & Potapov, I. Geometric computations by broadcasting automata. Nat Comput 11, 623–635 (2012). https://doi.org/10.1007/s11047-012-9330-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11047-012-9330-0