Программный критерий разрешимости задачи позиционного наведения с неполной информацией. Линейные управляемые системы

Метод пакетов программ представляет собой инструмент проверки разрешимости задач гарантирующего позиционного управления в условиях неполной информации о наблюдаемых состояниях. В настоящей работе метод конкретизируется применительно к задаче о гарантированном позиционном наведении линейной управляемой системы на выпуклое целевое множество в предписанный момент времени. Наблюдаемый сигнал о состояниях системы предполагается линейным, множество ее допустимых начальных состояний – конечным. Устанавливается эквивалентность рассматриваемой задачи задаче о программном наведении расширенной линейной управляемой системы на расширенное выпуклое целевое множество. С помощью теоремы об отделимости выпуклых множеств выписывается критерий разрешимости, сводящийся к решению конечномерной задачи оптимизации. Рассматривается иллюстрирующий пример.