Все выпуски

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

Для динамической системы, управляемой в условиях помех, рассматривается задача оптимизации гарантированного результата. Особенностью задачи является наличие функциональных ограничений на помехи, при которых свойство замкнутости множества допустимых помех относительно операции «склейки» двух его элементов, вообще говоря, отсутствует. Это обстоятельство препятствует непосредственному применению методов теории дифференциальных игр для исследования задачи и тем самым приводит к необходимости их походящей модификации. В работе предложено новое понятие неупреждающей стратегии управления (квазистратегии). Доказано, что соответствующий функционал оптимального гарантированного результата удовлетворяет принципу динамического программирования. Как следствие, установлены так называемые свойства $u$- и $v$-стабильности этого функционала, которые в дальнейшем позволят построить конструктивное решение задачи в позиционных стратегиях.

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

Рассматривается линейная дифференциальная игра с заданным моментом окончания $p$. Множества достижимости игроков являются $n$-мерными шарами. Терминальное множество в игре определяется условием принадлежности нормы фазового вектора отрезку с положительными концами. Множество, определяемое данным условием, названо в работе кольцом. Тот факт, что терминальное множество не является выпуклым, потребовал привлечения дополнительной теории, позволяющей находить сумму и разность Минковского для кольца и шара в $n$-мерном пространстве. На выбор управления первого игрока накладывается импульсное ограничение. Возможности первого игрока определяются запасом ресурсов, который он может использовать при формировании своего управления. В отдельные моменты времени возможно отделение части запаса ресурсов, что может привести к «мгновенному» изменению фазового вектора, тем самым усложняя задачу. Управление второго игрока стеснено геометрическими ограничениями. Цель первого игрока заключается в том, чтобы в заданный момент времени привести фазовый вектор на терминальное множество. Цель второго игрока противоположна. Построен максимальный стабильный мост, ведущий в заданный момент времени на терминальное множество. Стабильный мост определяется функциями внешнего и внутреннего радиусов, которые вычислены в явном виде.

Рассматривается задача управления с заданным моментом окончания, в которой вектограммы управления и помехи зависят линейно от заданных выпуклых компактов. Задано многозначное отображение фазового пространства задачи управления в линейное нормированное пространство $E$. Цель построения управления заключается в том, чтобы в момент окончания процесса управления фиксированный вектор пространства $E$ принадлежал образу многозначного отображения при любой допустимой реализации помехи. Стабильный мост определяется в терминах многозначных функций. Приводимая процедура строит по заданной многозначной функции, являющейся стабильным мостом, управление, которое решает поставленную задачу. Получены явные формулы, которые определяют стабильный мост в рассматриваемой задаче управления. Найдены условия, при выполнении которых построенный стабильный мост будет максимальным. К рассмотренной задаче управления с помехой можно свести некоторые задачи группового преследования. В статье приводится такой пример.

Предметом настоящей работы является вопрос о стабильности вполне управляемых систем, заданных на гладком многообразии. Известно, что множества управляемости симметричных систем порождают сингулярные слоения. В случае, когда множества управляемости имеют одинаковую размерность, возникает регулярное слоение. Таким образом, возникает возможность применения методов теории слоений в задачах теории управления. В данной работе излагаются некоторые результаты авторов о возможности применения теорем о стабильности слоев для задачи о стабильности вполне управляемых систем и для изучения геометрии множества достижимости. Гладкость всюду в работе будет означать гладкость класса $C^{\infty}.$

Под термином «размыкание предиката» понимается сведение задачи поиска и изучения свойств множества истинности заданного предиката к задаче поиска и изучения свойств неподвижных точек некоторого отображения. Размыкание предиката дает дополнительные возможность анализа его множества истинности, а также позволяет строить элементы этого множества с теми или иными свойствами. Известны примеры размыкания нетривиальных предикатов, таких как предикат «быть стабильным (слабо инвариантным) множеством», предикат «быть неупреждающим селектором», предикат «быть седловой точкой», предикат «быть равновесием Нэша». В упомянутых случаях вопрос об априорной оценке возможности размыкания того или иного интересующего нас предиката и о построении соответствующего размыкающего отображения оставался за рамками рассмотрения: размыкающие отображения предоставлялись как готовые объекты. В предлагаемой заметке мы постараемся отчасти закрыть этот пробел: приводятся формальное определение операции размыкания предиката, способы построения и исчисления размыкающих отображений и их основные свойства. Описываемый подход примен\'им во всех упомянутых выше положительных примерах. В качестве иллюстрации проведено следующее этому способу построение размыкающего отображения для предиката «быть нэшевским равновесием».

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

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

Для задач управления наследственными динамическими системами изучаются условия, определяющие u-стабильные функционалы от истории движения.