Decentralized supervisory control of a set of mobile robots