Аннотация:Представлены результаты по применению разработанной совместно с Microsoft Research Cambridge библиотеки численного решения систем ОДУ в исследовании задач оптимального управления и построении границ множеств достижимости управляемых систем.