Научная статья на тему 'Статистические алгоритмы оптимальной фильтрации сигналов в нелинейных диффузионно-скачкообразных стохастических системах'

Статистические алгоритмы оптимальной фильтрации сигналов в нелинейных диффузионно-скачкообразных стохастических системах Текст научной статьи по специальности «Математика»

CC BY
243
47
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
АПОСТЕРИОРНАЯ ПЛОТНОСТЬ ВЕРОЯТНОСТИ / ВЕТВЯЩИЙСЯ ПРОЦЕСС / ДИФФУЗИОННЫЙ ПРОЦЕСС / МЕТОД СТАТИСТИЧЕСКИХ ИСПЫТАНИЙ / ОПТИМАЛЬНАЯ ФИЛЬТРАЦИЯ / СКАЧКООБРАЗНЫЙ ПРОЦЕСС / СТОХАСТИЧЕСКАЯ СИСТЕМА / УРАВНЕНИЕ ДУНКАНА-МОРТЕНСЕНА-ЗАКАИ / BRANCHING PROCESSES / CONDITIONAL DENSITY / DUNCANMORTENSEN-ZAKAI EQUATION / JUMP-DIFFUSION MODEL / MONTE CARLO METHOD / OPTIMAL FILTERING PROBLEM / STOCHASTIC SYSTEM

Аннотация научной статьи по математике, автор научной работы — Рыбаков Константин Александрович

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

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Statistical algorithms of optimal filtering problem for nonlinear jump-diffusion models

New statistical algorithm and its modifications for solving the optimal nonlinear filtering problem are described. It is assumed that the observation object and measurement system are described by Itô stochastic differential equation, the observation object equation has compound Poisson component, which allows simulating impulse noises and perturbations. Statistical algorithms are based on the reducing the filtration problem to the analysis of stochastic systems with terminating and branching paths by the interpretation of the term in Duncan-Mortensen-Zakai equation as an absorption and recovery function of sample paths for auxiliary random process. The solution of analysis problem can be found approximately by using numerical methods for solving stochastic differential equations and methods for modeling nonhomogeneous Poisson flows. The modeling algorithm for observation system and optimal estimation of its state based on the maximal section method is given in the paper. The main advantages of this algorithm are easy implementation and universality, namely the possibility of solving the optimal filtering problem for linear and non-linear models of the observation system, for one-dimensional and multidimensional case.

Текст научной работы на тему «Статистические алгоритмы оптимальной фильтрации сигналов в нелинейных диффузионно-скачкообразных стохастических системах»

ISSN 1992-6502 (P ri nt)_

2016. Т. 20, № 4 (74). С. 107-113

Ъьомт, QjrAQnQj

ISSN 2225-2789 (Online) http://journal.ugatu.ac.ru

УДК 519.676

Статистические алгоритмы оптимальной фильтрации сигналов

в нелинейных диффузионно-скачкообразных стохастических системах

К. А.РЫБАКОВ

rkoffice@mail.ru

ФГБОУ ВО «Московский авиационный институт (национальный исследовательский университет)» (МАИ)

Поступила в редакцию 26.03.2016

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

Ключевые слова: апостериорная плотность вероятности; ветвящийся процесс; диффузионный процесс; метод статистических испытаний; оптимальная фильтрация; скачкообразный процесс; стохастическая система; уравнение Дункана-Мортенсена-Закаи.

ВВЕДЕНИЕ

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

Работы [1, 2] содержат основные соотношения для решения задачи анализа вспомогательной стохастической системы, а также детальные алгоритмы моделирования ее траекторий методом Монте-Карло с последующим получением оценки вектора состояния исходной системы в

Работа поддержана грантом РФФИ 13-08-00323-а.

