SIAM Journal on Control and Optimization, Vol.50, No.4, 2462-2485, 2012
CONTROLLABILITY OF ROLLING WITHOUT TWISTING OR SLIPPING IN HIGHER DIMENSIONS
We describe how the kinematic system of rolling two n-dimensional connected, oriented Riemannian manifolds M and (M) over cap M without twisting or slipping can be lifted to a nonholonomic system defined on the product of the oriented orthonormal frame bundles belonging to the two manifolds. By using known properties of forms known as Cartan's moving frame, we obtain sufficient conditions for the local controllability of the system in terms of the curvature tensors and the sectional curvatures of the manifolds involved. By using the information from these calculations, we show that we need only consider normal extremals, when looking for a rolling of minimal length, connecting two given configurations. We also give some results for controllability in the particular cases when M and (M) over cap are locally symmetric or complete.