Lyapunov Approach for the stabilization of the Inverted Spherical Pendulum
Controlled Lagrangians and the stabilization of mechanical systems I: The first matching theorem