arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2007.11737cs.ROcs.LO
收藏

人机协作协同仿真:从时序逻辑到三维仿真

Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation

McMaster University(麦克马斯特大学);Politecnico di Milano(米兰理工大学)

Mehrnoosh Askarpour, Matteo Rossi, Omer Tiryakiler

摘要:

人机协作(HRC)正在迅速取代机器人在制造业中的传统应用。机器人和人类操作员不再需要在隔离区域执行任务,而是能够在近距离工作并执行混合任务--部分由人类和机器人执行。我们在早期的工作中提出了一种方法[16],以促进和促进正式建模HRC系统,这是众所周知的安全关键。依靠时序逻辑建模能力和自动化模型检验工具,我们建立了一个框架,对HRC系统进行正式建模,并根据ISO 10218-2 [10]标准验证操作人员的人身安全。为了使我们提出的形式化验证框架更吸引安全工程师,他们通常不是很喜欢的正式建模和验证技术,我们决定耦合我们的模型检验方法与3D模拟器,以更透明的方式向安全工程师展示潜在的危险情况。本文报告了我们的联合仿真方法,使用Morse模拟器[4]和Zot模型检查器[14]。

英文摘要:

Human-Robot Collaboration (HRC) is rapidly replacing the traditional application of robotics in the manufacturing industry. Robots and human operators no longer have to perform their tasks in segregated areas and are capable of working in close vicinity and performing hybrid tasks -- performed partially by humans and by robots. We have presented a methodology in an earlier work [16] to promote and facilitate formally modeling HRC systems, which are notoriously safety-critical. Relying on temporal logic modeling capabilities and automated model checking tools, we built a framework to formally model HRC systems and verify the physical safety of human operator against ISO 10218-2 [10] standard. In order to make our proposed formal verification framework more appealing to safety engineers, whom are usually not very fond of formal modeling and verification techniques, we decided to couple our model checking approach with a 3D simulator that demonstrates the potential hazardous situations to the safety engineers in a more transparent way. This paper reports our co-simulation approach, using Morse simulator [4] and Zot model checker [14].

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