Title: Lyapunov-Based Control of Mechanical Systems