приложении к стохастическим системам диффузионного типа. Этот подход основан на общности структуры уравнения оптимальной нелинейной фильтрации для ненормированной апостериорной плотности вероятности, а именно уравнения Дункана-Мортенсена-Закаи при фиксированных измерениях, и обобщенного уравнения Фоккера-Планка-Колмогорова, включающего дополнительные слагаемые -функции поглощения и восстановления [3]. Он применялся и для решения задач прогнозирования [4]. Апробация разработанных в [1, 2] алгоритмов проводилась на модельных примерах: для линейно-гауссовского случая эти алгоритмы обеспечивают практически потраекторное совпадение с оптимальной оценкой, получаемой при применении фильтра Калмана-Бьюси. Погрешности обусловлены тем, что и анализ вспомогательной стохастической системы с обрывами и ветвлениями траекторий, и фильтрация

Калмана-Бьюси проводились приближенно с использованием методов численного решения стохастических дифференциальных уравнений невысокой точности [5] и методов моделирования неоднородных пуассоновских потоков событий [6-8]. Кроме того, апробация проводилась на моделях, заданных нелинейными уравнениями, с последующим сравнением результатов с обобщенным фильтром Калмана-Бьюси, фильтром Пугачева и фильтром оптимальной структуры [5, 9-11].

Далее в [12] был рассмотрен более сложный класс стохастических систем - системы диффузионно-скачкообразного типа, т.е. в предположении, что объект наблюдения описывается стохастическим дифференциальным уравнением Ито с пуассоновской составляющей. Такие уравнения позволяют описывать различные явления и процессы, учитывающие случайные воздействия, в том числе импульсные. Было показано, что задача оптимальной нелинейной фильтрации в стохастических системах диффузионно-скачкообразного типа может быть решена как задача анализа вспомогательной стохастической системы, траектории которой могут иметь разрывы, обрываться и разветвляться в случайные моменты времени. Разрывы траекторий обусловлены исходной постановкой задачи, они характеризуются заданными интенсивностью и распределением величины приращений, а обрывы и ветвления должны моделироваться на основе текущих измерений оцениваемого вектора состояния. Интенсивности обрывов и ветвлений выражаются через функции, задающие модель измерительной системы, и текущие измерения.

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

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

ПОСТАНОВКА ЗАДАЧИ

Рассмотрим модель объекта наблюдения, описываемую стохастическим дифференциальным уравнением Ито с пуассоновской составляющей [9, 12, 13]:

ах (Г) = / (Г, X (Г ))Л + а^, X (0)ОГ (Г) +

(1)

+ ОШ), X(/0) = Хо, в котором ХеК" - вектор состояния; ¿еТ = = [¿о, Т - отрезок времени функционирования системы;/Г, х): ТхЯ"^Я", а(г, х): ТхЯ"^ - заданные функции; W(t) - 5-мерный стандартный винеровский процесс, не зависящий от начального вектора состояния Хо, Q(t) - общий пуассоновский процесс, заданный в форме

) = 2р=1 ^Ак, где Р^) - пуассоновский процесс, Ак - независимые случайные векторы из Я", распределение которых задано плотностью вероятности ^(тк, А), т.е. вектор состояния X получает случайные приращения в моменты времени Т1, Т2, ... еТ, образующие пуассоновский поток событий:

X(тк) = X(хк -0) + Ак. (2)

Если величина приращения зависит от вектора состояния, то используется условная плотность вероятности у(тк, А | характеризующая распределение Ак при условии Х(тк - 0) = В частном случае у(тк, А | £) = у(тк, А). Наряду с ^(тк, А | введем плотность вероятности П(тк, А | £), характеризующую распределение Х(тк) при условии Х(тк - 0) =

Пуассоновский поток событий и, следовательно, моменты времени Т1, Т2, ..., а также пуассоновский процесс Р^) определяются интенсивностью х), т.е. условная вероятность события (2) при X!/) = х на промежутке [¿, t + Аt] определяется равенством

Р(Г, t + А/) = х)А + о(А). (3)

Модель измерительной системы записывается в форме [5]

2 ( ) = С(г, X (Г)) + ) N(1), (4)

где ХеКт - вектор измерений; с(/, х):

Ят, С(/): - заданные функции; Щф - ё-

мерный стандартный гауссовский белый шум.

Задача оптимальной фильтрации состоит в

нахождении оценки XX (?) по результатам измерений = {2(т), те[/0,t)} . При использовании критерия минимума среднеквадратической ошибки оценивания имеем [14]:

Х(0 = М[X(t) | 2'0] = ¡К„ xp(t,х | 2'0)Ох,

где р(1, х | 2(0) - апостериорная плотность вероятности вектора состояния X, удовлетворяющая уравнению Стратоновича-Кушнера. Как и в [1, 2], апостериорную плотность вероятности

p(t, x | Z0) будем определять через решение

уравнения Дункана-Мортенсена-Закаи, которое в отличие от уравнения Стратоновича-Кушнера линейно и в детерминированной записи имеет структуру обобщенного уравнения Фоккера-Планка-Колмогорова [3].

В симметризованной форме Стратоновича уравнение Дункана-Мортенсена-Закаи записывается в виде [12]

х | Z0 )

= Кф(г, х | Z'0 ) +

dt 0 (5)

+ц(1,хZ(t^ф^х 1Z0), ф(t0,х) = ф0 (х),

где К - линейный оператор, определенный соотношением

П d Г

Кф(1, х | Z0 ) = -Z — Г f (t, х)ф(t, х | Z0 )

г=1 дх,

1 n n Я2

+1 Y

2 t=1 j=1 дх{ дх}

g j(t, х)ф(1,х | Z0)

-A,(t, х)ф(t, х | Zl) +

+jRn W, On(t, х | , S | Z0 )dS,

а p,(t, x, z) - функция, заданная следующим образом:

ц(1, х, z) = ££ ск (t, х)дь (t) I z -

сг (t, х)~

k=1 r=1

Здесь х | ) - ненормированная апостериорная плотность вероятности вектора состояния X, связанная с нормированной плотностью

p(t, x | Z'0 ) формулой

p(t, х | Z0) =

ф(1 , х | Z0 )

jR n ф(1, х | z0)d*'

(6)

функции g(t, x): TxR^R™«, q(t): T^Rmxm определяются следующим образом:

g(t, х) = a(t, х)ат (t, х), q(t) = (C(t)CT (t))-1,

а фо(х) - заданная плотность вероятности начального вектора состояния Хо.

СВЕДЕНИЕ К ЗАДАЧЕ АНАЛИЗА СТОХАСТИЧЕСКОЙ СИСТЕМЫ

С РАЗРЫВАМИ, ОБРЫВАМИ И ВЕТВЛЕНИЯМИ ТРАЕКТОРИЙ

Далее будем использовать детерминированную запись уравнения (5) при фиксированных

измерениях Zq :

дф& х | Z0 ) dt

= Кф(1, х | Z0 ) -ц (t, х, Z(t))х

(7)

х ф(1, х | Zq ) + ц+ (t, х, Z (t))ф(1, х | Z0 ),

где

Ц (t, х, z) =

-ц(, х, z), ц(1, х, z) < 0,

Ц+ (t, х, z) = ■

0, |Д(Г, х, z) > 0,

х, z), х, z) > 0, [0, ||(Г, х, z) < 0.

В правой части уравнения (7) по терминологии [3] слагаемые х, Z(¿))ф(/, х | Z0) и

|+(х, Z(/)) ф(/, х | ^^^^) - функции поглощения и восстановления траекторий случайного процесса Х(^) соответственно. Следовательно, функции х, z) и х, z) - интенсивности обрывов и ветвлений траекторий, а условные вероятности обрывов и ветвлений при Х(^) = х и Z(t) = z на промежутке [¿, ^ + А^] определяются равенствами

P (t, t + At) = ц (t, х, z)At + o(At), P+ (t, t + At) = ц+ (t, х, z) At + o( At).

(8)

Таким образом, функции p(t, x | Zq ) и

ф(1, х | Z0) характеризуют распределение вектора X - состояния объекта наблюдения, описываемого уравнением (1), - с учетом того, что траектории случайного процесса X(t) имеют разрывы, обрываются и разветвляются. Все перечисленные события образуют неоднородные пуассоновские потоки с известными интенсив-ностями, при ветвлении в фиксированный момент времени может появиться только одна новая ветвь, при обрыве прекращается моделирование только одной ветви. Для удобства моделирования, как и в случае стохастических систем диффузионного типа [1, 2], каждая из ветвей должна рассматриваться как самостоятельная траектория.

При приближенном решении задачи оптимальной фильтрации необходимо моделировать траектории вспомогательной стохастической системы, отличающейся от исходной модели объекта наблюдения (1) наличием обрывов и ветвлений траекторий, соответствующий случайный процесс будем также обозначать X(t). По ансамблю траекторий, полученному в результате применения методов численного решения стохастических дифференциальных уравнений и методов моделирования неоднородных пуассонов-ских потоков событий [5-8, 13], можно оценить

(9)

как нормированную х | 2'0 ) , так и ненормированную ф(г, X | ) апостериорные плотности

вероятности, получив таким образом приближенные решения уравнений Стратоновича-Куш-нера и Дункана-Мортенсена-Закаи. Оптимальная оценка XX ^) может быть найдена и с помощью усреднения по ансамблю траекторий, и по апостериорной плотности вероятности.

Чтобы сформировать алгоритм решения задачи оптимальной фильтрации, можно воспользоваться результатами работ [1, 2] и алгоритмами численного решения стохастических дифференциальных уравнений с пуассоновской составляющей [8, 13].

Наличие разрывов, а также обрывов и ветвлений траекторий вспомогательного случайного процесса Х(^) усложняет алгоритм моделирования. Так, регулярную (с постоянным шагом) или нерегулярную (с переменным шагом) сетку для численного интегрирования стохастического дифференциального уравнения (1) без пуассо-новской составляющей (система диффузионного типа):

ах (г) = /(г, X(г))Ж + а(г, X (г))Ш(г), X (¿о) = Xо,

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

х, 2) задают интенсивность обрывов, а положительные значения - интенсивность ветвлений. Эти дополнительные узлы сетки, соответствующие событиям двух пуассоновских потоков, формируются отдельно для каждой траектории вспомогательного случайного процесса Х(^). Чтобы упростить алгоритм моделирования, предлагается рассмотреть пуассоновский поток событий, включающий и разрывы, и обрывы, и ветвления траекторий. Суммарная интенсивность такого потока определяется формулой

Лх, 2) = х) + | х, z)\, причем события типа разрыва траектории реализуются с вероятностью х) / Л(^, х, 2), а события типа обрыва и ветвления траектории - с вероятностью х, 2)\ / Л(^, х, 2). Моделирование такого пуассоновского потока событий проще, а результаты будут статистически эквивалентны независимому моделированию двух исходных пуассо-новских потоков, что основано на свойстве композиции пуассоновских потоков событий. Здесь, как и в [1, 2], учтено, что события типа обрыва и

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

события типа ветвления траектории разделены во времени, т.е. не могут происходить одновременно, поэтому определять суммарную интенсивность как

Л(г, х, £) = Х(г, х) + (г, х, г) + (г, х, г) нет необходимости.

При приближенном определении оптимальной оценки X ^) предлагается использовать метод статистических испытаний: моделирование траекторий вспомогательного случайного процесса Х(^) с учетом разрывов, обрывов и ветвлений при фиксированных измерениях с последующим усреднением. При этом можно применять различные методы численного решения стохастических дифференциальных уравнений и методы моделирования неоднородных пуассо-новских потоков событий. Далее приведен алгоритм совместного моделирования системы наблюдения и приближенного оценивания на основе одношагового численного метода решения стохастических дифференциальных уравнений [5] и метода «максимального сечения» [6-8].

Шаг 1. Задать М - число моделируемых

вспомогательных траекторий; к - шаг числен. *

ного интегрирования; величину Л :

|Л(г, X (г), 2 (г ))|<Л*

(Л* можно оценить по результатам пробного моделирования траекторий системы наблюдения). Получить реализации начальных векторов состояний Хо и XгQ согласно заданной плотности вероятности фо(х), где Хо - начальный вектор состояния для основной траектории, для которой

проводятся измерение и оценивание, XгQ - для

вспомогательных траекторий, по которым приближенно вычисляется оптимальная оценка, и моменты времени £ г, через которые могут произойти разрывы, обрывы или ветвления траекторий: £ г = -1ир/Л*, г = 1, 2, ..., М.

Здесь и далее в - различные реализации (для всех г) случайной величины, имеющей равномерное распределение на интервале (0,1).

Положить к = 0, й = го , Р = 1 (в случае обрыва траектории с номером г при последующем моделировании Р = 0), г = 1, 2, ..., М.

Шаг 2. Положить Мк = Ъ^р* и найти оптимальную оценку XXк как выборочное среднее реализаций Х = {Гк }г=1,2,...,М; Р =1:

1

и

I

'к 1=1,2,... ,М; Е' =1 Проверить условия:

а) если 0 < Т - 1к < И, то скорректировать шаг численного интегрирования: И = Т - tk.

б) если Т - tk = 0, то завершить процесс. Получить реализацию оцениваемого вектора

состояния в следующем узле сетки ^к = ^+кИ}:

Хк+1 = Е(гк, Хк, А Ж, к), получить вектор измерений:

= Щк, Хк, А V, к),

и положить I = 1, ' = 0 ('' - количество новых ветвей на шаге к).

В этих формулах и далее ¥(1к, Хк, АЖ, И) -функция, ставящая в соответствие реализации вектора состояния Хк в узле tк новую реализацию в узле tk + И, О^к, Хк, АУ, И) - функция, ставящая в соответствие реализации вектора состояния Хк вектор измерений Хк, АЖ и АУ - различные для всех к и / (а также для промежуточных расчетов) реализации случайных векторов размеров 5 и й соответственно, координаты которых независимы и имеют стандартное нормальное распределение.

Например,

Е(Ч, Хк, АЖ, к) = Хк + к/(1к, Хк ) +

+ 4к а(гк, Хк )АЖ, в(1к, Хк, А V, к) = е(1к, Хк) + ^ А V

для стохастического метода Эйлера [5].

Здесь же можно получить ковариационную матрицу ошибки оценивания:

1 I (Хк -Хк)(Хк -Хк)т,

Гк =

Мк 1 '=1,2,..„и; Е =1

а также по выборке Хк можно найти оценку апостериорной плотности вероятности р(гк, X | ) ,

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

Хк =|кпхР(гк, х 1 хо )ах . Приближенные решения уравнений Страто-новича-Кушнера и Дункана-Мортенсена-Закаи

в узлах сетки ^к}, т.е. функции р(гк, X | ) и

ф(гк, X | Xо ) соответственно, связаны соотношением ф (гк, х 1= икр(гк, х / и, где

М - начальное число моделируемых вспомогательных траекторий, задаваемое на шаге 1 алгоритма, что является приближенным аналогом формулы (6).

Шаг 3. Проверить условие ^ = 0. Если оно выполнено, то перейти к шагу 10, иначе: при

г' + ^ > гк + к перейти к шагу 4, а при

/* + с,' < I/. + И положить X' = Х'к . т' = 1к и перейти к шагу 5.

Шаг 4. Получить реализацию вектора состояния в следующем узле сетки ^к}:

Хк+1 = Е (Ок, Хк, А Ж, к). Перейти к шагу 10.

Шаг 5. Проверить условие г' + ^ > гк + к .

Если оно выполнено, то перейти к шагу 9, иначе -к шагу 6.

Шаг 6. Получить реализацию вектора состояния в дополнительном узле сетки:

1'=Дт\1\АЖ,И), И1=й+^-х1.

Положить х' = х' + к' и получить реализацию а случайной величины, имеющей равномерное распределение на интервале (0,1). Проверить

условие а < | Л(х') | /Л*, где Л(х') = = Л(У, X', 7.к ). и если оно выполнено, то перейти к шагу 7, иначе - к шагу 8.

Шаг 7. Получить реализацию у случайной величины, имеющей равномерное распределение на интервале (0,1), и проверить условия:

а) если Цх')/А(х')<у, Цх') = Цх\Х') (разрыв траектории), то получить реализацию случайного вектора А, распределенного с плотностью вероятности \|/(тг, А | X'), и положить X1 = X' + А или сразу получить реализацию случайного вектора X1 , распределенного с плотностью вероятности Г|(т', х \ X1);

б)если

А,(т')/Л(т') >у и \ь(х!) = \ь(х\Х\1к)<0 ([0," (т7, X', Хк ) > 0 , обрыв траектории), то положить ^ = 0 (траектория далее не моделируется) и перейти к шагу 10;

в)если

А,(т')/ А(т') >у и ¡а(т') = [1(х',Х'>0

(ц,+ (тг ,Хг >0, ветвление траектории), то

положить ] = ] + 1, ¥М+7 = 0, хМ+7 = X* + £',

Хи+' = X', т1/+/ = т' и получить реализацию для промежутка времени, через который может произойти разрыв, обрыв или новое ветвление: \ М+ = -1пр/Л*.

Шаг 8. Положить X* = X* + ^ и получить новую реализацию для промежутка времени, через который может произойти разрыв, обрыв или новое ветвление рассматриваемой траектории:

\1 = -1пр/Л*.

Перейти к шагу 5.

Шаг 9. Получить реализацию вектора состояния в следующем узле сетки {Хк}:

Шаг 10. Проверить условия:

а) если 1 = М + у, то положить М = М + у, Хк+1 = Хк + к, к = к + 1 и перейти к шагу 2;

б) если 1 < М, то положить 1 = 1 + 1 и перейти к шагу 3;

в) если М < 1 < М + у (новые ветви), то положить 1 = 1 + 1 и перейти к шагу 5.

Вариант упрощения приведенного алгоритма состоит в следующем: полагается, что на промежутке времени между двумя соседними узлами сетки {Хк} происходит только одно событие типа разрыва, обрыва или ветвления траектории случайного процесса Х(Х). Для систем диффузионного типа (9) такой алгоритм был предложен в [1]. Для систем диффузионно-скачкообразного типа (1) приведенный выше алгоритм можно сформировать аналогичным образом. В этом случае соответствующий пуассоновский поток событий моделируется, вообще говоря, неточно, но сокращается число шагов в алгоритме и увеличивается скорость расчетов при прочих равных условиях.

Более радикальный способ упрощения процедуры моделирования траекторий вспомогательного случайного процесса Х(Х) состоит в применении численных методов решения стохастических дифференциальных уравнений только на сетке {Хк} без дополнительных узлов. Если при этом используется метод «максимального сечения» для моделирования неоднородного пуассоновского потока событий, то значения

вектора состояния X1 в промежуточные моменты времени т 1 на вспомогательных траекториях можно получать в результате линейной интерполяции с использованием значений, полученных в узлах сетки {tk}. Кроме того, события типа разрыва, обрыва и ветвления можно моделировать только в узлах сетки {tk} с вероятностями, которые определяются формулами (3) и (8). Такой вариант алгоритма для систем диффузионного типа (9) приведен в [14, 15].

Предложенный алгоритм может эффективно применяться при решении задачи фильтрации в частных случаях, а именно для систем диффузионного типа, описываемых уравнением (9), т.е. в случае, если траектории случайного процесса X(t) не имеют разрывов (при условии X(t, х) = 0 и Дк = 0), и для систем скачкообразного типа: dX(X) = dQ(X), X(X0) = X0, (10)

когда X(t) = Xo + Q(t) - случайный процесс с кусочно-постоянными траекториями (при условии f(t, х) = 0 и o(t, х) = 0), при этом уравнение измерительной системы (4) остается неизменным.

Преимущества предлагаемого алгоритма приближенного решения задачи оптимальной нелинейной фильтрации в системах диффузионно-скачкообразного типа такие же, как и для алгоритма приближенного решения задачи оптимальной нелинейной фильтрации в системах диффузионного типа (9), перечисленные в [1, 2]. Они остаются неизменными и при решении задачи фильтрации для систем скачкообразного типа (10).

СПИСОК ЛИТЕРАТУРЫ

1. Рыбаков К. А. Сведение задачи нелинейной фильтрации к задаче анализа стохастических систем с обрывами и ветвлениями траекторий // Дифференциальные уравнения и процессы управления. 2012. № 3. С. 91-110. [ K. A. Ryba-kov, "Reducing the nonlinear filtering problem to the analysis of stochastic systems with terminating and branching paths," (in Russian), in Differentsialnye uravneniya i protsessy uprav-leniya, no. 3, pp. 91-110, 2012. ]

2. Рыбаков К. А. Модифицированный алгоритм оптимальной фильтрации сигналов на основе моделирования специального ветвящегося процесса // Авиакосмическое приборостроение. 2013. № 3. С. 15-20. [ K. A. Rybakov, "Modified algorithm for optimal signal filtering based on modeling special branching process," (in Russian), in Aviakosmicheskoe priborostroenie, no. 3, pp. 15-20, 2013. ]

3. Казаков И. Е., Артемьев В. М., Бухалев В. А. Анализ систем случайной структуры. М.: Физматлит, 1993. [ I. E. Kazakov, V. M. Artem'ev, V. A. Bukhalev, Analysis of Systems with Random Structure, (in Russian). Moscow: Nauka Publishers, 1993. ]

4. Рыбаков К. А. Алгоритмы прогнозирования состояний в стохастических дифференциальных системах на основе моделирования специального ветвящегося процесса // Дифференциальные уравнения и процессы управления. 2015. № 1. С. 25-38. [ K. A. Rybakov, "Extrapolation algorithms for stochastic differential systems based on modeling special branching process," (in Russian), in Differentsialnye uravneniya i protsessy upravleniya, no. 1, pp. 25-38, 2015. ]

5. Пантелеев А. В., Руденко Е. А., Бортаковский А. С. Нелинейные системы управления: описание, анализ и синтез. М.: Вузовская книга, 2008. [ A. V. Panteleev, E. A. Rudenko, A. S. Bortakovskii, Nelineynye sistemy upravleniya: opisanie, an-aliz i sintez, (in Russian). Moscow: University Book, 2008. ]

6. Михайлов Г. А., Аверина Т. А. Алгоритм «максимального сечения» в методе Монте-Карло // Доклады АН. 2009. Т. 428, № 2. С. 163-165. [ G. A. Mikhaylov, T. A. Averina, "The maximal section algorithm in the Monte Carlo method," in Doklady Mathematics, vol. 80, no. 2, pp. 671-673, 2009. ]

7. Михайлов Г. А., Рогазинский С. В. Модифицированный метод «мажорантной частоты» для численного моделирования обобщенного экспоненциального распределения // Доклады АН. 2012. Т. 444, № 1. С. 28-30. [ G. A. Mikhaylov, S. V. Rogazinskii, "The modified majorant frequency method for numerical simulation of the generalized exponential distribution," in Doklady Mathematics, vol. 85, no. 3, pp. 325-327, 2012. ]

8. Аверина Т. А. Методы статистического моделирования неоднородного пуассоновского ансамбля // Сибирский журнал вычислительной математики. 2009. Т. 12, № 4. С. 361-374. [ T. A. Averina, "Statistical simulation methods for a nonhomogeneous Poisson ensemble," in Numerical Analysis and Applications, vol. 2, no. 4, pp. 289-301, 2009. ]

9. Пугачев В. С., Синицын И. Н. Стохастические дифференциальные системы. Анализ и фильтрация. М.: Наука, 1990. [ V. S. Pugachev, I. N. Sinitsyn, Stochastic Systems: Theory and Applications. World Scientific, 2001. ]

10. Руденко Е. А. Оптимальная структура непрерывного нелинейного фильтра Пугачева пониженного порядка // Известия РАН. Теория и системы управления. 2013. № 6. С. 2551. [ E. A. Rudenko, "Optimal structure of continuous nonlinear reduced-order Pugachev filter," in Journal of Computer and Systems Sciences International, vol. 52, no. 6. pp. 866-892, 2013. ]

11. Руденко Е. А. Оптимальный конечномерный непрерывный нелинейный фильтр произвольного порядка // XII Всероссийское совещание по проблемам управления. Москва, 16-19 июня 2014 г.: Тр. М.: Институт проблем управления РАН, 2014. С. 676-687. [ E. A. Rudenko, "Optimal finite continuous nonlinear filter of arbitrary order," (in Russian), in Proc. 12th All-Russian Conference on Control Problems (Moscow, 16-19 June 2014, Institute of Control Sciences), pp. 676-687, 2014. ]

12. Рыбаков К. А. Приближенный метод фильтрации сигналов в стохастических системах диффузионно-скачкообразного типа // Научный вестник МГТУ ГА. 2014. № 207. С. 54-60. [ K. A. Rybakov, "Approximate filter for jump-diffusion models," (in Russian), in Nauchnyi vestnik MGTU GA, no. 207, pp. 54-60, 2014. ]

13. Аверина Т. А., Рыбаков К. А. Два метода анализа стохастических систем с пуассоновской составляющей // Дифференциальные уравнения и процессы управления. 2013. № 3. С. 85-116. [ T. A. Averina, K. A. Rybakov, "Two methods for analysis of stochastic systems with Poisson component," (in Russian), in Differentsialnye uravneniya i protsessy upravleniya, no. 3, pp. 85-116, 2013. ]

14. Параев Ю. И. Введение в статистическую динамику процессов управления и фильтрации. М.: Советское радио, 1976. [ Yu. I. Paraev, Introduction to Statistical Dynamics of Control and Filtering Processes, (in Russian). Moscow: Soviet Radio, 1976. ]

15. Рыбаков К. А. Модифицированные статистические алгоритмы фильтрации и прогнозирования в непрерывных стохастических системах // Известия Института математики и информатики УдГУ. 2015. № 2 (46). С. 155-162. [ K. A. Rybakov, "Modified statistical algorithms for filtering and extrapolation in continuous-time stochastic systems," (in Russian), in Izvestiya Instituta matematiki i informatiki UdGU, no. 2 (46), pp. 155-162, 2015. ]

ОБ АВТОРЕ

РЫБАКОВ Константин Александрович, доц. каф. математической кибернетики. Дипл. математик-инж. (МАИ, 2002). Канд. физ.-мат. наук по сист. анализу, управл. и обраб. ин-форм. (МАИ, 2006). Иссл. в обл. методов моделирования, анализа и синтеза стохастических систем управления.

METADATA

Title: Statistical algorithms of optimal filtering problem for nonlinear jump-diffusion models. Authors: K. A. Rybakov Affiliation:

Moscow Aviation Institute (National Research University) (MAI), Russia. Email: rkoffice@mail.ru. Language: Russian.

Source: Vestnik UGATU (scientific journal of Ufa State Aviation Technical University), vol. 20, no. 4 (74), pp. 107-113, 2016. ISSN 2225-2789 (Online), ISSN 1992-6502 (Print). Abstract: New statistical algorithm and its modifications for solving the optimal nonlinear filtering problem are described. It is assumed that the observation object and measurement system are described by Ito stochastic differential equation, the observation object equation has compound Poisson component, which allows simulating impulse noises and perturbations. Statistical algorithms are based on the reducing the filtration problem to the analysis of stochastic systems with terminating and branching paths by the interpretation of the term in Duncan-Mortensen-Zakai equation as an absorption and recovery function of sample paths for auxiliary random process. The solution of analysis problem can be found approximately by using numerical methods for solving stochastic differential equations and methods for modeling nonhomogeneous Poisson flows. The modeling algorithm for observation system and optimal estimation of its state based on the maximal section method is given in the paper. The main advantages of this algorithm are easy implementation and universality, namely the possibility of solving the optimal filtering problem for linear and non-linear models of the observation system, for one-dimensional and multidimensional case. Key words: branching processes; conditional density; Duncan-Mortensen-Zakai equation; jump-diffusion model; Monte Carlo method; optimal filtering problem; stochastic system. About author:

RYBAKOV, Konstantin Alexandrovich, Associate Prof., Dept. of Math. Cybernetics. Dipl. Math.-Engineer (MAI, 2002). Cand. of Phys.-Math. Sci. (MAI, 2006).

i Надоели баннеры? Вы всегда можете отключить рекламу.