distributed formation; robots; leaders; followers; collision avoidance algorithms