Time minimization problem on the group of motions of a plane with admissible control in a half-disk

TL;DR

This paper investigates a time minimization control problem for a car-like model within a half-disk, deriving explicit optimal trajectories and analyzing their properties for applications in image processing and geometric control theory.

Contribution

It provides a complete analysis of optimal trajectories, explicit formulas for controls, and insights into the structure of optimal solutions in a geometric control setting.

Findings

Proves complete controllability of the system.

Derives explicit formulas for extremal controls and trajectories.

Describes the structure of the optimal synthesis.

Abstract

We study a time minimization problem on the group of motions of a plane with admissible control in a half-disk. The considered control system describes a model of a car that can move forward on a plane and turn in place. Optimal trajectories of this system are used in image processing for the detection of salient lines. In particular, such trajectories are used in the analysis of medical images when searching for blood vessels in photos of the human retina. The problem is of interest in geometric control theory as a model example in which the set of admissible controls contains zero at the boundary. We prove complete controllability and the existence of optimal trajectories. By analyzing the Hamiltonian system of Pontryagin maximum principle we derive explicit formulas for extremal controls and trajectories. The optimality of extremals is partially investigated. The structure of optimal synthesis is described.