A General Safety Framework for Autonomous Manipulation in Human Environments

TL;DR

This paper introduces the SARA shield, a formal safety framework for autonomous manipulation in human environments that guarantees safety while allowing high-speed robot operation.

Contribution

It presents a novel reachability analysis-based safety shield that classifies contact types and verifies energy thresholds, enabling safe, fast human-robot collaboration.

Findings

SARA shield satisfies safety constraints effectively.

It improves robot performance over existing methods.

The framework provides formal safety guarantees.

Abstract

Autonomous robots are projected to significantly augment the manual workforce, especially in repetitive and hazardous tasks. For a successful deployment of such robots in human environments, it is crucial to guarantee human safety. State-of-the-art approaches to ensure human safety are either too conservative to permit a natural human-robot collaboration or make strong assumptions that do not hold for autonomous robots, e.g., knowledge of a pre-defined trajectory. Therefore, we propose the shield for Safe Autonomous human-robot collaboration through Reachability Analysis (SARA shield). This novel power and force limiting framework provides formal safety guarantees for manipulation in human environments while realizing fast robot speeds. As unconstrained contacts allow for significantly higher contact forces than constrained contacts (also known as clamping), we use reachability analysis to classify potential contacts by their type in a formally correct way. For each contact type, we formally verify that the kinetic energy of the robot is below pain and injury thresholds for the respective human body part in contact. Our experiments show that SARA shield satisfies the contact safety constraints while significantly improving the robot performance in comparison to state-of-the-art approaches.