Multi-Robot Coordination with Environmental Disturbances

Multi-robot systems are increasingly deployed in environments where they interact with humans. From the perspective of a robot, such interaction could be considered a disturbance that causes a well-planned trajectory to fail. This dissertation addresses the problem of multi-robot coordination in scenarios where the robots may experience unexpected delays in their movements. Prior work by Čáp, Gregoire, and Frazzoli introduced a control law, called RMTRACK, which enables robots in such scenarios to execute pre-planned paths in spite of disturbances that affect the execution speed of each robot while guaranteeing that each robot can reach its goal without collisions and without deadlocks. We extend that approach to handle scenarios in which the disturbance probabilities are unknown when execution starts and are non-uniform across the environment. The key idea is to ‘repair’ a plan on-the-fly, by swapping the order in which a pair of robots passes through a mutual collision region (i.e. a coordination space obstacle), when making such a change is expected to improve the overall performance of the system. We introduce a technique based on Gaussian processes to estimate future disturbances, and propose two algorithms for testing, at appropriate times, whether a swap of a given obstacle would be beneficial. Tests in simulation demonstrate that our algorithms achieve significantly smaller average travel time than RMTRACK at only a modest computational expense. However, deadlock may arise when rearranging the order in which robots pass collision regions and other obstacles. We provide a precise definition of deadlock using a graphical representation and prove some of its important properties. We show how to exploit the representation to detect the possibility of deadlock and to characterize conditions under which deadlock may not occur. We provide experiments in simulated environments that illustrate the potential usefulness of our theory of deadlock

Behavior Classification, Security, and Consensus in Societies of Robots

This thesis addresses some fundamental issues toward the realization of "societies" of robots. This objective requires dealing with large numbers of heterogenous autonomous systems, differing in their bodies, sensing and intelligence, that are made to coexist, communicate, learn and classify, and compete fairly, while achieving their individual goals. First, as in human or animal societies, robots must be able to perform cooperative "behaviors" that involve coordination of their actions, based on their own goals, proprioceptive sensing, and information they can receive from other neighboring robots. An effective way to successfully achieve cooperation is obtained by requiring that robots share a set of decentralized motion "rules" involving only locally available data. A first contribution of the thesis consists in showing how these behaviors can be nicely described by a suitable hybrid formalism, including the heterogenous dynamics of every robots and the above mentioned rules that are based on events. A second contribution deals with the problem of classifying a set of robotic agents, based on their dynamics or the interaction protocols they obeys, as belonging to different "species". Various procedures are proposed allowing the construction of a distributed classification system, based on a decentralized identification mechanism, by which every agent classifies its neighbors using only locally available information. By using this mechanism, members of the society can reach a consensus on the environment and on the integrity of the other neighboring robots, so as to improve the overall security of the society. This objective involves the study of convergence of information that is not represented by real numbers, as often in the literature, rather by sets. The dynamics of the evolution of information across a number of robots is described by set-valued iterative maps. While the study of convergence of set-valued iterative maps is highly complex in general, this thesis focuses on Boolean maps, which are comprised of arbitrary combinations of unions, intersections, and complements of sets. Through the development of an industrial robotic society, it is finally shown how the proposed technique applies to a real and commercially relevant case-study. This society sets the basis for a full-fledged factory of the future, where the different and heterogeneous agents operate and interact using a blend of autonomous skills, social rules, and central coordination