Long-Range Autonomy and Constraint-Based Coordination of Multi-Robot Systems

By now, we have a fairly good understanding of how to design coordinated control strategies for making teams of mobile robots achieve geometric objectives in a distributed manner, such as assembling shapes or covering areas. But, the mapping from high-level tasks to geometric objectives is not particularly well understood. In this talk, we investigate this topic in the context of long-range autonomy, i.e., we consider teams of robots, deployed in an environment over a sustained period of time, that can be recruited to perform a number of different tasks in a distributed, safe, and provably correct manner. This development will involve the composition of multiple barrier certificates for encoding the tasks and safety constraints, as well as a detour into ecology as a way of understanding how persistent environmental monitoring, as a special instantiation of the long-range autonomy concept, can be achieved by studying animals with low-energy life-styles, such as the three-toed sloth.