Synthesis-based engineering of supervisory controllers for ROS-based applications

被引:2
作者
Torta, E. [1 ]
Reniers, M. [1 ]
Kok, J. [1 ]
Mortel-Fronczak, J. M. van de [1 ]
van de Molengraft, M. J. G. [1 ]
机构
[1] Eindhoven Univ Technol, Dept Mech Engn, Eindhoven, Netherlands
关键词
Robotics; Autonomous navigation; Supervisory control; ROS; Model-based engineering; Discrete-event systems; ROBOTS; FIELD;
D O I
10.1016/j.conengprac.2023.105433
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
An ever-increasing number of robotic applications is being created based on the functionalities and the communication facilities offered by the Robotic Operating System (ROS). When applications involve contact with humans, such as in some transportation tasks, a robot supervisory controller shall guarantee that in every possible circumstance safety and task requirements are satisfied. There is no framework provided by ROS to specify supervisory controllers with formal guarantees about the satisfaction of requirements. This is problematic when the complexity of the controller increases, and it is not viable to test every possible scenario during the validation stage of the robotic application. This paper presents novel work that aims at enabling supervisory controller synthesis for ROS-based applications by (a) proposing a novel mapping between concepts from supervisory control theory and ROS, (b) demonstrating that a supervisory control modeling language exists that can be used to describe plant models and to specify requirements and (c) presenting generic finite-state automata models of ROS components, regarded as plant models, which are input for the synthesis procedure. The approach is demonstrated by synthesizing the controller to coordinate state-of-the-art mobile robot navigation modules. Simulations and real-life experiments show that the generated supervisory controller guarantees the correctness of the model with respect to the requirements and that the execution time of a control loop, including the binding code between the supervisory controller and ROS, is on average short enough to be deployed in high-level control loops. The paper is accompanied by a public code repository that contains the implementation of all methods presented in the paper including simulation environments to ease the replication of the results presented.
引用
收藏
页数:12
相关论文
共 37 条
[1]  
Adam K., 2016, INT WORKSH DOM SPEC, P22, DOI 10.1145/3023147.3023151.
[2]   UltraDES - A Library for Modeling, Analysis and Control of Discrete Event Systems [J].
Alves, Lucas V. R. ;
Martins, Lucas R. R. ;
Pena, Patricia N. .
IFAC PAPERSONLINE, 2017, 50 (01) :5831-5836
[3]  
Arne Nordmann, 2016, J SOFTWARE ENG ROBOT
[4]  
Barth R., 2014, Proceedings of the Second International Conference on Robotics and associated High-technologies and equipment for agriculture and forestry, P509
[5]  
Brugali D, 2016, STUD COMPUT INTELL, V625, P509, DOI 10.1007/978-3-319-26054-9_20
[7]  
Brunner G, 2019, INT CONF UNMAN AIRCR, P1005, DOI [10.1109/icuas.2019.8798337, 10.1109/ICUAS.2019.8798337]
[8]   New results on supervisor localization, with case studies [J].
Cai, Kai ;
Wonham, W. M. .
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2015, 25 (1-2) :203-226
[9]  
Cassandras C. G., 2008, Introduction to discrete event systems, DOI DOI 10.1007/978-0-387-68612-7
[10]   Asynchronous Fault Detection Observer for 2-D Markov Jump Systems [J].
Cheng, Peng ;
Wang, Hai ;
Stojanovic, Vladimir ;
He, Shuping ;
Shi, Kaibo ;
Luan, Xiaoli ;
Liu, Fei ;
Sun, Changyin .
IEEE TRANSACTIONS ON CYBERNETICS, 2022, 52 (12) :13623-13634