Numerical approximation of some time optimal control problems

In this work we study the numerical approximation of the solutions of a class of abstract parabolic time optimal control problems. Our main results assert that, provided that the target is a closed ball centered at the origin and of positive radius, the optimal time and the optimal controls of the approximate time optimal problems converge to the optimal time and to the optimal controls of the original problem. In order to prove our main theorem, we provide a nonsmooth data error estimate for abstract parabolic systems.