Convergence of methods of numerical approximation of the sets of attainability for linear differential systems with convex phase constraints

We prove the convergence of the sets of attainability of multi-step problems to the sets of attainability of linear differential systems with phase constraints, for a wide class of schemes for approximating differential equations by multi-step equations, and approximating convex phase constraints by polyhedral constraints.