ICRA 2023poster2 citations
RoboSC: a domain-specific language for supervisory controller synthesis of ROS applications
Bart Wesselink, Koen de Vos, Ivan Kuertev, Michel Reniers, Elena Torta
Abstract
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 applications only because it generates all artifacts needed to connect such controllers to ROS applications and deploy them. Validation tests with actual and simulated robots show the approach's feasibility and indicate reduced coding effort.
BibTeX
@inproceedings{icra2023_roboscadomainspe,
title = {RoboSC: a domain-specific language for supervisory controller synthesis of ROS applications},
author = {Bart Wesselink and Koen de Vos and Ivan Kuertev and Michel Reniers and Elena Torta},
booktitle = {ICRA 2023},
year = {2023}
}