Single-Level Differentiable Contact Simulation
Simon Le Cleac’h, Mac Schwager, Zachary R. Manchester, Vikas Sindhwani, Pete Florence, Sumeet Singh · IEEE Robotics and Automation Letters · 2023
We present a differentiable formulation of rigid-body contact dynamics for objects and robots represented as compositions of convex primitives. Classical physics engines rely on non-differentiable collision detection modules. More recent optimization-based approaches simulating contact between convex primitives rely on a bilevel formulation that separates collision detection and contact simulation. These latest approaches are unreliable in realistic contact simulation scenarios because isolating the collision detection problem introduces contact location non-uniqueness. Our approach combines contact simulation and collision detection into a unified single-level optimization problem. This disambiguates the collision detection problem in a physics-informed manner. Our formulation features improved simulation robustness and a reduction in computational complexity when compared to a similardifferentiablesimulation baseline. We illustrate the contact and collision differentiability on a robotic manipulation task requiring optimization-through-contact. We provide a numerically efficient implementation of our formulation called