1: \begin{abstract}
2: The design of distributed gathering and convergence algorithms
3: for tiny robots has recently received much attention. In particular, it has been shown that
4: convergence problems can even be solved for very weak, \emph{oblivious}
5: robots: robots which cannot maintain state from one round to the next.
6: The oblivious robot model is hence attractive from a self-stabilization
7: perspective, where state is subject to adversarial manipulation.
8: However, to the best of our knowledge, all existing robot convergence protocols rely
9: on the assumption that robots, despite being ``weak'', can measure distances.
10:
11: We in this paper initiate the study of convergence protocols for even simpler robots,
12: called \emph{monoculus robots}:
13: robots which cannot measure distances. In particular, we introduce two
14: natural models which relax the assumptions
15: on the robots' cognitive capabilities: (1) a Locality Detection ($\mathcal{LD}$) model in which a robot
16: can only detect whether another robot is closer than a given constant distance
17: or not, (2)
18: an Orthogonal Line Agreement ($\mathcal{OLA}$) model in which robots only agree on a pair of orthogonal lines
19: (say North-South and West-East, but without knowing which is which).
20:
21: The problem turns out to be non-trivial,
22: and simple median and angle bisection strategies can easily increase the distances among
23: robots (e.g., the area of the enclosing convex hull) over time.
24: Our main contribution are deterministic self-stabilizing convergence algorithms for
25: these two models, together with a complexity analysis.
26: We also show that in some sense,
27: the assumptions made in our models are minimal: by relaxing the assumptions on the \textit{monoculus robots}
28: further, we run into impossibility results.\\
29: \\
30: \noindent\textbf{Key words:} Convergence, Weak Robots, Oblivious Mobile Robots, Asynchronous, Distributed Algorithm.\\
31: \end{abstract}
32: