Single-Level Differentiable Contact Simulation

12/13/2022
by   Simon Le Cleac'h, et al.
0

We present a differentiable formulation of rigid-body contact dynamics for objects and robots represented as compositions of convex primitives. Existing optimization-based approaches simulating contact between convex primitives rely on a bilevel formulation that separates collision detection and contact simulation. These 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. Compared to previous differentiable simulation approaches, our formulation features improved simulation robustness and a reduction in computational complexity by more than an order of magnitude. 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 in the Julia language called Silico.jl.

READ FULL TEXT

page 1

page 4

page 6

page 7

page 8

research
07/01/2022

Differentiable Collision Detection for a Set of Convex Primitives

Collision detection between objects is critical for simulation, control,...
research
03/02/2023

Leveraging Symbolic Algebra Systems to Simulate Contact Dynamics in Rigid Body Systems

Collision detection plays a key role in the simulation of interacting ri...
research
03/30/2021

Fast and Feature-Complete Differentiable Physics for Articulated Rigid Bodies with Contact

We present a fast and feature-complete differentiable physics engine tha...
research
04/25/2023

Towards a generalizable simulation framework to study collisions between spacecraft and debris

In recent years, computer simulators of rigid-body systems have been suc...
research
11/29/2013

Continuous Collision Detection for Composite Quadric Models

A composite quadric model (CQM) is an object modeled by piecewise linear...
research
05/26/2021

A multiresolution Discrete Element Method for triangulated objects with implicit timestepping

Simulations of many rigid bodies colliding with each other sometimes yie...
research
07/01/2022

DiffPills: Differentiable Collision Detection for Capsules and Padded Polygons

Collision detection plays an important role in simulation, control, and ...

Please sign up or login with your details

Forgot password? Click here to reset