,
, Lemma 4.15 The vector field L is geodesic, the distribution L ? is integrable and its integral manifolds are spherical
Let us prove the integrability of ,
,
This proves that L ? is involutive and hence integrable. Let O be an integral manifold of L ? . If X, Y ? VF(O) ,
A motion planning algorithm for the rolling-body problem, IEEE Trans. on Robotics, vol.26, issue.5, pp.827-836, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-02320810
An Intrinsic Approach to the Control of Rolling Bodies, Proceedings of the Conference on Decision and Control, vol.1, pp.431-435, 1999. ,
Control Theory from the Geometric Viewpoint, Encyclopaedia of Mathematical Sciences, vol.87, 2004. ,
Cones over pseudo-Riemannian manifolds and their holonomy, J. Reine Angew. Math, vol.635, pp.23-69, 2009. ,
Sur les groupes d'holonomie homogène des variétés à connexion affine et des variétés riemanniennes, Bulletin de la Société Mathématique de France, vol.83, pp.279-330, 1955. ,
Geometry of Manifolds with Special Holonomy, Contemporary Mathematics, vol.395, 2006. ,
Rigidity of integral curves of rank 2 distributions, Invent. Math, vol.114, issue.2, pp.435-461, 1993. ,
On some feasible generalization of the theorem of area, with an application to the problem of rolling spheres, English translation in Regul. Chaotic Dyn, vol.17, issue.2, pp.199-217, 2012. ,
On the rolling of a sphere on a horizontal plane, English translation in Regul. Chaotic Dyn, vol.7, issue.2, pp.131-148, 2002. ,
On the controllability and trajectories generation of rolling surfaces, Forum Math, vol.15, pp.727-758, 2003. ,
, Rolling Manifolds: Intrinsic Formulation and Controllability, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00535711
Rolling Manifolds on Space Forms, Ann. Inst. H. Poincaré Anal. Non Linéaire, vol.29, issue.6, pp.927-954, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-02320824
The geometry of homogeneous submanifolds of hyperbolic space, Math. Z, vol.237, issue.1, pp.199-209, 2001. ,
An intrinsic formulation of the problem on rolling manifolds, J. Dyn. Control Syst, vol.18, issue.2, pp.181-214, 2012. ,
Geometric conditions for the existence of an intrinsic rolling, To appear Commun. Pure Appl. Anal ,
Controllability of rolling without twisting or slipping in higher dimensions, SIAM J. Control Optim, vol.50, issue.4, pp.2462-2485, 2012. ,
Eine innere Kennzeichnung der verzerrten Produkte, Math. Ann, vol.241, issue.3, pp.209-215, 1979. ,
Rolling sphere problems on spaces of constant curvature, Math. Proc. Cambridge Philos. Soc, vol.144, issue.3, pp.729-747, 2008. ,
, Foundations of Differential Geometry, vol.I, 1996.
Rolling bodies with regular surface: controllability theory and applications, IEEE Trans. Automat. Control, vol.45, issue.9, pp.1586-1599, 2000. ,
A mathematical introduction to robotic manipulation, 1994. ,
Kinematics and differential geometry of submanifolds, Tôhoku Mathematical Journal, vol.30, issue.4, pp.623-637, 1978. ,
Semi-Riemannian Geometry with Applications to Relativity, 1983. ,
Translations of Mathematical Monographs, 149, 1996. ,
Differential Geometry: Cartan's Generalization of Klein's Erlangen Program, Graduate Texts in Mathematics, vol.166, 1997. ,
On the de Rham decomposition theorem, Illinois J. Math, vol.8, pp.291-311, 1964. ,
E-mail address: yacine.chitour@lss.supelec.fr L2S, CNRS and Supélec, vol.70211 ,