Nonlinear Optimal Control Theory