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

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