On the motion planning of rolling surfaces. (English) Zbl 1044.93015

Chelouah, A.; Chitour, Y.

Forum Math. 15, No. 5, 727-758 (2003).

This paper addresses the problem of motion planing for a pair of 2-dimensional Riemannian manifolds rolling on each other without slipping or spinning. Conceptually, the paper refers to the following fundamental contributions to the subject: V. Jurdjevic, “The geometry of the plate-ball problem” [Arch. Ration. Mech. Anal. 124, 305–328 (1993; Zbl 0809.70005)], [A. A. Agrachev and Y. L. Sachkov, “An intrinsic approach to the control of rolling bodies” [Proc. IEEE CDC, Vol. 1 (1999)], and A. Marigo and A. Bicchi, “Rolling bodies with regular surfaces: controllability theory and applications” [IEEE Trans. Autom. Control 45, 1586–1599 (2000; Zbl 0986.70002)]. A conceptualization of the problem is equivalent to that proposed by Agrachev and Sachkov, and leads to a 5-dimensional state space being a circle bundle over a product of the rolling manifolds. The nonslipping and nonspinning conditions are expressed as a preservation of the Riemannian lengths of trajectories on the rolling manifolds, and as a suitable balance of angular velocities at the contact point. Denoting the state of the rolling manifolds \(M_1\), \(M_2\) as \((c_1,c_2,R)\), where \(c_i\in M_i\), the equations of rolling in local coordinates are given the form of a driftless control system \[ \begin{aligned} \dot{c}_1&=u_1X_1^1+u_2X_2^1\\ \dot{c}_2&=u_1(X^2R)_1+u_2(X^2R)_2\\ \dot{R}R^{-1}&=u_1(\omega_1(X_1^1)-\omega_2(X^2R)_1)+u_2(\omega_1(X_2^1)-\omega_2(X^2R)_2), \end{aligned} \tag{1} \] with \(X^1=(X_1^1,X_2^1)\), \(X^2=(X^2_1,X^2_2)\) denoting suitable orthonormal moving frames on \(M_1\) and \(M_2\), where \(u_1,u_2\) are controls. Using geodesic coordinates on \(M_1\),\( M_2\), a controllability result for system (1) by Agrachev and Sachkov is recovered (Theorem 1). This result states in particular that a necessary and sufficient condition for controllability is nonisometry of the rolling manifolds. The main contribution of this paper lies in elicitating approaches to the motion planning problem of rolling manifolds. The first approach uses the theory of Liouville control systems, the second one relies on an application of the continuation or homotopy method. The Liouville systems may be called partially differentially flat, what means that it is possible to compute Liouville system trajectories by quadratures from suitably chosen linearizing outputs and their finitely many derivatives. For a representation of (1) in geodesic coordinates it is proved that this system is not differentially flat (Proposition 2), and that if one of the rolling manifolds has a symmetry of revolution then system (1) is Liouvillean (Proposition 3). In the special case when either of the rolling manifolds is a plane, the linearizing outputs are found explicitly (Proposition 4). The continuation method solution of the motion planning problem is based on solving a so-called Ważewski or Path Lifting Equation in the Hilbert space of system controls. The main difficulties with applying this method result from the existence of singularities, and a possibility of explosion of a solution to the Path Lifting Equation.
In the paper a sufficient condition for successful application of the continuation method is provided (Proposition 6). This condition is satisfied e.g. for the plate-ball problem. A specific, continuation-based planning strategy is derived.
Although addressed primarily to mathematicians, this paper should also be of remarkable interest for mathematically oriented people of the mechanics and the robotics communities.

Reviewer: Krzysztof Tchoń (Wrocław)

MSC:

93B29	Differential-geometric methods in systems theory (MSC2000)
93C85	Automated systems (robots, etc.) in control theory
70E55	Dynamics of multibody systems
93B05	Controllability

Keywords:

rolling bodies; motion planning; Liouville system; continuation method

Citations:

Zbl 0809.70005; Zbl 0986.70002

References:

[1]	Agrachev A. A., Matem. Sbornik 109 pp 467– (1978)
[2]	Agrachev A. A., Conf. Dec. Contr. 1 pp 431– (1999)
[3]	Allgower, E. L. and Georg, K.: Continuation and path following. Acta Numerica pp. 1-64, 1992 · Zbl 0792.65034
[4]	Bryant, R. L., Chern, S. S., Gardner, R. B., Goldschmidt, H. L., and Gri ths, P. A.: Exterior Di erential Systems. Springer Verlag, 1991
[5]	Bryant R. L., Invent. Math. 114 pp 435– (1993)
[6]	Chelouah A., IEEE Conf. Dec. Contr. 5 pp 4268– (1997)
[7]	Chitour, Y.: Applied and Theoretical Aspects of the Controllability of Nonholonomic Systems. PhD thesis, Rutgers University, 1996
[8]	Fliess M., R. Acad. Sci. Paris I- 317 pp 981– (1993)
[9]	Fliess M., Internat. J. Control 61 pp 1327– (1995)
[10]	Fliess, M., Levine, J., Martin, P., and Rouchon, R.: Deux applications de la geometrie locales des di etes. Ann. Inst. Henri Poincare 66 (1997), 275-292 · Zbl 0895.58003
[11]	Fliess M., Contemp. Math. 219 pp 81– (1998)
[12]	Fliess M., IEEE Trans. Automat. Control 44 pp 922– (1999)
[13]	Gardner R., Trans. Amer. Math. Soc. 126 pp 514– (1967)
[14]	Jurdjevic V., Arch. Rational Mech. Anal. 124 pp 305– (1993)
[15]	Jurdjevic, V.: Geometric control theory. Cambridge Stud. Adv. Math. Camb. Univ. Press, 1997 · Zbl 0940.93005
[16]	Kiss, B., Levine, J., and Lantos, B.: On motion planning for robotic manipulation with permanent rolling contacts. to appear in International Journal of Robotics Research, 2002
[17]	Klingenberg, W.: Riemannian Geometry. De Gruyter, 1982
[18]	Li Z., IEEE Trans. Automat. Control 6 pp 62– (1990)
[19]	Liu, W. and Sussmann, H. J.: Shortest paths for sub-riemannian metrics on ran-two distributions. Mem. Amer. Math. Soc. 118. Providence.RI1995
[20]	Marigo A., IEEE Trans. Automat. Control 45 pp 1586– (2000)
[21]	Martin P., Signals and Systems 7 pp 235– (1994)
[22]	Murray R. M., Signals and System 7 pp 58– (1994)
[23]	Murray, R. M., Li, Z., and Sastry, S. S.: Robotics Manipulation. CRC Press, 1994
[24]	Sakai, T.: Riemannian Geometry. Transl. Math. Monographs 149. Amer. Math. Soc., 1996. · Zbl 0886.53002
[25]	Steenrod, N.: The Topology of Fibre Bundles. Princeton University Press, 1951 · Zbl 0054.07103
[26]	Sussmann, H. J.: A continuation method for nonholonomic path-finding problems. In: Proc. IEEE Conf. Dec. Contr. pp. 1345-1348. San Antonio, 1992
[27]	Sussmann, H. J.: New di erential geometric methods in nonholonomic path finding. In: (A. Isidori and T. J. Tarn, editors) Systems, Models and Feedback. Birkh user, 1992 · Zbl 0777.93014
[28]	Wazewski T., Ann. Soc. Pol. Math. pp 20– (1947)
[29]	Zharinov, V. V.: Geometrical aspect of partial di erential equations. World Scientific, Singapour 1992