О разрешимости задач гарантирующего управления для частично наблюдаемых линейных динамических систем

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