Safety Assessment of Collaborative Robotics Through Automated Formal Verification
Safety Assessment of Collaborative Robotics Through Automated Formal Verification
复制标题
通过自动形式验证对协作机器人进行安全评估
DOI：
10.1109/tro.2019.2937471
复制
发表时间：
2020
影响因子：
7.8
通讯作者：
D. Mandrioli
中科院分区：
文献类型：
--
作者：
F. Vicentini;M. Askarpour;M. Rossi;D. Mandrioli
人机协作 (HRC) 的一个重要方面是为人类操作员维护一个安全的公共工作空间。然而，人与机器人之间的近距离以及人类行为的不可预测性给安全方面带来了严峻的挑战。本文提出了一种协作机器人应用的风险分析方法，该方法与该领域的众所周知的标准兼容，并依赖形式验证技术来自动化传统的风险分析方法。特别是，该方法依靠基于时间逻辑的模型来描述执行任务的不同可能方式，并依靠全自动形式验证技术来探索相应的状态空间，以在系统设计的早期阶段检测和修改危险情况。
A crucial aspect of physical human–robot collaboration (HRC) is to maintain a safe common workspace for human operator. However, close proximity between human–robot and unpredictability of human behavior raises serious challenges in terms of safety. This article proposes a risk analysis methodology for collaborative robotic applications, which is compatible with well-known standards in the area and relies on formal verification techniques to automate the traditional risk analysis methods. In particular, the methodology relies on temporal logic-based models to describe the different possible ways in which tasks can be carried out, and on fully automated formal verification techniques to explore the corresponding state space to detect and modify the hazardous situations at early stages of system design.
通过形式验证实现可靠的自主机器人助手：案例研究
影响因子：
3.6
作者：
Webster M
通讯作者：
Webster M
验证引导的显着性和认知负荷建模
影响因子：
1
作者：
Rukšenas R
通讯作者：
Rukšenas R
DOI：
--
发表时间：
2014
期刊：
--
影响因子：
--
作者：
Webster M
通讯作者：
Webster M