RoboSC: a domain-specific language for supervisory controller synthesis of ROS applications
Bart Wesselink,Koen de Vos,Ivan Kuertev,Michel Reniers,Elena Torta,Bart Wesselink,Koen de Vos,Ivan Kuertev,Michel Reniers,Elena Torta
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 applica...
