Multi-robot Path Planning with Boolean Specifications and Collision Avoidance

Cristian Mahulea (1) , Marius Kloetzer (2) , Jean-Jacques Lesage (3)

1 I3A - Aragón Institute of Engineering Research [Zaragoza]
2 TUIASI - "Gheorghe Asachi" Technical University of Iasi
3 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée

In this paper we consider the path planning problem for a team of identical mobile robots that should fulfill a given global specification. This specification is given as a Boolean formula over some regions of interest and should be satisfied on the final state (when the robots stop) and on the trajectories. The main novelty of this paper is the automatic computation of collision-free trajectories. The approach is based on a Petri net model and on solving two Mixed Integer Linear Programming problems. Based on the solutions of these problems, intermediate synchronization points are introduced in order to avoid possible collisions. Additionally, the algorithm in this paper is implemented in an open-source Matlab toolbox, called RMTool.

Mots clés: discrete event systems; path planning; multi-robot systems

Domaines: Automatique / Robotique

Cristian Mahulea, Marius Kloetzer, Jean-Jacques Lesage. Multi-robot Path Planning with Boolean Specifications and Collision Avoidance. 15th Workshop on Discrete Event Systems, (WODES’20), Nov 2020, Rio de Janeiro, Brazil. pp. 101-108. ⟨hal-02557507⟩