Просмотр исходного текста страницы Фильтр Калмана

{{info|На данный момент эта статья сильно пересекается со статьей на Википедии (которую к слову переводил я). Я предполагаю существенно переработать статью у нас, а затем перенести новый вариант на вики}}

'''Фи́льтр Ка́лмана''' — [[Эффективный процесс|эффективный]] [[Фильтр с бесконечной импульсной характеристикой|рекурсивный фильтр]], оценивающий вектор состояния [[Динамическая система|динамической системы]], используя ряд неполных и зашумленных измерений. Назван в честь&nbsp;[[Калман, Рудольф|Рудольфа Калмана]].

Фильтр Калмана широко используется в инженерных и эконометрических приложениях: от радаров и систем технического зрения до оценок параметров макроэкономических моделей<ref>{{Citation| author1=Ingvar Strid |author2=Karl Walentin |year=2009 |title=Block Kalman Filtering for Large-Scale DSGE Models |journal=Computational Economics |publisher=Springer |volume=33 |number=3 |pages=277–304 |month=April |url=http://www.riksbank.com/upload/Dokument_riksbank/Kat_publicerat/WorkingPapers/2008/wp224ny.pdf}}</ref><ref>{{Citation |author=Martin Møller Andreasen |year=2008 |title=Non-linear DSGE Models, The Central Difference Kalman Filter, and The Mean Shifted Particle Filter |url=ftp://ftp.econ.au.dk/creates/rp/08/rp08_33.pdf}}</ref>. Калмановская фильтрация является важной частью [[Теория управления|теории управления]], играет большую роль в создании систем управления. Совместно с [[Линейно-квадратичный регулятор|линейно-квадратичным регулятором]] фильтр Калмана позволяет решить задачу [[Линейно-квадратичное гауссовское управление|линейно-квадратичного гауссовского управления]]. Фильтр Калмана и [[Линейно-квадратичный регулятор|линейно-квадратичный регулятор]] — возможное решение большинства фундаментальных задач в теории управления.

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

Фильтр Калмана предназначен для рекурсивного дооценивания вектора состояния априорно известной динамической системы, то есть для расчёта текущего состояния системы необходимо знать текущее измерение, а также предыдущее состояние самого фильтра. Таким образом, фильтр Калмана, как и множество других рекурсивных фильтров, реализован во временно́м, а не в частотном представлении.

Наглядный пример возможностей фильтра — получение точных, непрерывно обновляемых оценок положения и скорости некоторого объекта по результатам временно́го ряда неточных измерений его местоположения. Например, в [[Радиолокация|радиолокации]] стоит задача сопровождения цели, определения её местоположения, скорости и ускорения, при этом результаты измерений поступают постепенно и сильно зашумлены. Фильтр Калмана использует вероятностную модель динамики цели, задающую тип вероятного движения объекта, что позволяет снизить воздействие шума и получить хорошие оценки положения объекта в настоящий, будущий или прошедший момент времени.

== Введение ==

Фильтр Калмана оперирует понятием вектора состояния системы (набором параметров, описывающих состояние системы на некоторый момент времени) и его статистическим описанием. В общем случае динамика некоторого вектора состояния описывается плотностями вероятности распределения его компонент в каждый момент времени. При наличии определенной математической модели производимых наблюдений за системой, а также модели априорного изменения параметров вектора состояния (а именно — в качестве [[марковский процесс|марковского формирующего процесса]]) можно записать уравнение для апостериорной плотности вероятности вектора состояния в любой момент времени. Данное дифференциальное уравнение носит название [[уравнение Стратоновича]]. Уравнение Стратоновича в общем виде не решается. Аналитическое решение удается получить только в случае ряда ограничений (предположений):
* гауссовости априорных и апостериорных плотностей вероятности вектора состояния на любой момент времени (в том числе начальный)
* гауссовости формирующих шумов
* гауссовости шумов наблюдений
* белости шумов наблюдений
* линейности модели наблюдений
* линейности модели формирующего процесса (который, напомним, должен являться марковским процессом)

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

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

Существует несколько разновидностей фильтра Калмана, отличающихся приближениями и ухищрениями, которые приходится применять для сведения фильтра к описанному виду и уменьшения его размерности:
* Расширенный фильтр Калмана (EKF, [[w:en:Extended Kalman filter|Extended Kalman filter]]). Сведение нелинейных моделей наблюдений и формирующего процесса с помощью линеаризации посредством разложения в [[ряд Тейлора]].
* Unscented Kalman filter (UKF). Используется в задачах, в которых простая линеаризация приводит к уничтожению полезных связей между компонентами вектора состояния. В этом случае «линеаризация» основана на [[w:en:Unscented transform|unscented]]-преобразовании.
* Ensemble Kalman filter (EnKF). Используется для уменьшения размерности задачи.
* Возможны варианты с нелинейным дополнительным фильтром, позволяющим привести негауссовские наблюдения к нормальным.
* Возможны варианты с «обеляющим» фильтром, позволяющим работать с «цветными» шумами
* и т. д.

== Используемая модель динамической системы ==
Фильтры Калмана базируются на [[Дискретизация|дискретизированных]] по времени [[линейность|линейных]] [[Динамическая система|динамических системах]]. Такие системы моделируются [[Цепь Маркова|цепями Маркова]] при помощи линейных [[Оператор (математика)|операторов]] и слагаемых с [[Нормальное распределение|нормальным распределением]]. Состояние системы описывается вектором конечной размерности — [[Вектор состояния|вектором состояния]]. В каждый такт времени линейный оператор действует на вектор состояния и переводит его в другой вектор состояния (детерминированное изменение состояния), добавляется некоторый вектор нормального шума (случайные факторы) и в общем случае вектор управления, моделирующий воздействие системы управления. Фильтр Калмана можно рассматривать как аналог [[Скрытая марковская модель|скрытым моделям Маркова]], с тем отличием, что переменные, описывающие состояние системы, являются элементами бесконечного множества действительных чисел (в отличие от конечного множества пространства состояний в скрытых моделях Маркова). Кроме того, скрытые модели Маркова могут использовать произвольные распределения для последующих значений вектора состояния, в отличие от фильтра Калмана, использующего модель нормально распределенного шума. Существует строгая взаимосвязь между уравнениями фильтра Калмана и скрытой модели Маркова. Обзор этих и других моделей дан Roweis и Chahramani (1999)<ref>Roweis, S. and Ghahramani, Z., ''[http://www.mitpressjournals.org/doi/abs/10.1162/089976699300016674 A unifying review of linear Gaussian models]'', Neural Comput. Vol. 11, No. 2, (February 1999), pp. 305—345.</ref>.

При использовании фильтра Калмана для получения оценок вектора состояния процесса по серии зашумленных измерений необходимо представить модель данного процесса в соответствии со структурой фильтра — в виде матричного уравнения определенного типа. Для каждого такта {{math|''k''}} работы фильтра необходимо в соответствии с приведенным ниже описанием определить матрицы: эволюции процесса {{math|'''F'''{{sub|''k''}}}}; матрицу наблюдений {{math|'''H'''{{sub|''k''}}}}; ковариационную матрицу процесса {{math|'''Q'''{{sub|''k''}}}}; ковариационную матрицу шума измерений {{math|'''R'''{{sub|''k''}}}}; при наличии управляющих воздействий — матрицу их коэффициентов {{math|'''B'''{{sub|''k''}}}}.

[[Файл:Kalman_filter_rus1.png|right|thumb|631px|Иллюстрация работы фильтра. Квадратами помечены [[Матрица (математика)|матрицы]]. Эллипсами помечены матрицы многомерных нормальных распределений (включая средние значения и ковариации). Не обведёнными оставлены [[Вектор (математика)|векторы]]. В простейшем случае некоторые матрицы не изменяются во времени (не зависят от индекса {{math|''k''}}), но всё равно используются фильтром в каждый такт работы.]]

Модель системы/процесса подразумевает, что истинное состояние в момент {{math|''k''}} получается из истинного состояния в момент {{math|''k''−1}} в соответствии с уравнением:
: <math> \textbf{x}_{k} = \textbf{F}_{k} \textbf{x}_{k-1} + \textbf{B}_{k} \textbf{u}_{k} + \textbf{w}_{k} </math>,

где

* {{math|'''F'''{{sub|''k''}}}} — матрица эволюции процесса/системы, которая воздействует на вектор {{math|'''x'''{{sub|''k''−1}}}} (вектор состояния в момент {{math|''k''−1}});
* {{math|'''B'''{{sub|''k''}}}} — матрица управления, которая прикладывается к вектору управляющих воздействий {{math|'''u'''{{sub|''k''}}}};
* {{math|'''w'''{{sub|''k''}}}} — [[Гауссовский случайный процесс|нормальный случайный процесс]] с нулевым математическим ожиданием и [[Ковариационная матрица|ковариационной матрицей]] {{math|'''Q'''{{sub|''k''}}}}, который описывает случайный характер эволюции системы/процесса:
: <math> \textbf{w}_{k} \sim N(0, \textbf{Q}_k) </math>

В момент ''k'' производится наблюдение (измерение) {{math|'''z'''{{sub|''k''}}}} истинного вектора состояния {{math|'''x'''{{sub|''k''}}}}, которые связаны между собой уравнением:
: <math> \textbf{z}_{k} = \textbf{H}_{k} \textbf{x}_{k} + \textbf{v}_{k} </math>

где {{math|'''H'''{{sub|''k''}}}} — матрица измерений, связывающая истинный вектор состояния и вектор произведенных измерений, {{math|'''v'''{{sub|''k''}}}} — [[Белый гауссовкий шум|белый гауссовский шум]] измерений с нулевым математическим ожиданием и [[Ковариационная матрица|ковариационной матрицей]] {{math|'''R'''{{sub|''k''}}}}:
: <math>\textbf{v}_{k} \sim N(0, \textbf{R}_k) </math>

Начальное состояние и векторы случайных процессов на каждом такте {<!---->{{math|'''x'''{{sub|0}}}}, {{math|'''w'''{{sub|1}}}}, …, {{math|'''w'''{{sub|''k''}}}}, {{math|'''v'''{{sub|1}}}}, …, {{math|'''v'''{{sub|''k''}}}}<!---->} считаются [[Независимость (теория вероятностей)|независимыми]].

Многие реальные динамические системы нельзя точно описать данной моделью. На практике неучтённая в модели динамика может серьёзно испортить рабочие характеристики фильтра, особенно при работе с неизвестным стохастическим сигналом на входе. Более того, неучтённая в модели динамика может сделать фильтр [[Самовозбуждение|неустойчивым]]. С другой стороны, независимый белый шум в качестве сигнала не будет приводить к расхождению алгоритма. Задача отделения шумов измерений от неучтенной в модели динамики сложна, решается она с помощью теории [[Робастное управление|робастных систем управления]].

== Фильтр Калмана ==
Фильтр Калмана является разновидностью [[Фильтр с бесконечной импульсной характеристикой|рекурсивных фильтров]]. Для вычисления оценки состояния системы на текущий такт работы ему необходима оценка состояния (в виде оценки состояния системы и оценки погрешности определения этого состояния) на предыдущем такте работы и измерения на текущем такте. Данное свойство отличает его от пакетных фильтров, требующих в текущий такт работы знание истории измерений и/или оценок. Далее под записью <math>\hat{\textbf{x}}_{n|m}</math> будем понимать оценку истинного вектора <math>\textbf{x}</math> в момент {{math|''n''}} с учетом измерений с момента начала работы и по момент {{math|''m''}} включительно.

Состояние фильтра задается двумя переменными:
* <math>\hat{\textbf{x}}_{k|k}</math> — апостериорная оценка состояния объекта в момент {{math|''k''}} полученная по результатам наблюдений вплоть до момента {{math|k}} включительно (в русскоязычной литературе часто обозначается <math>\hat{\textbf{x}}_{k}</math>, где <math>\hat{}</math> означает «оценка», а {{math|''k''}} — номер такта, на котором она получена);
* <math>\textbf{P}_{k|k}</math> — апостериорная [[Ковариационная матрица|ковариационная матрица]] ошибок, задающая оценку точности полученной оценки вектора состояния и включающая в себя оценку дисперсий погрешности вычисленного состояния и ковариации, показывающие выявленные взаимосвязи между параметрами состояния системы (в русскоязычной литературе часто обозначается <math>\hat{\textbf{D}}_{k}</math>).

Итерации фильтра Калмана делятся на две фазы: экстраполяция и коррекция. Во время экстраполяции фильтр получает предварительную оценку состояния системы <math>\hat{\textbf{x}}_{k|k-1}</math> (в русскоязычной литературе часто обозначается <math>\tilde{\textbf{x}}_{k}</math>, где <math>\tilde{}</math> означает «экстраполяция», а {{math|''k''}} — номер такта, на котором она получена) на текущий шаг по итоговой оценке состояния с предыдущего шага (либо предварительную оценку на следующий такт по итоговой оценке текущего шага, в зависимости от интерпретации). Эту предварительную оценку также называют априорной оценкой состояния, так как для её получения не используются наблюдения соответствующего шага. В фазе коррекции априорная экстраполяция дополняется соответствующими текущими измерениями для коррекции оценки. Скорректированная оценка также называется апостериорной оценкой состояния, либо просто оценкой вектора состояния <math>\hat{\textbf{x}}_{k}</math>.
Обычно эти две фазы чередуются: экстраполяция производится по результатам коррекции до следующего наблюдения, а коррекция производится совместно с доступными на следующем шаге наблюдениями, и т. д. Однако возможно и другое развитие событий, если по некоторой причине наблюдение оказалось недоступным, то этап коррекции может быть пропущен и выполнена экстраполяция по нескорректированной оценке (априорной экстраполяции). Аналогично, если независимые измерения доступны только в отдельные такты работы, всё равно возможны коррекции (обычно с использованием другой матрицы наблюдений {{math|'''H'''{{sub|''k''}}}}).

Далее рассмотрим работу классического оптимального фильтра Калмана.

=== Этап экстраполяции ===
{|
|width="50%" | Экстраполяция (предсказание) вектора состояния системы по оценке вектора состояния и примененному вектору управления с шага ({{math|''k''−1}}) на шаг {{math|''k''}}:
|<math>\hat{\textbf{x}}_{k|k-1} = \textbf{F}_{k}\hat{\textbf{x}}_{k-1|k-1} + \textbf{B}_{k} \textbf{u}_{k-1} </math>
|-
|[[Ковариационная матрица]] для экстраполированного [[Вектор состояния|вектора состояния]]:
|<math>\textbf{P}_{k|k-1} =  \textbf{F}_{k} \textbf{P}_{k-1|k-1} \textbf{F}_{k}^{T} + \textbf{Q}_{k-1} </math>
|}

=== Этап коррекции ===
{|
|width="50%" | Отклонение полученного на шаге {{math|''k''}} наблюдения от наблюдения, ожидаемого при произведенной экстраполяции:
|<math>
\tilde{\textbf{y}}_{k} = \textbf{z}_{k} - \textbf{H}_{k}\hat{\textbf{x}}_{k|k-1}
</math>
|-
|[[Ковариационная матрица]] для вектора отклонения (вектора ошибки):
|<math>\textbf{S}_{k} = \textbf{H}_{k}\textbf{P}_{k|k-1} \textbf{H}_{k}^{T}+\textbf{R}_{k}</math>
|-
|Оптимальная по Калману матрица коэффициентов усиления, формирующаяся на основании ковариационных матриц имеющейся экстраполяции вектора состояния и полученных измерений (посредством ковариационной матрицы вектора отклонения):
|<math>\textbf{K}_{k} = \textbf{P}_{k|k-1}\textbf{H}_{k}^{T}\textbf{S}_{k}^{-1}</math>
|-
|Коррекция ранее полученной экстраполяции вектора состояния — получение оценки вектора состояния системы:
|<math>\hat{\textbf{x}}_{k|k} = \hat{\textbf{x}}_{k|k-1} + \textbf{K}_{k}\tilde{\textbf{y}}_{k}</math>
|-
|Расчет ковариационной матрицы оценки вектора состояния системы:
|<math>\textbf{P}_{k|k} = (I - \textbf{K}_{k} \textbf{H}_{k}) \textbf{P}_{k|k-1}</math>
|}

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

=== Инварианты ===
Если модель абсолютно точна и абсолютно точно заданы начальные условия <math>\hat{\textbf{x}}_{0|0}</math> и <math>\textbf{P}_{0|0}</math>, то следующие величины сохраняются после любого количества итераций работы фильтра — являются инвариантами:

Математические ожидания оценок и экстраполяций вектора состояния системы, матрицы ошибок являются нуль-векторами:
* <math>\textsf{E}[\textbf{x}_k - \hat{\textbf{x}}_{k|k}] = \textsf{E}[\textbf{x}_k - \hat{\textbf{x}}_{k|k-1}] = 0</math>
* <math>\textsf{E}[\tilde{\textbf{y}}_k] = 0</math>
где <math>\textsf{E}[\xi]</math> — математическое ожидание <math>\xi</math>.

Расчетные матрицы ковариаций экстраполяций, оценок состояния системы и вектора ошибок совпадают с истинными матрицами ковариаций:
* <math>\textbf{P}_{k|k} = \textrm{cov}(\textbf{x}_k - \hat{\textbf{x}}_{k|k})</math>
* <math>\textbf{P}_{k|k-1} = \textrm{cov}(\textbf{x}_k - \hat{\textbf{x}}_{k|k-1})</math>
* <math>\textbf{S}_{k} = \textrm{cov}(\tilde{\textbf{y}}_k)</math>

== Пример построения фильтра ==

Представим себе [[вагонетка|вагонетку]], стоящую на бесконечно длинных [[рельс]]ах при отсутствующем [[трение|трении]]. Изначально она покоится в позиции 0, но под действием случайных факторов на неё действует случайное [[ускорение]]. Мы измеряем положение вагонетки каждые {{math|∆''t''}} секунд, но измерения неточны. Мы хотим получать оценки положения вагонетки и её скорости. Применим к этой задаче фильтр Калмана, определим все необходимые матрицы.

В данной задаче матрицы {{math|'''F'''}}, {{math|'''H'''}}, {{math|'''R'''}} и {{math|'''Q'''}} не зависят от времени, опустим их индексы. Кроме того, мы не управляем вагонеткой, поэтому матрица управления {{math|'''B'''}} отсутствует.

Координата и [[скорость]] вагонетки описывается вектором в линейном пространстве состояний

: <math>\textbf{x}_{k} = \begin{bmatrix} x \\ \dot{x} \end{bmatrix} </math>

где <math>\dot{x}</math> — [[Скорость|скорость]] (первая производная координаты <math>x</math> по времени).

Будем считать, что между ({{math|''k''−1}})-ым и {{math|''k''}}-ым тактами вагонетка движется с постоянным [[Ускорение|ускорением]] {{math|''a{{sub|k}}''}}, распределенным по нормальному закону с нулевым математическим ожиданием и среднеквадратическим отклонением {{math|''σ{{sub|a}}''}}. В соответствии с механикой Ньютона можно записать

: <math>\textbf{x}_{k} = \textbf{F} \textbf{x}_{k-1} + \textbf{G}a_{k}</math>

где

: <math>\textbf{F} = \begin{bmatrix} 1 & \Delta t \\ 0 & 1 \end{bmatrix}</math>

и

: <math>\textbf{G} = \begin{bmatrix} \frac{\Delta t^{2}}{2} \\ \Delta t \end{bmatrix} </math>.

Ковариационная матрица случайных воздействий

: <math> \textbf{Q} = \textrm{cov}(\textbf{G}a) = \textsf{E}[(\textbf{G}a)(\textbf{G}a)^{\text{T}}] = \textbf{G} \textsf{E}[a^2] \textbf{G}^{\text{T}} = \textbf{G}[\sigma_a^2]\textbf{G}^{\text{T}} = \sigma_a^2 \textbf{G}\textbf{G}^{\text{T}}</math> (''σ''{{sub|''a''}} — скаляр).

На каждом такте работы производится измерение положения вагонетки. Предположим, что погрешность измерений {{math|''v{{sub|k}}''}} имеет нормальное распределение с нулевым математическим ожиданием и среднеквадратическим отклонением {{math|''σ{{sub|z}}''}}. Тогда

: <math>\textbf{z}_{k} = \textbf{H x}_{k} + \textbf{v}_{k}</math>

где

: <math>\textbf{H} = \begin{bmatrix} 1 & 0 \end{bmatrix} </math>

и ковариационная матрица шума наблюдений имеет вид

: <math>\textbf{R} = \textsf{E}[\textbf{v}_k \textbf{v}_k^{\text{T}}] = \begin{bmatrix} \sigma_z^2 \end{bmatrix} </math>.

Начальное положение вагонетки известно точно

: <math>\hat{\textbf{x}}_{0|0} = \begin{bmatrix} 0 \\ 0 \end{bmatrix} </math>,

: <math>\textbf{P}_{0|0} = \begin{bmatrix} 0 & 0 \\ 0 & 0 \end{bmatrix} </math>.

Если же положение и скорость вагонетки известна лишь приблизительно, то можно инициализировать матрицу дисперсий достаточно большим числом {{math|''L''}}, чтобы при этом число превосходило дисперсию измерений координаты

: <math>\hat{\textbf{x}}_{0|0} = \begin{bmatrix} 0 \\ 0 \end{bmatrix} </math>,

: <math>\textbf{P}_{0|0} = \begin{bmatrix} L & 0 \\ 0 & L \end{bmatrix} </math>.

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

== Вывод формул ==

=== Ковариационная матрица оценки вектора состояния ===
По определению [[ковариационная матрица|ковариационной матрицы]] '''P'''{{sub|''k''{{!}}''k''}}

: <math>\textbf{P}_{k|k}  = \textrm{cov}(\textbf{x}_{k} - \hat{\textbf{x}}_{k|k})</math>

подставляем выражение для оценки вектора состояния <math>\hat{\textbf{x}}_{k|k}</math>

: <math>\textbf{P}_{k|k} = \textrm{cov}(\textbf{x}_{k} - (\hat{\textbf{x}}_{k|k-1} + \textbf{K}_k\tilde{\textbf{y}}_{k}))</math>

и расписываем выражение для вектора ошибок <math>\tilde{\textbf{y}}_k</math>

: <math>\textbf{P}_{k|k} = \textrm{cov}(\textbf{x}_{k} - (\hat{\textbf{x}}_{k|k-1} + \textbf{K}_k(\textbf{z}_k - \textbf{H}_k\hat{\textbf{x}}_{k|k-1})))</math>

и вектора измерений <math>\textbf{z}_{k}</math>

: <math>\textbf{P}_{k|k} = \textrm{cov}(\textbf{x}_{k} - (\hat{\textbf{x}}_{k|k-1} + \textbf{K}_k(\textbf{H}_k\textbf{x}_k + \textbf{v}_k - \textbf{H}_k\hat{\textbf{x}}_{k|k-1})))</math>

выносим вектор погрешности измерений '''v'''{{sub|''k''}}

: <math>\textbf{P}_{k|k} = \textrm{cov}((I - \textbf{K}_k \textbf{H}_{k})(\textbf{x}_k - \hat{\textbf{x}}_{k|k-1}) - \textbf{K}_k \textbf{v}_k )</math>

так как вектор погрешности измерений '''v'''{{sub|''k''}} не коррелирован с другими аргументами, получаем выражение

: <math>\textbf{P}_{k|k} = \textrm{cov}((I - \textbf{K}_k \textbf{H}_{k})(\textbf{x}_k - \hat{\textbf{x}}_{k|k-1}))  + \textrm{cov}(\textbf{K}_k \textbf{v}_k )</math>

в соответствии со свойствами ковариации векторов данное выражение преобразуется к виду

: <math>\textbf{P}_{k|k} = (I - \textbf{K}_k \textbf{H}_{k})\textrm{cov}(\textbf{x}_k - \hat{\textbf{x}}_{k|k-1})(I - \textbf{K}_k \textbf{H}_{k})^{\text{T}}  + \textbf{K}_k\textrm{cov}(\textbf{v}_k )\textbf{K}_k^{\text{T}}</math>

заменяя выражение для ковариационной матрицы экстраполяции вектора состояния на {{math|'''P'''{{sub|''k''{{!}}''k''−1}}}} и определение ковариационной матрицы шумов наблюдений на {{math|'''R'''{{sub|''k''}}}}, получаем

: <math>\textbf{P}_{k|k} = 
(I - \textbf{K}_k \textbf{H}_{k}) \textbf{P}_{k|k-1} (I - \textbf{K}_k \textbf{H}_{k})^\text{T} + \textbf{K}_k \textbf{R}_k \textbf{K}_k^\text{T}</math>

Полученное выражение справедливо для произвольной матрицы коэффициентов, но если в качестве неё выступает матрица коэффициентов, оптимальная по Калману, то данное выражение для ковариационной матрицы можно упростить.

=== Оптимальная матрица коэффициентов усиления ===
Фильтр Калмана минимизирует сумму квадратов математических ожиданий ошибок оценки вектора состояния.

Вектор ошибки оценки вектора состояния
: <math>\textbf{x}_{k} - \hat{\textbf{x}}_{k|k}</math>

Стоит задача минимизировать сумму математических ожиданий квадратов компонент данного вектора

: <math>\textsf{E}[\;|\textbf{x}_{k} - \hat{\textbf{x}}_{k|k}|^2\,]</math>,

что эквивалентно минимизации следа ковариационной матрицы оценки вектора состояния {{math|'''P'''{{sub|''k''{{!}}''k''}}}}. Подставим в выражение для ковариационной матрицы оценки вектора состояния имеющиеся выражения и дополним до полного квадрата:
:{|
|-
| <math> \textbf{P}_{k|k} </math>
| <math> = \textbf{P}_{k|k-1} - \textbf{K}_k \textbf{H}_k \textbf{P}_{k|k-1} - \textbf{P}_{k|k-1} \textbf{H}_k^\text{T} \textbf{K}_k^\text{T} + \textbf{K}_k (\textbf{H}_k \textbf{P}_{k|k-1} \textbf{H}_k^\text{T} + \textbf{R}_k) \textbf{K}_k^\text{T}</math>
|-
|
| <math> = \textbf{P}_{k|k-1} - \textbf{K}_k \textbf{H}_k \textbf{P}_{k|k-1} - \textbf{P}_{k|k-1} \textbf{H}_k^\text{T} \textbf{K}_k^\text{T} + \textbf{K}_k \textbf{S}_k\textbf{K}_k^\text{T}</math>
|-
|
| <math> = \textbf{P}_{k|k-1} - \textbf{P}_{k|k-1} \textbf{H}_k^\text{T} \textbf{S}_k^{-1} \textbf{H}_k \textbf{P}_{k|k-1} + (\textbf{K}_{k} - \textbf{P}_{k|k-1} \textbf{H}_k^\text{T} \textbf{S}_k^{-1}) \textbf{S}_k(\textbf{K}_{k} - \textbf{P}_{k|k-1} \textbf{H}_k^\text{T} \textbf{S}_k^{-1})^\text{T} </math>
|}

Заметим что, последнее слагаемое является ковариационной матрицей некоторой случайной величины, поэтому его [[След матрицы|след]] неотрицателен. Минимум следа достигнется при обнулении последнего слагаемого:

: <math> \textbf{K}_{k} = \textbf{P}_{k|k-1} \textbf{H}_k^\text{T} \textbf{S}_k^{-1}</math>

Утверждается, что данная матрица является искомой и при использовании в качестве матрицы коэффициентов в фильтре Калмана минимизирует сумму средних квадратов ошибок оценки вектора состояния.

=== Ковариационная матрица оценки вектора состояния при использовании оптимальной матрицы коэффициентов ===
Выражение для ковариационной матрицы оценки вектора состояния {{math|'''P'''{{sub|''k''{{!}}''k''}}}} при использовании оптимальной матрицы коэффициентов примет вид:
:{|
<math> \textbf{P}_{k|k} = \textbf{P}_{k|k-1} - \textbf{P}_{k|k-1} \textbf{H}_k^\text{T} \textbf{S}_k^{-1} \textbf{H}_k \textbf{P}_{k|k-1}  
</math>
|-
|
|
<math> = \textbf{P}_{k|k-1} - \textbf{K}_k \textbf{H}_k \textbf{P}_{k|k-1} = (I - \textbf{K}_{k} \textbf{H}_{k}) \textbf{P}_{k|k-1}</math>.
|}

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

== Критика фильтра Калмана ==
На настоящий момент основная критика фильтра Калмана ведётся по следующим направлениям<ref>http://www.tgizd.ru/mag/aviakos/aviakos_7_6_7.shtml Г. Ф. Савинов О некоторых особенностях алгоритма оптимальной фильтрации Калмана — Бьюси // Авиакосмическое приборостроение № 6, 2007 г. </ref>:
* В фильтре Калмана погрешности представлены белым шумом, которого на самом деле в природе не существует.
* Нет соответствия необходимому и достаточному условию оптимальности
: <math>\textsf{M}[\varepsilon(t)\,\textbf{Z}_{k}]^\text{T} = 0</math>{{0|2}} при {{0|2}}<math>\textbf{t}_{0} \le \tau \le t </math>
* Ошибка в выводе фильтра Калмана — требуются противоречивые условия верности разных уравнений алгоритма: в одних чтобы {{math|''τ'' < ''t''}} и в других {{math|''τ'' {{=}} ''t''}}.

Соответственно, позиция сторонников оптимальности данного фильтра заключается в том, что<ref>http://www.tgizd.ru/mag/aviakos/aviakos_8_6_5.shtml А. Ю. Горбачев Критерии оценки алгоритмов оптимальной фильтрации // Авиакосмическое приборостроение № 6, 2008 г. </ref>:
* Возможно составить модифицированый фильтр Калмана, у которого погрешности будут представлены цветным шумом.
* Использование условия оптимальности <math>\textsf{M}[\varepsilon(t)\,\textbf{Z}_{k}]^\text{T} = 0\quad</math> в определённых случаях приводит к менее точному результату, нежели используемое в фильтре Калмана.
* При выводе фильтра Калмана можно принять условия: {{math|''τ'' < ''t''}}, {{math|''τ'' → ''t''}}. Принятие их устраняет противоречие.

== Где используется ==
* [[Курсовертикаль|Курсовертикали]]
* [[Автопилот]]
* [[Навигационная система|Навигационные системы]]:
** [[Инерциальная навигация|Инерциальные]]
** [[ТЕРКОМ|Рельефометрические]] (по цифровым картам местности)
** [[Спутниковая система навигации|Спутниковые]]

== Литература и публикации ==
* [http://roboforum.ru/wiki/Фильтр_Калмана Перевод статьи «Kalman Filter»]
* [http://isns.ru/download/FK.pdf «Фильтр Калмана для „чайников“: матрица наблюдаемости и фундаментальная матрица»]
* [http://ourworld.compuserve.com/homepages/PDJoseph/kalman.htm Peter Joseph «INTRODUCTORY LESSON: The one-dimensional Kalman Filter»]
* [http://www.basegroup.ru/library/cleaning/kalmanfilter/ Николай Некипелов «Калмановская фильтрация»]
* {{книга|автор = Перов, А. И.|заглавие = Статистическая теория радиотехнических систем|место = М.|издательство = Радиотехника|год = 2003|страниц = 400|isbn=5-93108-047-3}}

== Примечания ==
{{примечания}}

{{math-stub}}

[[Категория:Цифровая обработка сигналов]]
[[Категория:Теория управления]]
[[Категория:Случайные процессы]]
[[Категория:Методы обучения нейросетей]]

[[ar:مرشح كالمان]]
[[ca:Filtre de Kalman]]
[[de:Kalman-Filter]]
[[en:Kalman filter]]
[[eo:Filtrilo de Kalman]]
[[es:Filtro de Kalman]]
[[et:Kalmani filter]]
[[fa:فیلتر کالمن]]
[[fi:Kalman-suodin]]
[[fr:Filtre de Kalman]]
[[it:Filtro di Kalman]]
[[ja:カルマンフィルター]]
[[ko:칼만 필터]]
[[lt:Kalmano filtras]]
[[nl:Kalman-filter]]
[[pl:Filtr Kalmana]]
[[pt:Filtro de Kalman]]
[[sv:Kalmanfilter]]
[[tr:Kalman Filtresi]]
[[uk:Фільтр Калмана]]
[[zh:卡尔曼滤波]]