|
Труды Института математики и механики УрО РАН, 2014, том 20, номер 3, страницы 132–147
(Mi timm1090)
|
|
|
|
Эта публикация цитируется в 17 научных статьях (всего в 17 статьях)
Программный критерий разрешимости задачи позиционного наведения с неполной информацией. Линейные управляемые системы
А. В. Кряжимскийab, Н. В. Стрелковскийcb a Математический институт им. В. А. Стеклова РАН, Москва
b Международный институт прикладного системного анализа, Лаксенбург, Австрия
c Московский государственный университет им. М. В. Ломоносова
Аннотация:
Метод пакетов программ представляет собой инструмент проверки разрешимости задач гарантирующего позиционного управления в условиях неполной информации о наблюдаемых состояниях. В настоящей работе метод конкретизируется применительно к задаче о гарантированном позиционном наведении линейной управляемой системы на выпуклое целевое множество в предписанный момент времени. Наблюдаемый сигнал о состояниях системы предполагается линейным, множество ее допустимых начальных состояний – конечным. Устанавливается эквивалентность рассматриваемой задачи задаче о программном наведении расширенной линейной управляемой системы на расширенное выпуклое целевое множество. С помощью теоремы об отделимости выпуклых множеств выписывается критерий разрешимости, сводящийся к решению конечномерной задачи оптимизации. Рассматривается иллюстрирующий пример.
Ключевые слова:
управление, неполная информация, линейные системы.
Поступила в редакцию: 03.05.2014
Образец цитирования:
А. В. Кряжимский, Н. В. Стрелковский, “Программный критерий разрешимости задачи позиционного наведения с неполной информацией. Линейные управляемые системы”, Тр. ИММ УрО РАН, 20, № 3, 2014, 132–147; Proc. Steklov Inst. Math. (Suppl.), 291, suppl. 1 (2015), 113–127
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/timm1090 https://www.mathnet.ru/rus/timm/v20/i3/p132
|
Статистика просмотров: |
Страница аннотации: | 494 | PDF полного текста: | 109 | Список литературы: | 96 | Первая страница: | 26 |
|