A simplification of the proof of the maximum principle of
Pontryagin is obtained for constrained and unconstrained optimal control
problems. Two numerical methods for solving optimal control problems
with guaranteed error bounds using the maximum principle of Pontryagin
and interval analysis are derived.