Time-Optimal Problem in the Roto-Translation Group with Admissible Control in a Circular Sector

Abstract

We study a time-optimal problem in the roto-translation group with admissible control in a circular sector. The problem reveals the trajectories of a car model that can move forward on a plane and turn with a given minimum turning radius. Our work generalizes the sub-Riemannian problem by adding a restriction on the velocity vector to lie in a circular sector. The sub-Riemannian problem is given by a special case when the sector is the full disc. The trajectories of the system are applicable in image processing to detect salient lines. We study the local and global controllability of the system and the existence of a solution for given arbitrary boundary conditions. In a general case of the sector opening angle, the system is globally but not small-time locally controllable. We show that when the angle is obtuse, a solution exists for any boundary conditions, and when the angle is reflex, a solution does not exist for some boundary conditions. We apply the Pontryagin maximum principle and derive a Hamiltonian system for extremals. Analyzing a phase portrait of the Hamiltonian system, we introduce the rectified coordinates and obtain an explicit expression for the extremals in Jacobi elliptic functions. We show that abnormal extremals are of circular type, and they correspond to motions of a car along circular arcs of minimal possible radius. The normal extremals in a general case are given by concatenation of segments of sub-Riemannian geodesics in SE2 and arcs of circular extremals. We show that, in a general case, the vertical (momentum) part of the extremals is periodic. We partially study the optimality of the extremals and provide estimates for the cut time in terms of the period of the vertical part.