Некоторые алгоритмы построения оценок множества достижимости линейной стационарной управляемой системытезисы доклада