A model matching for the stabilization of the two Wheels Inverted Pendulum
Controlled Lagrangians and the stabilization of mechanical systems I: The first matching theorem