Serving Time: Real-Time, Safe Motion Planning and Control for Manipulation of Unsecured Objects
Zachary Brei, Jonathan Michaux, Bohao Zhang, Patrick Holmes, Ram, Vasudevan

TL;DR
This paper introduces WAITR, a real-time, certifiably safe motion planning framework for robotic manipulators handling unsecured objects, ensuring safety despite uncertainties and complex environments.
Contribution
The paper presents WAITR, a novel reachability-based method that guarantees safe manipulation of unsecured objects in real-time, accounting for uncertainties in dynamics and contact parameters.
Findings
WAITR outperforms existing methods in simulations.
WAITR demonstrates real-world applicability and safety guarantees.
The framework efficiently computes safe motions in complex environments.
Abstract
A key challenge to ensuring the rapid transition of robotic systems from the industrial sector to more ubiquitous applications is the development of algorithms that can guarantee safe operation while in close proximity to humans. Motion planning and control methods, for instance, must be able to certify safety while operating in real-time in arbitrary environments and in the presence of model uncertainty. This paper proposes Wrench Analysis for Inertial Transport using Reachability (WAITR), a certifiably safe motion planning and control framework for serial link manipulators that manipulate unsecured objects in arbitrary environments. WAITR uses reachability analysis to construct over-approximations of the contact wrench applied to unsecured objects, which captures uncertainty in the manipulator dynamics, the object dynamics, and contact parameters such as the coefficient of friction.…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsRobotic Path Planning Algorithms · Robot Manipulation and Learning · Formal Methods in Verification
