activity
20202025
most citedOn Liveness Enforcement of Distributed Petri Net Systems

2 citations · 4 across the 5 of their papers we have counts for

collaborators

5 papers

cs.RO2025★ 1 cited

Smooth path planning with safety margins using Piece-Wise Bezier curves

Iancu Andrei, Marius Kloetzer, Cristian Mahulea +1

In this paper, we propose a computationally efficient quadratic programming (QP) approach for generating smooth, continuous paths for mobile robots using piece-wise quadratic…

cs.RO2025

Structural Integrality in Task Assignment and Path Finding via Total Unimodularity of Petri Net Models

Ioana Hustiu, Roozbeh Abolpour, Marius Kloetzer +1

Task Assignment and Path Finding (TAPF) concerns computing collision-free motions for multiple robots while jointly selecting goal locations. In this paper, safety is enforced by r…

cs.RO2023

Multi-robot Motion Planning based on Nets-within-Nets Modeling and Simulation

Sofia Hustiu, Joaquin Ezpeleta, Cristian Mahulea +1

This paper focuses on designing motion plans for a heterogeneous team of robots that must cooperate to fulfill a global mission. Robots move in an environment that contains some re…

cs.RO2022★ 1 cited

On Multi-Robot Path Planning Based on Petri Net Models and LTL specifications

Sofia Hustiu, Cristian Mahulea, Marius Kloetzer +1

This work considers the path planning problem for a team of identical robots evolving in a known environment. The robots should satisfy a global specification given as a Linear Tem…

eess.SY2020★ 2 cited

On Liveness Enforcement of Distributed Petri Net Systems

Daniel Clavel, Cristian Mahulea, Manuel Silva

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…