Mutual visibility by luminous robots without collisions

Abstract

Consider a finite set of identical computational entities that can move freely in the Euclidean plane operating in Look-Compute-Move cycles. Let p(t) denote the location of entity p at time t; entity p can see entity q at time t if at that time no other entity lies on the line segment p(t)q(t). We consider the basic problem called Mutual Visibility: starting from arbitrary distinct locations, within finite time the entities must reach, without collisions, a configuration where they all see each other. This problem must be solved by each entity autonomously executing the same algorithm. We study this problem in the luminous robots model; in this generalization of the standard model of oblivious robots, each entity, called robot, has an externally visible persistent light that can assume colors from a fixed set of size c. The case where the number of colors is less than 2 (i.e., c 1) corresponds to the classical model without lights: indeed, having lights of one possible color is equivalent to having no lights at all.The extensive literature on computability in such a model, mostly for c 1 and recently for c > 1, has never considered the problem of Mutual Visibility because it has always assumed that three collinear robots are mutually visible.In this paper we remove this assumption, and investigate under what conditions luminous robots can solve Mutual Visibility without collisions, and at what cost, in terms of the number of colors used by the robots. We establish a spectrum of results, depending on the power of the adversary (i.e., the scheduler controlling the robots' actions), on the number c of colors, and on the a-priori knowledge the robots have about the system. Among such results, we prove that Mutual Visibility can always be solved without collisions in SSynch with c = 2 colors and in ASynch with c = 3 colors. If an adversary can interrupt and stop a robot before it reaches its computed destination, Mutual Visibility is still solvable without collisions in SSynch with c = 3 colors, and, if the robots agree on the direction of one axis, also in ASynch. All the results are obtained constructively by means of novel protocols.As a byproduct of our solutions, we provide the first obstructed-visibility solutions to two classical problems for oblivious robots: collision-less convergence to a point (also called near-gathering) and circle formation.

Meeting in a polygon by anonymous oblivious robots

“…The model in which robots can obstruct each other's view has also been studied. Here, the goal is typically to make all robots see each other by making sure that no three of them are collinear [17,26,27]. As with the literature on Gathering, none of these works considers robots in a polygon.…”

Mutual Visibility by Robots with Persistent Memory

“…[21] analysed and modified the round complexities of the mutual visibility algorithms presented in [7] under fully synchronous model. Di Luna et al [22] were the first to study the mutual visibility problem in the light model. They solve the problem for the semi-synchronous robots with 3 colors and for asynchronous robots with 3 colors under one axis agreement (in [6] authors claimed a solution of the mutual visibility problem for the asynchronous robots with 10 colors.…”

“…They solve the problem for the semi-synchronous robots with 3 colors and for asynchronous robots with 3 colors under one axis agreement (in [6] authors claimed a solution of the mutual visibility problem for the asynchronous robots with 10 colors. However later in [22], they modified their claim and presented a solution for the asynchronous robots with 3 colors under one axis agreement). Sharma et.…”

“…have been studied extensively in the literature [17]. Recently some researchers have taken up the problem of mutual visibility [7], [22], [15], [14]. The mutual visibility problem is defined as follows: for a set of robots initially occupying distinct positions in the two dimensional plane, the mutual visibility problem asks the robots to form a configuration, within finite time and without collision, in which no three robots are collinear.…”

Infinite Grid Exploration by Disoriented Robots

“…In [7], the authors use robots with lights and compare the computational power of such robots with respect to the three main execution model: fully-synchronous, semi-synchronous, and asynchronous. Solutions for dedicated problems such as weak gathering or mutual visibility have been respectively investigated in [15] and [16]. Mobile robot computing in infinite environments has been first studied in the continuous two-dimensional Euclidean space.…”