An algorithm for efficient solution of control constrained optimal control
problems is proposed and analyzed. It is based on an active set strategy in
volving primal as well as dual variables. For discretized problems sufficie
nt conditions for convergence in finitely many iterations are given. Numeri
cal examples are given and the role of the strict complementarity condition
is discussed.