Описан программный пакет, позволяющией описать для линейной многомерной системы x' = Ax + Bu множество достижимости с помощью опорных функций и элементов. Предполагается, что допустимое управление кусочно-непрерывное и может принимать значения из выпуклого множества U. Для построения множества достаточно вычислять матричную экспоненту и опорную функцию к множеству U. Дополнительно можно вычислять оптимальное управление, приводящее к заданной точке границы достижимого множества.