Asymptotic stabilization of the heavy top using controlled Lagrangians | IEEE Conference Publication | IEEE Xplore