Abstract:
In this paper, we present a principled framework suitable for describing and reasoning about the intertwined entities involved in any task-achieving multi-robot system -- the task environment, task definition, and the capabilities of the robots themselves. Using this framework, we present a systematic procedure by which to synthesize controllers for robots in a multi-robot system such that a given sequential task is correctly executed.