Online Motion Analyzer (OMA): A Software Service for Runtime Verification of Robotic Systems' Safety

被引:2
作者
Kahraman, Serhat [1 ]
Bulut, Mert [1 ]
Degirmenci, Elif [1 ]
Kirca, Yunus Sabri [1 ]
Ozkan, Metin [1 ]
Yazici, Ahmet [1 ]
机构
[1] Eskisehir Osmangazi Univ, Bilgisayar Muhendisligi ESOGU Intelligent Factory, Elekt & Elektr Muhendisligi, Eskisehir, Turkiye
来源
2023 31ST SIGNAL PROCESSING AND COMMUNICATIONS APPLICATIONS CONFERENCE, SIU | 2023年
关键词
Runtime Verification; Safety; Online Motion Analyzer (OMA);
D O I
10.1109/SIU59756.2023.10223793
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The safety of robotic systems has gained an importance with increasing autonomous behavior. Runtime Verification (RV) is a technique used to check software accuracy and reliability by monitoring the robot's states during robot operation. In this study, Online Motion Analyzer (OMA) service was developed for runtime verification of joint states of industrial robot arms. The developed OMA service has been successfully tested on a real robotic system constructed as TRL5 level in IFARLab.
引用
收藏
页数:4
相关论文
共 14 条
[11]   Towards Distributed Trajectory Interpolation and Motion Control: Prototyping with ROS [J].
Lashchev, Andrei ;
Veselov, Gennady ;
Vyatkin, Valeriy .
2021 26TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2021,
[12]   Collision Avoidance in Human-Robot Interaction Using Kinect Vision System Combined With Robot's Model and Data [J].
Nascimento, Hugo ;
Mujica, Martin ;
Benoussaad, Mourad .
2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2020, :10293-10298
[13]   Smooth Cubic Polynomial Trajectories for Human-Robot Interactions [J].
Sidobre, Daniel ;
Desornneaux, Kevin .
JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, 2019, 95 (3-4) :851-869
[14]   Safety bounds in human robot interaction: A survey [J].
Zacharaki, Angeliki ;
Kostavelis, Ioannis ;
Gasteratos, Antonios ;
Dokas, Ioannis .
SAFETY SCIENCE, 2020, 127