Rigid Body Adversarial Attacks
Aravind Ramakrishnan, David I. W. Levin, Alec Jacobson
TL;DR
The paper addresses vulnerabilities in rigid body simulators by constructing perceptually stiff adversarial objects that share the reference's geometry and mass moments $m_0$, $m_1$, and $m_2$ to match rigid trajectories while maximizing differences in deformable simulations. It leverages a differentiable deformable simulator and the adjoint method to optimize per-element material properties and occupancy under bounds on $Y$, $\nu$, $\rho$, and $\alpha$, with a soft constraint enforcing mass moments and a cost that prioritizes deformable trajectory divergence $|| q_{adv}(t_{end}) - q_{ref}(t_{end}) ||^2$. The approach is validated on several objects using Polyfem and commercial simulators, revealing significant trajectory deviations in deformable dynamics despite identical rigid body behavior. These findings highlight potential safety risks in robotics and planning pipelines that rely on rigid body models and suggest directions for improving simulator robustness, including material libraries, anisotropy, multiscale modeling, and adversarial training.
Abstract
Due to their performance and simplicity, rigid body simulators are often used in applications where the objects of interest can considered very stiff. However, no material has infinite stiffness, which means there are potentially cases where the non-zero compliance of the seemingly rigid object can cause a significant difference between its trajectories when simulated in a rigid body or deformable simulator. Similarly to how adversarial attacks are developed against image classifiers, we propose an adversarial attack against rigid body simulators. In this adversarial attack, we solve an optimization problem to construct perceptually rigid adversarial objects that have the same collision geometry and moments of mass to a reference object, so that they behave identically in rigid body simulations but maximally different in more accurate deformable simulations. We demonstrate the validity of our method by comparing simulations of several examples in commercially available simulators.
