V.S. Patsko, A.A. Fedotov. Analytic description of a reachable set for the Dubins car ... P. 182-197

A three-dimensional reachable set at an instant is considered for the controlled object "Dubins car" (also known as unicycle). We study the case when turns to both sides are possible. For this case, the authors earlier specified, based on the Pontryagin maximum principle, six types of piecewise constant open-loop controls; one can restrict oneself to these controls when studying the boundary of the reachable set $G(t_f)$ at a given time $t_f$. These controls were used for the numerical construction of the reachable set and for its visualization. However, no analytic description of the boundary of the set $G(t_f)$ was obtained. In the present paper, we derive formulas for the generally nonconvex two-dimensional sections of the set $G(t_f)$ with respect to the angular coordinate. The structure of the sections is analyzed. For the dynamics in the normalized coordinates, an analytic description is obtained under the assumption that $t_f\leq 2\pi$. For this case, a theorem is formulated on necessary and sufficient conditions for transferring a motion to the boundary of $G(t_f)$. The case $t_f>2\pi$ is not covered by the analytic description because of the more complex structure of the sections, in particular, due to the loss of connectivity of $G(t_f)$ for some values of $t_f$.

Keywords: Dubins car, two-sided turns, three-dimensional reachable set, Pontryagin maximum principle, extremal piecewise constant control, sections of the reachable set along the angle coordinate, analytic description of the sections

Revised January 22, 2020

Accepted January 27, 2020

Valerii Semenovich Patsko, Cand. Sci. (Phys.-Math.), Krasovskii Institute of Mathematics and Mechanics of the Ural Branch of the Russian Academy of Sciences, Yekaterinburg, 620108 Russia; Ural Federal University, Yekaterinburg, 620000 Russia, e-mail: patsko@imm.uran.ru

Andrei Anatol’evich Fedotov, Cand. Sci. (Phys.-Math.), Krasovskii Institute of Mathematics and Mechanics of the Ural Branch of the Russian Academy of Sciences, Yekaterinburg, 620108 Russia, e-mail: andreyfedotov@mail.ru

REFERENCES

1.   Laumond J.-P. (ed.) Robot motion planning and control. Berlin; Heidelberg: Springer-Verlag, 1998, Lecture Notes in Control and Information Sciences; vol. 229, 354 p. doi: 10.1007/BFb0036069

2.   Patsko V.S., Pyatko S.G., Fedotov A.A. Three-dimensional reachability set for a nonlinear control system. J. Computer and Systems Sciences Internat., 2003, vol. 42, no. 3, pp. 320–328.

3.   Simonenko A.S., Fedotov A.A. Reachable set for the Dubins car under asymmetric constraint on control. CEUR-WS, Proc. of 48th Internat. Youth School-Conf., Yekaterinburg, 2017, Modern Problems in Mathematics and its Applications; vol. 1894, pp. 79–87 (in Russian).
Available at: http://ceur-ws.org/Vol-1894/opt6.pdf

4.   Pontryagin L.S., Boltyanskii V.G., Gamkrelidze R.V., Mishchenko E.F. The mathematical theory of optimal processes. N Y; London: Interscience Publishers John Wiley & Sons, 1962, 360 p. Original Russian text published in Pontryagin L.S., Boltyanskii V.G., Gamkrelidze R.V., Mishchenko E.F. Matematicheskaya teoriya optimal’nykh protsessov. Moscow: Nauka Publ., 1969, 384 p.

5.   Lee E.B., Markus L. Foundations of optimal control theory. N Y ; London; Sydney: John Wiley & Sons, Inc., 1967, 576 p. Translated to Russian under the title Osnovy teorii optimal’nogo upravleniya, Moscow: Nauka Publ., 1972, 576 p. ISBN: 0471522635 .

6.   Dubins L.E. On curves of minimal length with a constraint on average curvature and with prescribed initial and terminal positions and tangents. American J. Math., 1957, vol. 79, no. 3, pp. 497–516. doi: 10.2307/2372560

Cite this article as: V.S. Patsko, A.A. Fedotov. Analytic description of a reachable set for the Dubins car, Trudy Instituta Matematiki i Mekhaniki URO RAN, 2020, vol. 26, no. 1, pp. 182–197.