Global Stabilization of a Fully Actuated Mechanical System on a Riemannian Manifold including Control Saturation Effects | IEEE Conference Publication | IEEE Xplore