Файл: Медич Д. Статистически оптимальные линейные оценки и управление.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 11.04.2024

Просмотров: 283

Скачиваний: 1

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

Теорема 7-1 принадлежит Калману (Л. 7-1], доказав­ шему ее для более общего случая коррелированных про­ цессов {w(t), t^to} и {v (t), t~^t0). Доказательство в этом случае отличается от приведенного здесь только некото-

Рис. 7-1. Структурная схема оптимального линейного фильтра для непрерывных линейных систем.

рыми деталями и предоставляется читателю в качестве упражнения.

Структурная схема оптимального фильтра (7-7) по­ казана на рис. 7-1.

Вместо предсказанного

измерения z(k -\-

\ \k),

фигу­

рирую него в дискретном

 

фильтре,

здесь

используется

текущая оценка измерэния

z(t \ t) =

H (t) x(t

\ t),

так что

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

 

 

ï{t\t)

=

Z{f)-z(t\t).

 

 

Как можно видеть, фильтр представляет собой мо­

дель

динамики

системы

x=F(t)x,

возбуждаемую

сигна­

лом

коррекции

от цепи

обратной связи

K(t)z(t\t).

Так как в

фильтре

не присутствует в

явном

виде

предсказание,

здесь

не

нужно

вычислять

корреляцион­

ную матрицу ошибки предсказания. Необходимо опре­ делить только корреляционную матрицу ошибки филь­

трации, которая

является

решением

уравнения (7-9).

Это

уравнение представляет собой систему обыкновен­

ных

дифференциальных

уравнений

первого порядка.

Оно

называется

матричным уравнением Риккати,


Хотя

матрица P(t\t)

имеет

п2

элементов,

достаточно

рассматривать

только

п ( « + 1 ) / 2

 

уравнений

системы

(7-9), поскольку P{i\t)

 

является

корреляционной

и

по­

этому симметрической

 

матрицей.

 

 

 

 

 

 

Если

матрица P{t\t)

известна,

 

то случайный

процесс

{x(t\t),

t^t0}

 

полностью описывается своей

характери­

стической функцией

 

 

 

 

 

 

 

 

 

 

 

M s ; 9 =

ехр

~~~s'P{t\t)s

 

 

 

 

 

 

x

 

 

V

 

 

 

 

 

 

 

где s — «-вектор.

 

 

 

 

 

 

 

 

 

Как и в дискретном случае,

нет

необходимости

моде­

лировать фильтр или хотя бы

определять матрицу

 

K(t)

для того, чтобы оценить качество оптимального

фильтра.

Для этой цели достаточно решить уравнение

 

(7-9)

от­

носительно

P(t\t).

 

 

R(i)

 

 

 

 

 

 

Причина

того что

матрица

 

выбирается

положи­

тельно

определенной

для всех

t^t0,

очевидна

из

урав­

нений (7-8)

и

(7-9). Физически

это

предположение

озна­

чает, что во всех компонентах вектора измерений всегда

присутствует

«некоторая

ошибка».

 

 

Оптимальный фильтр, описываемый уравнением

(7-7)

является, очевидно, линейной системой, в

которой

z(t)

играет роль

входного,

a x(t\t)—выходного

сигнала.

Если переписать уравнение (7-7) в виде

 

 

x = [F{t)-K

H (/)] x + K(t)z

(t)

 

и обозначить через 4f(t, т) переходную матрицу этой си­ стемы, то решение дифференциального уравнения можно представить в виде

x(t\t)

= W(t,

t0)x*{t0\t0)

+ $V(t,

x)K(t)z{x)dx.

 

 

 

 

Так как

x(to\to)

= 0, то

 

 

 

JC(t\t)=

t

x)K(x)z{x)dx.

 

 

 

 

to

Обозначая через A(t, %) весовую матрицу Мг(/, х)К{х) размера лХт, можно представить оптимальную оценку в виде

 

t

 

x(t\t)

= ^A(t,

x)z(x)dx.

 

to

 

І9*

291


Тогда оптимальный фильтр принимает вид некоторого линейного преобразования измерения. Такой подход бу­ дет исследован подробнее в гл. 8.

В заключение заметим, что оценка x(t\t)

однозначна,

что следует из однозначности оценки x(k -f- 1 | k -J- 1).

Пример 7-1. Предположим, что сообщения, передаваемые по

каналу связи, являются выборочными функциями скалярного слу­ чайного процесса, который описывается дифференциальным урав­ нением

x=—ax+w(t)

для t^O, где а = const > 0, х (0)—-гауссовская случайная величина

