Ivan Kuertev

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

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…