How to Formally Model Human in Collaborative Robotics

Mehrnoosh Askarpour
DOI: https://doi.org/10.4204/EPTCS.329.1
2020-12-03
Abstract: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.
Robotics,Formal Languages and Automata Theory,Software Engineering
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to formally model human behavior in the Human - Robot Collaboration (HRC) scenario to ensure safety. Specifically, the paper explores the capabilities of existing technologies in modeling human behavior, especially whether these models are suitable for the HRC scenario. The paper emphasizes that in order to conduct effective safety analysis, the model of the HRC system needs to be both comprehensive and realistic, which requires a reasonable model of human behavior that can reflect the physical presence of humans in the shared workspace and the observable manifestations of their behavior, including following expected instructions to perform tasks and deviating from expected behavior (such as errors, mistakes, malicious use). Therefore, the core problem of the paper is to explore and evaluate different types of modeling methods (cognitive models, task - analysis models, and probability models) to determine which methods are most suitable for modeling human behavior in the HRC scenario.