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 条

[1] On Fast Jerk-Continuous Motion Functions with Higher-Order Kinematic Restrictions for Online Trajectory Generation [J].

Alpers, Burkhard .

ROBOTICS, 2022, 11 (04)

[2]

[Anonymous], 2023, youtu

[3]

Avalos J, 2018, 2018 IEEE 2ND COLOMBIAN CONFERENCE ON ROBOTICS AND AUTOMATION (CCRA)

[4] Safe pHRI via the Variable Stiffness Safety-Oriented Mechanism (V2SOM): Simulation and Experimental Validations [J].

Ayoubi, Younsse ;

Laribi, Med Amine ;

Arsicault, Marc ;

Zeghloul, Said .

APPLIED SCIENCES-BASEL, 2020, 10 (11)

[5]

Berscheid L, 2021, ROBOT SCI SYS

[6]

Demirci Z., 2022, MARVer: a Tool for Verification of Robotic System's Safety'

[7] An approach for jerk-continuous trajectory generation of robotic manipulators with kinematical constraints [J].

Fang, Yi ;

Qi, Jin ;

Hu, Jie ;

Wang, Weiming ;

Peng, Yinghong .

MECHANISM AND MACHINE THEORY, 2020, 153

[8]

ifarlab.ogu, Eskisehir Osmangazi Universitesi Akilli Fabrika ve Robotik Laboratuvari

[9]

Kang J, 2018, IEEE ANN INT CONF CY, P552, DOI 10.1109/CYBER.2018.8688348

[10]

Landi CT, 2019, IEEE INT C INT ROBOT, P5950, DOI [10.1109/IROS40897.2019.8968559, 10.1109/iros40897.2019.8968559]

← 1 2 →