8927f6e136bd94e6.tex
1: \begin{abstract}
2:  The study of computing in presence of faulty robots in the {\sc Look-Compute-Move} 
3:  model has been the object of extensive investigation, typically 
4:  with the goal of designing  algorithms tolerant to as many faults as possible.
5:  
6:  In this paper, we initiate a new line of investigation on the presence of  faults,  
7:  focusing on a rather different issue.
8:  We are interested in understanding the dynamics of a group of robots  when they execute 
9:  an algorithm designed for a fault-free environment,  in presence of some undetectable  
10:  crashed robots.
11:   %
12: We start this   investigation focusing on  the classic point-convergence algorithm 
13: by Ando et al. \cite{AnOaSuYa99}  for robots     with limited visibility, 
14: in   a  simple  setting (which already presents serious challanges): the 
15:  robots operate  fully synchronously on a line,  and at most two of them are faulty.
16: %
17: Interestingly, and perhaps surprisingly,   the presence of faults induces the robots to perform some form of {\em scattering}, 
18: rather than {\em point-convergence}. In fact, we discover that  they arrange  themselves inside the segment 
19: delimited by the two faults  in   interleaved sequences of equidistant robots. 
20: The structure that they form has a  hierarchical nature:    robots organize themselves in groups where
21: a  group  of some level    converges to  an equidistant distribution  
22: %between the first and the last robots  of that group, 
23:  only  after all groups of lower  levels have converged.
24: 
25: This is the first study on the unintended  dynamics of oblivious robots induced by the presence of  faults.
26: 
27:    \end{abstract}
28: