Optimal control, Theory and Approximation