786e199bd7ba622d.tex
1: \begin{abstract}
2: 
3: Among fundamental problems in the context of distributed computing by autonomous mobile entities, one of the most representative 
4: and well studied
5: is {\sc Point Convergence}: given an arbitrary initial configuration of identical entities, disposed in the Euclidean plane, 
6: move in such a way that, for all $\eps>0$, a configuration in which the separation between all entities is at most $\eps$ is eventually 
7: reached and maintained.
8: 
9: The problem has been previously studied in a variety of settings, including full visibility, exact measurements (like distances and angles), 
10: and synchronous activation of entities. Our study concerns the minimal assumptions under which entities, moving asynchronously 
11: with limited and unknown visibility range and subject to limited imprecision in measurements,  can be guaranteed to converge in this way.
12: %
13: We present an algorithm that solves {\sc Point Convergence}, for entities in the plane, in such a setting, provided the degree of asynchrony is bounded: while any one entity 
14: is active, any other entity can be activated at most $k$ times, for some arbitrarily large but fixed $k$. This provides a strong positive answer to 
15: %an open question posed in \cite{K11}. 
16: a decade old open question posed by Katreniak.
17: 
18: We also prove that in a comparable setting that permits unbounded asynchrony, {\sc Point Convergence} in the plane is impossible, contingent on the natural 
19: assumption that algorithms maintain the (visible) connectivity among entities present in the initial configuration. This variant, 
20: that we call {\sc Cohesive Convergence}, serves to distinguish the power of bounded and unbounded asynchrony in the control of autonomous 
21: mobile entities, settling at the same time a long-standing question whether in the Euclidean plane synchronously scheduled entities are 
22: more powerful than asynchronously scheduled entities.
23: \end{abstract}
24: