Stability and Convergence of Mechanical Systems with Unilateral Constraints | EKB DL