Michel Reniers — accepted AI-conference papers

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 ↗

2023

RoboSC: a domain-specific language for supervisory controller synthesis of ROS applications

Bart Wesselink, Koen de Vos, Ivan Kuertev, Michel Reniers, Elena Torta

ICRA 2023poster

The paper presents a novel domain-specific language, RoboSC, for developing supervisory controllers for robotic applications. RoboSC supports concepts of ROS/ROS2 and supervisory control theory. It enables users to focus on the modeling and the synthesis process of supervisory controllers for ROS ap…

Cited by 2 Source ↗Scholar ↗