Search papers, labs, and topics across Lattice.
This paper introduces X-Safe, a universal safeguarding method for robotic manipulation that operates directly in the robot's configuration space to ensure collision avoidance across various embodiments and tasks. By leveraging a quasi-static scene representation and a forward kinematics model, X-Safe provides formal probabilistic safety guarantees without the need for extensive manual engineering or additional data. The results show that X-Safe achieves superior task performance and no collisions in hardware experiments compared to existing safeguarding methods.
X-Safe achieves formal safety guarantees for robotic manipulation without the heavy engineering burden, enabling seamless transfer across different embodiments and tasks.
Ensuring safety of learning-enabled robotic manipulation across diverse embodiments and tasks still requires significant manual engineering. Existing approaches typically rely on heuristically designed fallback controllers or complex forward invariance assessments. These methods are often too conservative for task success, too computationally expensive for real-time execution, too heuristic to provide useful safety guarantees, or too engineering-heavy to transfer between setups. In this paper, we propose a universal safeguarding approach, X-Safe, which reasons directly in the robot's configuration space to provide formal probabilistic guarantees for collision avoidance. By operating in the configuration space, our method transfers across embodiments while relying solely on an object-based, quasi-static scene representation and a forward kinematics model of the robotic manipulator. Thus, X-Safe provides useful formal safety guarantees without requiring additional data, or engineering effort for different embodiments or scenes. We demonstrate X-Safe for diverse embodiments and policies, both in simulation and on hardware. We observe less degradation in task performance compared to state-of-the-art safeguarding, no collisions on hardware experiments, and empirically corroborate our formal guarantees.
