О полиэдральном оценивании областей достижимости линейных многошаговых систем

Исследуются возможности двусторонних аппроксимаций области достижимости линейной многошаговой системы при помощи параллелепипедов. Показано, что если множества ограничений являются параллелепипедами, то область достижимости представима в виде пересечения конечного числа внешних и объединения конечного числа внутренних параллелепипедов. Каждый параллелепипед из этих семейств может быть найден независимо от других с помощью рекуррентных соотношений, что открывает возможности для параллельных вычислений. Даны оценки эффективности предложенных алгоритмов.