Exact Truncation and Radial Rigidity in Time-Optimal Control

Changqin Quan; Gengsheng Wang; Lijuan Wang; Qishu Yan

In the authors' words

We consider minimum-time control for the linear system $z ˙ (t) = A z (t) + B u (t), ∥ u ∥_{L^{\infty} (0, \infty; R^{m})} \leq 1,$ with $A \in R^{n \times n}$ and $B \in R^{n \times m}$ . While the individual point-target and ball-target problems are classical, we study a different question: when are their optimal controls exactly compatible, in the sense that, for every nonzero initial state $x$ and all sufficiently small $ε > 0$ , the optimal control for the tolerance ball $B_{ε} (0)$ is precisely the restriction of the point-target optimal control? We prove that this {\it{exact truncation}} property is equivalent to the rigidity conditions $B B^{⊤} = β I_{n}, A + A^{⊤} = 2 a I_{n}, β > 0, a \leq 0,$ and also to Euclidean radiality of the point-target minimum-time function. Thus exact truncation holds precisely when the sublevel sets of the point-target minimum-time function are Euclidean balls centered at the origin, matching the geometry of the tolerance targets. Moreover, the local property automatically extends to every $0 < ε < ∣ x ∣$ , and the resulting optimal times and point-target optimal feedback are both explicit.

Main resultThe abstract does not state a limitation.

Exact Truncation and Radial Rigidity in Time-Optimal Control

In the authors' words

More on Optimization that day

A General Multicriteria Optimization Perspective on Resilience

Optimal High-Order Methods for Solving Monotone Variational Inequalities

The logarithmic spiral is optimal for shoreline search: a computer-assisted proof

The Exponential Price of Determinism in Nonsmooth Nonconvex Optimization

Convergence of Rotation-based Matrix Optimizers: A Unified Analysis of SOAP, Conda, and SPlus