### A posteriori error estimation for semilinear parabolic optimal control problems with application to model reduction by POD

We consider the following problem of error estimation for the optimal control of nonlinear parabolic partial differential equations: let an arbitrary admissible control function be given. How far is it from the next locally optimal control? Under natural assumptions including a second-order sufficient optimality condition for the (unknown) locally optimal control, we estimate the distance between the two controls. To do this, we need some information on the lowest eigenvalue of the reduced Hessian....