Метод последовательных приближений, основанный на локальной аппроксимации множества достижимости, для дискретных задач оптимального управления