Multi-Robot Systems Optimization and Analysis Using MILP and CLP ⁄

Abstract

Formal methods for multi-robot system analysis, specially logic-based methods, operate on discrete models. Optimization methods for simultaneous trajectory and task allocation, namely mixed integer dynamic optimization, operate on hybrid dynamical models which take into account a model of the motion dynamics of the physical robot. In this paper, ongoing work towards a coherent treatment of both approaches is described. A benchmark problem from robot soccer is introduced and used as an illustrative example.