Contrôle optimal, Théorie et Approximation