The optimality system consists of the state system coupled with the adjoint system, with the initial conditions, the transversality conditions and the characterization of the optimal control: [36] . The uniqueness of the optimal control follows from the uniqueness of the optimality system.