In this paper, the problem of determining if a population of mobile robots is able to travel from an initial conguration to a target conguration is addressed. This problem is related with the controllability of the automaton describing the system. To solve the problem, the concept of navigation automaton is introduced, allowing a simplication in the analysis of controllability. A set of illustrative examples is presented.
Francisco A. Melo, M. Isabel Ribeiro, Pedro U. Lim