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