A normal form for energy shaping: application to the Furuta pendulum
Controlled Lagrangians and the stabilization of mechanical systems I: The first matching theorem