We study the error introduced in the solution of an optimal control problem with first order state constraints, for which the trajectories are approximated with a classical Euler scheme. We obtain order one approximation results in the $L^\infty$ norm (as opposed to the order 2/3 obtained in the literature). We assume either a strong second order optimality condition, or a weaker one in the case where the state constraint is scalar, satisfies some hypotheses for junction points, and the time step is constant. Our technique is based on some homotopy path of discrete optimal control problems that we study using perturbation analysis of nonlinear programming problems.
Inria Report, Dec. 2014