I. Introduction
For legged robots navigating challenging terrain, contact modeling for considering the interaction between the robot and terrain is crucial. The modeling is particularly critical on slippery terrain, where the robots encounter nonlinear and hybrid dynamics due to foot slippage. Recently, contact modelings using rigid body contact dynamics have gained attention in the field of legged robots [1], [2], [3], [4].