Ning Ran

2 accepted papers

2025

Optimal Path Planning for Multi-Robot Systems Using Petri Nets

Zhou He, Shilong Yuan, Ning Ran, Dimitri Lefebvre

RA-L 2025

This letter deals with the problem of path planning of multi-robot systems within the context of high-level tasks. Specifically, a task comprises logical requirements (conjunctions, disjunctions, and negations) on the trajectories and final states of robots in certain regions of interest. We propose

Cited by 2 Source ↗Scholar ↗

2024

Multi-Robot Path Planning With Boolean Specification Tasks Under Motion Uncertainties

Zhe Zhang, Zhou He, Ning Ran, Michel Reniers

IROS 2024poster

This paper studies the path planning problem of multi-robot systems under motion uncertainties with high-level tasks that are expressed as Boolean specifications. The specification imposes logical constraints on robot trajectories and final states. First, a global Markov decision process model of th…

Cited by 1 Source ↗Scholar ↗