We apply the well-known homotopy continuation method to address the motion planning problem (MPP) for smooth driftless control-affine systems. The homotopy continuation method is a Newton-type procedure to effectively determine functions only defined implicitly. That approach requires first to characterize the singularities of a surjective map and next to prove global existence for the solution of an ordinary differential equation, the Wazewski equation. In the context of the MPP, the aforementioned singularities are the abnormal extremals associated to the dynamics of the control system and the Wazewski equation is an o.d.e. on the control space called the Path Lifting Equation (PLE). We first show elementary facts relative to the maximal solution of the PLE such as local existence and uniqueness. Then we prove two general results, a finite-dimensional reduction for the PLE on compact time intervals and a regularity preserving theorem. In a second part, if the Strong Bracket Generating Condition holds, we show, for several control spaces, the global existence of the solution of the PLE, extending a previous result of H.J. Sussmann.
Keywords: homotopy continuation method, path following, Wazewski equation, sub-riemannian geometry, nonholonomic control systems, motion planning problem
@article{COCV_2006__12_1_139_0, author = {Chitour, Yacine}, title = {A continuation method for motion-planning problems}, journal = {ESAIM: Control, Optimisation and Calculus of Variations}, pages = {139--168}, publisher = {EDP-Sciences}, volume = {12}, number = {1}, year = {2006}, doi = {10.1051/cocv:2005035}, mrnumber = {2192072}, zbl = {1105.93030}, language = {en}, url = {http://archive.numdam.org/articles/10.1051/cocv:2005035/} }
TY - JOUR AU - Chitour, Yacine TI - A continuation method for motion-planning problems JO - ESAIM: Control, Optimisation and Calculus of Variations PY - 2006 SP - 139 EP - 168 VL - 12 IS - 1 PB - EDP-Sciences UR - http://archive.numdam.org/articles/10.1051/cocv:2005035/ DO - 10.1051/cocv:2005035 LA - en ID - COCV_2006__12_1_139_0 ER -
%0 Journal Article %A Chitour, Yacine %T A continuation method for motion-planning problems %J ESAIM: Control, Optimisation and Calculus of Variations %D 2006 %P 139-168 %V 12 %N 1 %I EDP-Sciences %U http://archive.numdam.org/articles/10.1051/cocv:2005035/ %R 10.1051/cocv:2005035 %G en %F COCV_2006__12_1_139_0
Chitour, Yacine. A continuation method for motion-planning problems. ESAIM: Control, Optimisation and Calculus of Variations, Volume 12 (2006) no. 1, pp. 139-168. doi : 10.1051/cocv:2005035. http://archive.numdam.org/articles/10.1051/cocv:2005035/
[1] Sobolev Spaces. Academic Press, New York (1975). | MR | Zbl
,[2] Continuation and Path Following. Acta Numerica (1992). | MR | Zbl
and ,[3] Large Deviations and the Malliavin Calculus. Birkhäuser (1984). | MR | Zbl
,[4] Functional analysis and Galerkin's method. Mich. Math. J. 11 (1964) 385-418. | Zbl
,[5] On the controllability and trajectories generation of rolling surfaces. Forum Math. 15 (2003) 727-758. | Zbl
and ,[6] Applied and theoretical aspects of the controllability of nonholonomic systems. Ph.D. thesis, Rutgers University (1996).
,[7] Path planning on compact Lie groups using a continuation method. Syst. Control Lett. 47 (2002) 383-391. | Zbl
,[8] Line-integral estimates and motion planning using a continuation method. Essays on Math. Robotics, J. Baillieul, S.S. Sastry and H.J. Sussmann Eds., IMA. Math. Appl. 104 (1998) 91-125. | Zbl
and ,[9] Methods of Bifurcation Theory. Springer, New York 251 (1982). | MR | Zbl
and ,[10] A Path Space Approach to Nonholonomic Motion Planning in the Presence of Obstacles. IEEE Trans. Robotics Automation 13 (1997) 443-451.
and ,[11] Ge Zhong, Horizontal Path Spaces and Carnot-Carathéodory Metrics. Pacific J. Math. 161 (1993) 255-286. | Zbl
[12] Global controllability by nice controls, Nonlinear controllability and optimal control. Dekker, NY. Mono. Text. Pure Appl. Math. 133 (1990) 33-79. | Zbl
and ,[13] Applications of alternative problems. Lectures notes, Brown University (1971).
,[14] Differential Topology. Springer, New York (1976). | MR | Zbl
,[15] Geometric control theory. Cambridge Studies in Adv. Math., Cam. Univ. Press (1997). | MR | Zbl
,[16] Motion planning for controllable systems without drift, in Proc. Int. Conf. Robot. Auto. Sacramento, CA (1991) 1148-1153.
, and ,[17] Foundations of Optimal Control Theory. Wiley, New York (1967). | MR | Zbl
and ,[18] Topologie et équations fonctionelles. Ann. Sci. Ecole Norm. Sup. 51 (1934) 45-78. | JFM | Numdam
and ,[19] Numerical solution of multivariate polynomial systems by homotopy continuation methods. Acta Numerica (1997) 399-436. | Zbl
,[20] An approximation algorithm for nonholonomic systems. SIAM J. Control Optim. 35 (1997) 1328-1365. | Zbl
,[21] Shortest paths for sub-Riemannian metrics on rank distributions. Memoirs of the AMS, 564 118 (1995). | MR | Zbl
and ,[22] Contribution à l'étude des systèmes différentiellement plats. Ph.D. thesis, École des Mines de Paris, Paris, France (1992).
,[23] Abnormal Optimal Controls and Open Problems in Nonholonomic Steering. J. Dyn. Cont. Sys. 1 Plenum Pub. Corp. (1995) 49-90. | Zbl
,[24] Steering nonholonomic systems using sinusoids, in Proc. IEEE Conference on Decision and Control (1990).
and ,[25] Cz. Olech, On the Wazewski equation, in Proc. of the conference, Topological methods in Differential Equations and Dynamical systems, Krakow (1996). Univ. Iagel. Acta Math. 36 (1998) 55-64. | Zbl
[26] Métriques de Carnot-Carathéodory et quasiisométries des espaces symétriques de rang un. Ann. Math. 129 (1989) 1-60. | Zbl
,[27] Continuation methods: Theory and Application. IEEE Trans. Circuits Syst. 30 (1983). | MR
and ,[28] Mathematical Control Theory. Texts Appl. Math. 6, Springer-Verlag, New York, 2nd edition (1998). | MR | Zbl
,[29] Shortest paths synthesis for a car-like robot. IEEE Trans. Aut. Cont. 41 (1996) 672-688. | Zbl
and ,[30] Sub-Riemannian Geometry. J. Diff. Geom. 24 (1983) 221-263. | Zbl
,[31] A Continuation Method for Nonholonomic Path-finding Problems, in Proceedings of the 32nd IEEE CDC, San Antonio, TX (Dec. 1993).
,[32] New Differential Geometric Methods in Nonholonomic Path Finding, in Systems, Models, and Feedback, A. Isidori and T.J. Tarn Eds. Birkhäuser, Boston (1992). | MR | Zbl
,[33] Sur l'évaluation du domaine d'existence des fonctions implicites réelles ou complexes. Ann. Soc. Polon. Math. 20 (1947). | Zbl
,Cited by Sources: