bc908bb1370e1e2b.tex
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: