Все выпуски

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

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

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

Теория управления - активно развивающийся в настоящее время раздел современной математики. Класс задач, изучаемый в рамках этой теории, достаточно обширен и включает как вопросы, связанные с существованием решений, так и вопросы, связанные с эффективными способами построения управляющих воздействий. Один из подходов к решению задач управления при неполной информации был предложен в основополагающей статье Ю.С. Осипова, опубликованной в журнале «Успехи математических наук» в 2006 году. В дальнейшем этот подход, названный методом пакетов программ, получил развитие, в частности, в статьях, цитированных в настоящей работе. Указанный подход основан на подходящей модификации известного в теории позиционных дифференциальных игр метода неупреждающих стратегий (квазистратегий) для решения задач управления при неизвестном начальном состоянии. Как известно, квазистратегии, отражающие свойства вольтерровости программных реализаций управлений с обратной связью на соответствующие программные возмущения, ориентированы на исследование задач с известным начальным состоянием при наличии неизвестных динамических возмущений. В стандартных задачах управления с неполной информацией динамические возмущения, как правило, отсутствуют, а неполнота информации обусловлена дефицитом информации о начальном состоянии системы. Аналогом свойств неупреждаемости для задач с неизвестными начальными состояниями и стали пакеты программ. Следует отметить, что во всех предыдущих исследованиях, связанных с методом пакетов программ, рассматривались задачи наведения на одно-единственное целевое множество. В настоящей работе для линейной стационарной управляемой динамической системы рассмотрена задача гарантированного наведения на семейство целевых множеств в случае неполной информации о начальном состоянии. Установлен критерий разрешимости этой задачи, основанный на методе пакетов программ, и приведен иллюстрирующий пример.

В настоящей работе рассматривается естественная релаксация игровой задачи наведения. А именно, для двух замкнутых множеств - параметров задачи - решается аналогичная задача о наведении для $\varepsilon$-окрестностей данных множеств. Нас интересует наименьший размер таких окрестностей, для которых игрок I может решить задачу наведения в классе обобщенных квазистратегий. Для построения решения используется модификация метода программных итераций. Вышеупомянутый размер окрестностей находится как функция позиции и в дальнейшем определяется путем применения специальной итерационной процедуры. Также в работе показано, что искомая функция является неподвижной точкой оператора, определяющего данную процедуру.

В статье изучается задача управления в условиях помех, которая формулируется как задача оптимизации гарантированного результата. В отличие от классической постановки таких задач предполагается, что множество допустимых помех конечно и состоит из кусочно-непрерывных функций. С учетом этого дополнительного функционального ограничения на помеху определяется подходящий класс неупреждающих стратегий (квазистратегий) управления и рассматривается соответствующая величина оптимального гарантированного результата. При некотором техническом предположении о свойстве различимости допустимых помех доказывается, что этот результат может быть достигнут путем использования стратегий управления с полной памятью. Как следствие, устанавливается неулучшаемость класса стратегий с полной памятью. Ключевым элементом доказательства является процедура распознавания действующих в системе помех, которая позволяет всякой неупреждающей стратегии поставить в соответствие близкую по гарантированному результату стратегию с полной памятью. В заключение статьи приводится иллюстрирующий пример.

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

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

Показано, что для достаточно широкого семейства управляемых систем оптимальный гарантированный результат в классе стратегий с полной памятью совпадает с оптимальным гарантированным результатом в классе квазистратегий. Для этого семейства управляемых систем построена разрешающая стратегия, допускающая численную реализацию. Приводится иллюстрирующий пример для нелинейной управляемой системы.

В конечномерном евклидовом пространстве рассматривается задача преследования группой преследователей одного убегающего, описываемая системой вида $$D^{(\alpha)} z_i = a_i z_i + u_i - v,\quad u_i, v \in V,$$ где $D^{(\alpha)}f$ — производная по Капуто порядка $\alpha\in(0,1)$ функции $f$. Множество $V$ допустимых управлений — выпуклый компакт, $a_i$ — неположительные вещественные числа. Целью группы преследователей является поимка убегающего. Терминальные множества — начало координат. Получены достаточные условия поимки одного убегающего в классе квазистратегий. Вводится вспомогательная игра, при помощи которой получены достаточные условия поимки убегающего в классе позиционных стратегий с поводырем.

В пространстве $\mathbb R^k$ $(k \geqslant 2)$ рассматривается нестационарная дифференциальная игра (обобщенный пример Л.С. Понтрягина) с $n$ преследователями и одним убегающим при одинаковых динамических и инерционных возможностях всех игроков, описываемая системой вида

$$Lz_{i}=z_{i}^{(l)}+a_{1}(t)z_{i}^{(l-1)}+ \dots +a_{l}(t)z_{i} =u_{i}-v, \quad u_{i},v\in V,$$

$$z_{i}^{(s)}(t_0) = z_{is}^0,\quad i=1,2, \ldots, n,\ s=0,1, \ldots, l-1.$$

Множество значений допустимых управлений игроков $V$ - строго выпуклый компакт с гладкой границей, $a_{1}(t),\dots, a_{l}(t)$ - непрерывные на $[t_0, \infty)$ функции, терминальные множества - начало координат. Преследователи используют квазистратегии. Предполагается, что функции $\xi_{i}(t)$, являющиеся решением задачи Коши

$$Lz_{i}=0,\quad z_{i}^{(s)}(t_0) = z_{is}^0,$$

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