Controlled Lagrangians and Stabilization of the Discrete Cart-Pendulum System | IEEE Conference Publication | IEEE Xplore