-
Efficient Path Planning and Task Allocation Algorithm for Boolean Specifications
Authors:
Ioana Hustiu,
Roozbeh Abolpour,
Cristian Mahulea,
Marius Kloetzer
Abstract:
This paper presents a novel path-planning and task assignment algorithm for multi-robot systems that should fulfill a global Boolean specification. The proposed method is based on Integer Linear Programming (ILP) formulations, which are combined with structural insights from Petri nets to improve scalability and computational efficiency. By proving that the \emph{constraint matrix} is totally unim…
▽ More
This paper presents a novel path-planning and task assignment algorithm for multi-robot systems that should fulfill a global Boolean specification. The proposed method is based on Integer Linear Programming (ILP) formulations, which are combined with structural insights from Petri nets to improve scalability and computational efficiency. By proving that the \emph{constraint matrix} is totally unimodular (TU) for certain classes of problems, the ILP formulation can be relaxed into a Linear Programming (LP) problem without losing the integrality of the solution. This relaxation eliminates complex combinatorial techniques, significantly reducing computational overhead and thus ensuring scalability for large-scale systems. Using the approach proposed in this paper, we can solve path-planning problems for teams made up to 500 robots. The method guarantees computational tractability, handles collision avoidance and reduces computational demands through iterative LP optimization techniques. Case studies demonstrate the efficiency of the algorithm in generating scalable, collision-free paths for large robot teams navigating in complex environments. While the conservative nature of collision avoidance introduces additional constraints, and thus, computational requirements, the solution remains practical and impactful for diverse applications. The algorithm is particularly applicable to real-world scenarios, including warehouse logistics where autonomous robots must efficiently coordinate tasks or search-and-rescue operations in various environments. This work contributes both theoretically and practically to scalable multi-robot path planning and task allocation, offering an efficient framework for coordinating autonomous agents in shared environments.
△ Less
Submitted 5 June, 2025;
originally announced June 2025.
-
Multi-robot Motion Planning based on Nets-within-Nets Modeling and Simulation
Authors:
Sofia Hustiu,
Eva Robillard,
Joaquin Ezpeleta,
Cristian Mahulea,
Marius Kloetzer
Abstract:
This paper focuses on designing motion plans for a heterogeneous team of robots that has to cooperate in fulfilling a global mission. The robots move in an environment containing some regions of interest, and the specification for the whole team can include avoidances, visits, or sequencing when entering these regions of interest. The specification is expressed in terms of a Petri net correspondin…
▽ More
This paper focuses on designing motion plans for a heterogeneous team of robots that has to cooperate in fulfilling a global mission. The robots move in an environment containing some regions of interest, and the specification for the whole team can include avoidances, visits, or sequencing when entering these regions of interest. The specification is expressed in terms of a Petri net corresponding to an automaton, while each robot is also modeled by a state machine Petri net. With respect to existing solutions for related problems, the current work brings the following contributions. First, we propose a novel model, denoted {High-Level robot team Petri Net (HLPN) system, for incorporating the specification and the robot models into the Nets-within-Nets paradigm. A guard function, named Global Enabling Function (gef), is designed to synchronize the firing of transitions such that the robot motions do not violate the specification. Then, the solution is found by simulating the HPLN system in a specific software tool that accommodates Nets-within-Nets. An illustrative example based on a Linear Temporal Logic (LTL) mission is described throughout the paper, complementing the proposed rationale of the framework.
△ Less
Submitted 14 March, 2024; v1 submitted 18 April, 2023;
originally announced April 2023.
-
On Liveness Enforcement of Distributed Petri Net Systems
Authors:
Daniel Clavel,
Cristian Mahulea,
Manuel Silva
Abstract:
This paper considers the liveness enforcement problem in a class of Petri nets (PNs) modeling distributed systems called Synchronized Sequential Processes (SSP). This class of PNs is defined as a set of mono-marked state machines (sequential machines, called also agents) cooperating in a distributed way through buffers. These buffers could model intermediate products in a production system or info…
▽ More
This paper considers the liveness enforcement problem in a class of Petri nets (PNs) modeling distributed systems called Synchronized Sequential Processes (SSP). This class of PNs is defined as a set of mono-marked state machines (sequential machines, called also agents) cooperating in a distributed way through buffers. These buffers could model intermediate products in a production system or information channel in a healthcare system but they should be destination private to an agent. The designed controller for liveness enforcement should preserve this important property characteristic to the distributed systems. The approach in this paper is based on the construction of a control PN that is an abstraction of the relations of the T-semiflows and buffers. The control PN will evolve in parallel with the system, avoiding the firing of transitions that may lead the system to livelock. An algorithm to compute this control PN is presented. Moreover, in order to ensure the liveness of control PN, another algorithm is proposed allowing the firing of local T-semiflow in the correct proportion. Finally, an algorithm for guiding the system evolution is also proposed.
△ Less
Submitted 28 December, 2020;
originally announced December 2020.
