Global stabilization of a fully actuated mechanical system on a Riemannian manifold: controller structure | IEEE Conference Publication | IEEE Xplore