A direct Lyapunov approach for a class of underactuated mechanical systems | IEEE Conference Publication | IEEE Xplore