A Direct Lyapunov Approach for Stabilization of Underactuated Mechanical Systems | IEEE Conference Publication | IEEE Xplore