论文标题
如何在协作机器人技术中正式建模人类
How to Formally Model Human in Collaborative Robotics
论文作者
论文摘要
人机合作（HRC）是机器人技术的一种新兴趋势，它促进了普通工作区中人类和机器人的共同共同和合作。 人类与机器人之间的物理附近和相互作用，再加上人类行为的不确定性，可能导致不希望的情况人类受伤。因此，安全是HRC应用的优先事项。 通过正式建模和验证技术进行的安全分析可以极大地避免危险的后果，但前提是HRC系统的模型全面且现实，这需要合理的现实人类行为模型。本文探讨了用于建模人类的最新解决方案，并讨论了哪些适合HRC方案的解决方案。
Human-robot collaboration (HRC) is an emerging trend of robotics that promotes the co-presence and cooperation of humans and robots in common workspaces. Physical vicinity and interaction between humans and robots, combined with the uncertainty of human behaviour, could lead to undesired situations where humans are injured. Thus, safety is a priority for HRC applications. Safety analysis via formal modelling and verification techniques could considerably avoid dangerous consequences, but only if the models of HRC systems are comprehensive and realistic, which requires reasonably realistic models of human behaviour. This paper explores state-of-the-art solutions for modelling human and discusses which ones are suitable for HRC scenarios.
