Proximal Analysis and the Minimal Time Function of a Class of Semilinear Control Systems

The minimal time function of a class of semilinear control systems is considered in Banach spaces, with the target set being a closed ball. It is shown that the minimal time functions of the Yosida approximation equations converge to the minimal time function of the semilinear control system. Complete characterization is established for the subdifferential of the minimal time function satisfying the Hamilton–Jacobi–Bellman equation. These results extend the theory of finite dimensional linear control systems to infinite dimensional semilinear control systems.