We consider multi-agent planning in which the agents' optimal plans are solutions to mixed-integer programs (MIP) that are coupled via integer constraints. While in principle, one could find the joint solution by combining the separate problems into one large joint centralized MIP, this approach rapidly becomes intractable for growing numbers of agents and large problem domains. To address this issue, we propose an iterative approach that combines conflict detection with constraint-generation whereby the agents plan repeatedly until all conflicts are resolved. In each planning iteration, the agents plan with as few other agents and interaction-constraints as possible. This yields an optimal method that can reduce computation markedly. We test our approach in the context of multi-agent collision avoidance in graphs with indivisible flows. Our initial simulations on randomized graph routing problems confirm predicted optimality and reduced computational effort.
[1]
Masahiro Ono,et al.
A Probabilistic Particle-Control Approximation of Chance-Constrained Stochastic Predictive Control
,
2010,
IEEE Transactions on Robotics.
[2]
Tomás Lozano-Pérez,et al.
On multiple moving objects
,
1986,
Proceedings. 1986 IEEE International Conference on Robotics and Automation.
[3]
B. Moor,et al.
Mixed integer programming for multi-vehicle path planning
,
2001,
2001 European Control Conference (ECC).
[4]
Alon Itai,et al.
On the Complexity of Timetable and Multicommodity Flow Problems
,
1976,
SIAM J. Comput..
[5]
Daniel Lyons,et al.
Lazy auctions for multi-robot collision avoidance and motion control under uncertainty
,
2011,
AAMAS'11.