Gathering on Rings for Myopic Asynchronous Robots With Lights

We investigate gathering algorithms for asynchronous autonomous mobile robots moving in uniform ring-shaped networks. Different from most work using the Look-Compute-Move (LCM) model, we assume that robots have limited visibility and lights. That is, robots can observe nodes only within a certain fixed distance, and emit a color from a set of constant number of colors. We consider gathering algorithms depending on two parameters related to the initial configuration: M_{init}, which denotes the number of nodes between two border nodes, and O_{init}, which denotes the number of nodes hosting robots between two border nodes. In both cases, a border node is a node hosting one or more robots that cannot see other robots on at least one side. Our main contribution is to prove that, if M_{init} or O_{init} is odd, gathering is always feasible with three or four colors. The proposed algorithms do not require additional assumptions, such as knowledge of the number of robots, multiplicity detection capabilities, or the assumption of towerless initial configurations. These results demonstrate the power of lights to achieve gathering of robots with limited visibility

Finding Water on Poleless Using Melomaniac Myopic Chameleon Robots

In 2042, the exoplanet exploration program, launched in 2014 by NASA, finally discovers a new exoplanet so-called Poleless, due to the fact that it is not subject to any magnetism. A new generation of autonomous mobile robots, called M2C (for Melomaniac Myopic Chameleon), have been designed to find water on Poleless. To address this problem, we investigate optimal (w.r.t., visibility range and number of used colors) solutions to the infinite grid exploration problem (IGE) by a small team of M2C robots. Our first result shows that minimizing the visibility range and the number of used colors are two orthogonal issues: it is impossible to design a solution to the IGE problem that is optimal w.r.t. both parameters simultaneously. Consequently, we address optimality of these two criteria separately by proposing two algorithms; the former being optimal in terms of visibility range, the latter being optimal in terms of number of used colors. It is worth noticing that these two algorithms use a very small number of robots, respectively six and eight

Asynchronous Gathering in a Torus

We consider the gathering problem for asynchronous and oblivious robots that cannot communicate explicitly with each other but are endowed with visibility sensors that allow them to see the positions of the other robots. Most investigations on the gathering problem on the discrete universe are done on ring shaped networks due to the number of symmetric configurations. We extend in this paper the study of the gathering problem on torus shaped networks assuming robots endowed with local weak multiplicity detection. That is, robots cannot make the difference between nodes occupied by only one robot from those occupied by more than one robot unless it is their current node. Consequently, solutions based on creating a single multiplicity node as a landmark for the gathering cannot be used. We present in this paper a deterministic algorithm that solves the gathering problem starting from any rigid configuration on an asymmetric unoriented torus shaped network

A Theoretical Model for Autonomous Mobile Robots based on CPS and Limitations of its Computation

研究成果の概要 (和文) : CPSを考慮に入れた自律分散ロボット群に理論モデル構築とその上でのロボット群の計算能力に関して主として以下の成果を得た．（1）CPSを意識した新しい自律分散ロボット群のモデル化とその上でのロボットに対するオンライン経路探索アルゴリズムを開発した．（2）従来のLCMロボットモデルにおける集合問題の可解性を耐故障性の観点から明らかにした．（3）ライト付きロボット群に対する計算能力を明らかにした．（4）リングネットワークにおける制限視野をもつライト付きロボット群の集合問題に対する色数最適なアルゴリズムを与えた．このアルゴリズムはロボットの動作が完全な非同期でも動作する．研究成果の概要 (英文) : We construct a theoretical model based on CPS for autonomous mobile robots and obtain several results about the computational power of autonomous mobile robots as follows: (1) A new model for mobile robots including the concept of CPS is proposed and an online routing algorithm for mobile robots is developed. (2) We give fault-tolerant gathering algorithms on an LCM robot model. (3) We clarify the computational power of mobile robots with lights. (4) We solve gathering problem of myopic mobile robots on ring-shaped networks, which can behave in completely asynchronous fashion

Rendezvous on a Known Dynamic Point on a Finite Unoriented Grid

In this paper, we have considered two fully synchronous $\mathcal{OBLOT}$ robots having no agreement on coordinates entering a finite unoriented grid through a door vertex at a corner, one by one. There is a resource that can move around the grid synchronously with the robots until it gets co-located along with at least one robot. Assuming the robots can see and identify the resource, we consider the problem where the robots must meet at the location of this dynamic resource within finite rounds. We name this problem "Rendezvous on a Known Dynamic Point". Here, we have provided an algorithm for the two robots to gather at the location of the dynamic resource. We have also provided a lower bound on time for this problem and showed that with certain assumption on the waiting time of the resource on a single vertex, the algorithm provided is time optimal. We have also shown that it is impossible to solve this problem if the scheduler considered is semi-synchronous

Compatibility of convergence algorithms for autonomous mobile robots

We investigate autonomous mobile robots in the Euclidean plane. A robot has a function called target function to decide the destination from the robots' positions, and operates in Look-Compute-Move cycles, i.e., identifies the robots' positions, computes the destination by the target function, and then moves there. Robots may have different target functions. Let $\Phi$ and $\Pi$ be a set of target functions and a problem, respectively. If the robots whose target functions are chosen from $\Phi$ always solve $\Pi$, we say that $\Phi$ is compatible with respect to $\Pi$. If $\Phi$ is compatible with respect to $\Pi$, every target function $\phi \in \Phi$ is an algorithm for $\Pi$ (in the conventional sense). Note that even if both $\phi$ and $\phi'$ are algorithms for $\Pi$, $\{ \phi, \phi' \}$ may not be compatible with respect to $\Pi$. From the view point of compatibility, we investigate the convergence, the fault tolerant ($n,f$)-convergence (FC($f$)), the fault tolerant ($n,f$)-convergence to $f$ points (FC($f$)-PO), the fault tolerant ($n,f$)-convergence to a convex $f$-gon (FC($f$)-CP), and the gathering problems, assuming crash failures. As a result, we see that these problems are classified into three groups: The convergence, the FC(1), the FC(1)-PO, and the FC($f$)-CP compose the first group: Every set of target functions which always shrink the convex hull of a configuration is compatible. The second group is composed of the gathering and the FC($f$)-PO for $f \geq 2$: No set of target functions which always shrink the convex hull of a configuration is compatible. The third group, the FC($f$) for $f \geq 2$, is placed in between. Thus, the FC(1) and the FC(2), the FC(1)-PO and the FC(2)-PO, and the FC(2) and the FC(2)-PO are respectively in different groups, despite that the FC(1) and the FC(1)-PO are in the first group