Аннотация:Для линейной стационарной системы второго порядка была рассмотрена задача построения множества достижимости и его оценки сверху. Был рассмотрен метод, предполагающий нахождение точной границы области достижимости, как построение предельного цикла системы.
Множество точек, лежащих внутри цикла и на его орбите составляют искомое множество достижимости. Также был изучен способ построения оценки сверху множества достижимости с помощью инвариантного эллипсоида. Рассмотренные методы реализованы в пакете Mathematica и проиллюстрированы на конкретном примере.