с нулевым средним и дисперсией а2, = const > 0 , a {w(t),

t^O} —

—гауссовский

белый шум, независимый от х (0), с нулевым

средним

и дисперсией

а2

= const > 0.

 

 

 

Предположим, что принимаемый сигнал имеет вид:

 

 

 

 

 

z(t)=x(t)+u(t),

 

 

где {»(<), t?

0} —гауссовский

белый шум с нулевым

средним и дис­

персией

o2 =const>0,

независимый от х (0) и {w (t),

t^-Q).

Физи­

чески

процесс

[v(t),

t^O)

вызывается ошибками и

шумами

в передатчике и атмосферными

возмущениями.

 

 

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

ошибки

x(t\t)=x(t)x(t\t),

получаем

решение задачи

в виде

тео­

ремы 7-1.

 

 

 

 

 

 

Для

этой задачи

F(t) =

—a,

G (i) = H {t) = 1,

Р (0) =

о 2 ,

Q(t) =

о 2 , R (0 а2 для всех

t >

t,

= 0.

 

 

Уравнение (7-9) для дисперсии ошибки фильтрации здесь примет

вид

при начальном условии о2, . Это уравнение можно решить методом

разделения

переменных:

 

1

 

 

 

 

 

 

 

 

dP

 

 

 

 

 

 

Я2 + 2 7 а 2 р _ 0 2 а 2w

уравнения Р2 +

Обозначая

 

через

р,

и р2

корни квадратного

2

 

2

0

22

получаем:

 

 

+ 2 а а

Р — о Vа w = 0,

 

 

 

 

dP

 

 

rfP rfP Р -,

 

.2 Л ,

(/ : >

Рі)

(Р— Ps)

Pi — Рг

• Рг

~

292


где

Рі.г =

Так как

 

 

Pi — Рг

 

 

 

W

о

 

 

 

 

 

 

 

получаем:

 

 

 

 

 

 

 

 

 

 

dP

 

 

dP

= —

2 | /

а 2

-1

~ dt.

 

 

 

 

 

Обозначая

fj. =

у

а2

+

о^/о^,

получаом:

 

 

 

 

P(f І О - Р :

 

 

 

 

 

 

 

Я

(M

О - і

 

 

 

 

где а — постоянная

интегрирования.

 

 

 

Используя

устовие

Я

(0

] 0) =

Я ( 0 )

=

з2 ,,

получаем

 

 

 

 

 

°о

Рі

 

 

 

 

 

 

 

 

° 0

— Ра

 

 

 

Тогда дисперсия ошизки фильтрации имет вид:

я (t |о = Pl — P2«g"-2ц<

для ? Зг 0.

Из уравнений (7-7) и (7-8) имеем:

А( 0 = - Т / > ( М 0 ;

Я= — діс + Л; (0 (0 — х].

ДЛЯ достаточно больших t

P(t I о-р,=

, 2 .

 

/


Следовательно, в установившемся состояний оптимальный при» емник является стационарной линейной системой вида

-ах + z ( 0 +

]/«2 +

x = — jj-x + —

z (t).

Структурная схема этого фильтра изображена на рис. 7-2. Оптимальный приемник здесь имеет внутреннее ограничение по

точности, которое определяется значением рі.

z(t)

 

Рис.

7-2.

Оптимальный фильтр

из примера

7-1.

 

 

В частных случаях можно показать:

 

 

 

 

1)

если

я 2 > < з 2 / а 2

,

то

 

 

 

 

 

 

 

 

 

 

 

а V1

 

 

а 2

 

 

 

 

 

 

 

• а +

+

 

 

 

 

 

2)

если

а 2 ^ а ^ / 0 2 ,

 

то

р , ^

0 , 4 1 4 а 2 ;

 

 

 

 

3)

если

а2 <

а 2 ' а 2

,

то

р, =Ï= О Л .

 

 

 

 

 

 

Оптимальное

 

предсказание

 

 

 

 

 

Для

некоторого фиксированного U^t0

 

рассмотрим

задачу определения оптимального предсказания

x(t\t{),

l^ti

состояния x(t).

 

Решение

этой

задачи

приводится

ниже.

 

 

 

 

 

 

 

 

 

 

 

 

Теорема

7-2.

 

 

 

 

 

 

 

 

 

1)

При

известной

текущей оценке

x(tt\ti)

для

неко­

торого ti^t0

 

оптимальное

предсказание

удовлетворяет

уравнению

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

* С1'.) =

^

К )

 

 

(7-22)

для всех

ts^t1

с начальным

условием

х(^| £ , ) .

 

294