Control system design for mechanical systems using contraction theory | IEEE Journals & Magazine | IEEE Xplore