Euler appoximation of the feasible set

Abstract
We estimate the distance between solutions of a boundary value problem with a control and of its discrete approximation provided by the Euler scheme. Our analysis is based on an abstract inverse-mapping-type theorem for sequences of set-valued maps. As an application we obtain an estimate of the discretization error for the cost functional in optimal control.