Lyapunov-Based Control of Mechanical Systems