Differentiable Dynamics Simulation Using Invariant Contact Mapping and Damped Contact Force | IEEE Conference Publication | IEEE Xplore