Abstract:A swarm of anonymous oblivious mobile robots, operating in deterministic Look-Compute-Move cycles, is confined within a circular track. All robots agree on the clockwise direction (chirality), they are activated by an adversarial semi-synchronous scheduler (SSYNCH), and an active robot always reaches the destination point it computes (rigidity). Robots have limited visibility: each robot can see only the points on the circle that have an angular distance strictly smaller than a constant $\vartheta$ from the robot's current location, where $0<\vartheta\leq\pi$ (angles are expressed in radians). We study the Gathering problem for such a swarm of robots: that is, all robots are initially in distinct locations on the circle, and their task is to reach the same point on the circle in a finite number of turns, regardless of the way they are activated by the scheduler. Note that, due to the anonymity of the robots, this task is impossible if the initial configuration is rotationally symmetric; hence, we have to make the assumption that the initial configuration be rotationally asymmetric. We prove that, if $\vartheta=\pi$ (i.e., each robot can see the entire circle except its antipodal point), there is a distributed algorithm that solves the Gathering problem for swarms of any size. By contrast, we also prove that, if $\vartheta\leq \pi/2$, no distributed algorithm solves the Gathering problem, regardless of the size of the swarm, even under the assumption that the initial configuration is rotationally asymmetric and the visibility graph of the robots is connected. The latter impossibility result relies on a probabilistic technique based on random perturbations, which is novel in the context of anonymous mobile robots. Such a technique is of independent interest, and immediately applies to other Pattern-Formation problems.

Mutual Visibility by Robots with Persistent Memory

The Mutual Visibility Problem for Fat Robots

Robots with Lights: Overcoming Obstructed Visibility Without Colliding

Time-optimal geodesic mutual visibility of robots on grids within minimum area

Uniform Circle Formation By Oblivious Swarm Robots

Asynchronous Gathering of Robots with Finite Memory on a Circle under Limited Visibility

Arbitrary Pattern Formation by Opaque Fat Robots with Lights

The Computational Landscape of Autonomous Mobile Robots: The Visibility Perspective

Complete Visibility Algorithm for Autonomous Mobile Luminous Robots under an Asynchronous Scheduler on Grid Plane

Collaborative Multi-Robot Transportation in Obstacle-Cluttered Environments via Implicit Communication

Uniform Partitioning of a Bounded Region using Opaque ASYNC Luminous Mobile Robots

Computational Power of Opaque Robots

Uniform Circle Formation by Transparent Fat Robots

Complete Visibility Algorithms of Luminous Robots With Two‐Color Lights on Grid

An optimal algorithm for geodesic mutual visibility on hexagonal grids

Rendezvous of two robots with visible bits

Shortest Paths of Mutually Visible Robots

Time Optimal Gathering of Myopic Robots on an Infinite Triangular Grid

Symmetry Preservation in Swarms of Oblivious Robots with Limited Visibility

Gathering on a Circle with Limited Visibility by Anonymous Oblivious Robots

Computational Power of Mobile Robots in Synchronous Environment: Discrete Version