Geometric control of mechanical systems : modeling, analysis, and design for simple mechanical control systems - Bullo, Francesco (Texts in Applied Mathematics ; ;, 2005)