Creative Commons Attribution 4.0 International license
In theoretical computer science, the study of swarms of autonomous mobile robots has concentrated on computational entities operating in Look–Compute–Move cycles in Euclidean spaces. The computational issues arising in such settings are viewed as due to the interplay between the robots' capabilities and the adversarial power of a scheduler controlling the timing of their activations and the duration of their operations. The focus of research has been on determining the minimal capabilities that allow the robots to solve a given problem under a given adversarial scheduler. Of particular interest is the class of Pattern Formation problems, and its more complex extension - called Dancing - of forming sequences of patterns. We discuss the computational power of the robots operating under Sequential schedulers in relation to Pattern Formation and Dancing, showing that this power is stronger than the obvious capacity of symmetry breaking, and thus of leader election. Recent results are reported.
@InProceedings{flocchini:LIPIcs.SAND.2026.1,
author = {Flocchini, Paola},
title = {{Pattern Formation, Dancing, and Sequential Schedulers}},
booktitle = {5th Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2026)},
pages = {1:1--1:5},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-427-7},
ISSN = {1868-8969},
year = {2026},
volume = {373},
editor = {Mertzios, George B. and Richa, Andr\'{e}a W.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAND.2026.1},
URN = {urn:nbn:de:0030-drops-262351},
doi = {10.4230/LIPIcs.SAND.2026.1},
annote = {Keywords: Autonomous mobile robots, Look-Compute-Move, Sequential schedulers, Pattern formation, Sequence of patterns, Computational power}
}