Offline supervisory control synthesis: taxonomy and recent developments

W Fokkink, M Goorden - Discrete Event Dynamic Systems, 2024 - Springer
This paper surveys recent advances in supervisory control theory since its 30 th anniversary
in 2017. We performed a systematic literature search and selected 272 relevant papers, with …

[HTML][HTML] Synthesis-based engineering of supervisory controllers for ROS-based applications

E Torta, M Reniers, J Kok… - Control Engineering …, 2023 - Elsevier
An ever-increasing number of robotic applications is being created based on the
functionalities and the communication facilities offered by the Robotic Operating System …

[HTML][HTML] Behavior adaptation for mobile robots via semantic map compositions of constraint-based controllers

HL Chen, B Hendrikx, E Torta, H Bruyninckx… - Frontiers in Robotics …, 2023 - frontiersin.org
Specifying and solving Constraint-based Optimization Problems (COP) has become a
mainstream technology for advanced motion control of mobile robots. COP programming still …

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

B Wesselink, K de Vos, I Kuertev… - … on Robotics and …, 2023 - ieeexplore.ieee.org
The paper presents a novel domain-specific language, RoboSC, for developing supervisory
controllers for robotic applications. RoboSC supports concepts of ROS/ROS2 and …

[PDF][PDF] The controller synthesis automation using a dynamic mathematical model and genetic algorithms

V Vysotska, V Lytvyn, S Vladov, O Muzychuk… - 2024 - ceur-ws.org
This research develops a dynamic mathematical model for controller synthesis using genetic
algorithms, surpassing traditional methods by integrating adaptive optimization with …

[PDF][PDF] RoboSC: a domain-specific language for supervisory controller synthesis of ROS-based applications

B Wesselink - research.tue.nl
Safety is a key concern for the development of robots. They should operate as expected, not
have any deadlocks, livelocks or cause accidents. In robotic applications, supervisory …