Reachset Conformance Testing of Human Arms with a Biomechanical Model

Guaranteeing safety in human-robot co-existence often requires a prediction of the volume that could be occupied by the human up to a future time, in order to avoid collisions. Such predictions should be simple and fast for real-time calculation and collision-checking, but account even for unexpected movement. We use a complex biomechanical model to search for extreme human movement, to validate such a prediction. Since the model has a large input space and highly nonlinear dynamics, we use an exploration algorithm based on RRTs to efficiently find the extreme movements. We find that the simple prediction encloses all arm positions found by the exploration algorithm, except where the biomechanical model does not account for collision between body tissue.