Completeness of Riemannian metrics: an application to the control of constrained mechanical systems | IEEE Journals & Magazine | IEEE Xplore