Вычисление и визуализация множеств достижимости управляемых систем с использованием параллельных вычислений на графических процессорахтезисы доклада