Abstract
We consider a time-optimal problem for a car model that can move forward on a plane and turn with a given minimum turning radius. Trajectories of this system are applicable in image processing for the detection of salient lines. We prove the controllability and existence of optimal trajectories. Applying the necessary optimality condition given by the Pontryagin maximum principle, we derive a Hamiltonian system for the extremals. We provide qualitative analysis of the Hamiltonian system and obtain explicit expressions for the extremal controls and trajectories.
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1134%2FS0081543823020141/MediaObjects/11501_2023_8317_Fig1_HTML.gif)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1134%2FS0081543823020141/MediaObjects/11501_2023_8317_Fig2_HTML.gif)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1134%2FS0081543823020141/MediaObjects/11501_2023_8317_Fig3_HTML.gif)
References
A. Agrachev, D. Barilari, and U. Boscain, A Comprehensive Introduction to Sub-Riemannian Geometry: From the Hamiltonian Viewpoint (Cambridge Univ. Press, Cambridge, 2020), Cambridge Stud. Adv. Math. 181.
A. A. Agrachev and Yu. L. Sachkov, Control Theory from the Geometric Viewpoint (Springer, Berlin, 2004), Encycl. Math. Sci. 87.
V. I. Arnol’d, Ordinary Differential Equations (Springer, Berlin, 1992).
E. J. Bekkers, R. Duits, A. Mashtakov, and G. R. Sanguinetti, “A PDE approach to data-driven sub-Riemannian geodesics in \(\mathrm {SE}(2)\),” SIAM J. Imaging Sci. 8 (4), 2740–2770 (2015).
V. N. Berestovskiĭ, “Geodesics of a left-invariant nonholonomic Riemannian metric on the group of motions of the Euclidean plane,” Sib. Math. J. 35 (6), 1083–1088 (1994) [transl. from Sib. Mat. Zh. 35 (6), 1223–1229 (1994)].
U. Boscain, J.-P. Gauthier, D. Prandi, and A. Remizov, “Image reconstruction via non-isotropic diffusion in Dubins/Reed–Shepp-like control systems,” in 53rd IEEE Conf. on Decision and Control, Los Angeles, 2014 (IEEE, 2014), pp. 4278–4283.
G. Citti and A. Sarti, “A cortical based model of perceptual completion in the roto-translation space,” J. Math. Imaging Vis. 24 (3), 307–326 (2006).
L. E. Dubins, “On curves of minimal length with a constraint on average curvature, and with prescribed initial and terminal positions and tangents,” Am. J. Math. 79 (3), 497–516 (1957).
R. Duits, U. Boscain, F. Rossi, and Yu. L. Sachkov, “Association fields via cuspless sub-Riemannian geodesics in \(\mathrm {SE}(2)\),” J. Math. Imaging Vis. 49 (2), 384–417 (2014).
R. Duits, S. P. L. Meesters, J.-M. Mirebeau, and J. M. Portegies, “Optimal paths for variants of the 2D and 3D Reeds–Shepp car with applications in image analysis,” J. Math. Imaging Vis. 60 (6), 816–848 (2018).
L. V. Lokutsievskiy, “Convex trigonometry with applications to sub-Finsler geometry,” Sb. Math. 210 (8), 1179–1205 (2019) [transl. from Mat. Sb. 210 (8), 120–148 (2019)].
A. Mashtakov, “Extremal controls for the Duits car,” in Geometric Science of Information: Proc. 5th Int. Conf. GSI 2021, Paris, 2021, Ed. by F. Nielsen and F. Barbaresco (Springer, Cham, 2021), Lect. Notes Computer Sci. 12829, pp. 73–81.
A. P. Mashtakov, “Time minimization problem on the group of motions of a plane with admissible control in a half-disc,” Sb. Math. 213 (4), 534–555 (2022) [transl. from Mat. Sb. 213 (4), 100–122 (2022)].
A. P. Mashtakov, A. A. Ardentov, and Yu. L. Sachkov, “Parallel algorithm and software for image inpainting via sub-Riemannian minimizers on the group of rototranslations,” Numer. Math., Theory Methods Appl. 6 (1), 95–115 (2013).
J. Petitot, “The neurogeometry of pinwheels as a sub-Riemannian contact structure,” J. Physiol. Paris 97 (2–3), 265–309 (2003).
J. A. Reeds and L. A. Shepp, “Optimal paths for a car that goes both forwards and backwards,” Pac. J. Math. 145 (2), 367–393 (1990).
Yu. L. Sachkov, “Control theory on Lie groups,” J. Math. Sci. 156 (3), 381–439 (2009) [transl. from Sovrem. Mat. Fundam. Napravl. 27, 5–59 (2007)].
Yu. L. Sachkov, “Cut locus and optimal synthesis in the sub-Riemannian problem on the group of motions of a plane,” ESAIM, Control Optim. Calc. Var. 17 (2), 293–321 (2011).
Acknowledgments
The authors thank the anonymous referee for valuable comments that helped to improve this paper.
Funding
The work of the first author (Sections 1, 4, 5) was supported by the Russian Science Foundation under grant no. 22-21-00877, https://rscf.ru/project/22-21-00877/.
Author information
Authors and Affiliations
Corresponding authors
Additional information
Published in Russian in Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2023, Vol. 321, pp. 215–222 https://doi.org/10.4213/tm4341.
Rights and permissions
About this article
Cite this article
Mashtakov, A.P., Sachkov, Y.L. Extremal Trajectories in a Time-Optimal Problem on the Group of Motions of a Plane with Admissible Control in a Circular Sector. Proc. Steklov Inst. Math. 321, 200–207 (2023). https://doi.org/10.1134/S0081543823020141
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0081543823020141