On the role of optimality functions in numerical optimal control

We present a survey of optimality conditions in optimality function form and discuss their role in establishing that discretized optimal control problems are consistent approximations to the original optimal control problems.