The paper gives a mathematically rigorous qualitative analysis of the dynamics of a system consisting of several mobile robots coordinating their motion using simple local nearest neighbor rules. We show that under some assumptions the headings of all robots will be eventually constant.
展开▼