Controlled Lagrangians and Potential Shaping for Stabilization of Discrete Mechanical Systems | IEEE Conference Publication | IEEE Xplore