查看“︁卡尔曼滤波”︁的源代码

{{NoteTA|G1=IT|G2=Math}}

[[File:Basic concept of Kalman filtering.svg|thumb|400px|卡爾曼濾波器會追蹤系統的估計狀態，以及估計的變異量或是不確定性。會透過狀狀態轉換模型以及其量測來更新估計值。<math>\hat{x}_{k\mid k-1}</math> 是指時間''k''時的估計，還沒有考慮第''k''次量測''y''<sub>''k''</sub>的資訊，<math>P_{k \mid k-1}</math>為對應的不確定性]]
'''卡尔曼滤波'''（{{lang-en|Kalman filter}}）是一种高效率的[[递归滤波器]]（[[自迴歸模型|自回归]]滤波器），它能够从一系列的不完全及包含[[雜訊 (通訊學)|雜訊]]的[[度量|测量]]中，估计[[动态系统]]的状态。卡尔曼滤波會根據各測量量在不同時間下的值，考慮各時間下的[[联合分布]]，再產生對未知變數的估計，因此會比只以單一測量量為基礎的估計方式要準。卡尔曼濾波得名自主要貢獻者之一的[[鲁道夫·卡尔曼]]。

卡尔曼滤波在技術領域有許多的應用。常見的有飛機及太空船的{{le|導引、導航及控制|guidance, navigation, and control}}<ref name="ZarchanMusoff2000">{{cite book|author1=Paul Zarchan|author2=Howard Musoff|title=Fundamentals of Kalman Filtering: A Practical Approach|url=https://books.google.com/books?id=AQxRAAAAMAAJ|year=2000|publisher=American Institute of Aeronautics and Astronautics, Incorporated|isbn=978-1-56347-455-2|access-date=2018-02-16|archive-date=2017-02-16|archive-url=https://web.archive.org/web/20170216033838/https://books.google.com/books?id=AQxRAAAAMAAJ|dead-url=no}}</ref>。卡尔曼滤波也廣為使用在[[時間序列]]的分析中，例如[[信号处理]]及[[计量经济学]]中。卡尔曼滤波也是[[機器人]]運動規劃及控制的重要主題之一，有時也包括在{{le|軌跡最佳化|trajectory optimization}}。卡尔曼滤波也用在中軸神經系統運動控制的建模中。因為從給與運動命令到收到感覺神經的回授之間有時間差，使用卡尔曼滤波有助於建立符合實際的系統，估計運動系統的目前狀態，並且更新命令<ref>{{cite journal|title=Computational principles of movement neuroscience|journal=Nature Neuroscience |doi=10.1038/81497 |pmid=11127840 |volume=3|pages=1212–7 |year=2000|last1=Wolpert|first1=Daniel|last2=Ghahramani|first2=Zoubin}}</ref>。

卡尔曼滤波的演算法是二步驟的程序。在估計步驟中，卡尔曼滤波會產生有關目前狀態的估計，其中也包括不確定性。只要觀察到下一個量測（其中一定含有某種程度的誤差，包括隨機雜訊）。會通過[[加權平均]]來更新估計值，而確定性越高的量測加權比重也越高。演算法是迭代的，可以在[[实时计算|實時控制系統]]中執行，只需要目前的輸入量測、以往的計算值以及其不確定性矩陣，不需要其他以往的資訊。

使用卡尔曼滤波不用假設誤差是[[正态分布]]<ref>{{cite journal|doi=10.1115/1.3662552|title=A New Approach to Linear Filtering and Prediction Problems|url=https://archive.org/details/sim_journal-of-basic-engineering_1960-03_82_1/page/35|journal=Journal of Basic Engineering|volume=82|pages=35|year=1960|last1=Kalman|first1=R. E.}}</ref>，不過若所有的誤差都是正态分布，卡尔曼滤波可以得到正確的條件機率估計。

也發展了一些擴展或是廣義的卡尔曼滤波，例如運作在非線性系统的{{le|擴展卡爾曼濾波|extended Kalman filter}}及无迹卡尔曼滤波（{{lang-en|unscented Kalman filter}}）。底層的模型類似[[隐马尔可夫模型]]，不過[[潛在變量]]的狀態空間是連續的，而且所有潛在變量及可觀測變數都是正态分布。

==应用实例==
卡尔曼滤波的一个典型实例是从一组有限的，包含噪声的，通过对物体位置的观察序列（可能有偏差）预测出物体的位置的[[坐标]]及[[速度]]。在很多工程应用（如[[雷达]]、[[机器视觉]]）中都可以找到它的身影。同时，卡尔曼滤波也是[[控制理论]]以及控制[[系统工程]]中的一个重要课题。

例如，对于雷达来说，人们感兴趣的是其能够跟踪目标。但目标的位置、速度、加速度的测量值往往在任何时候都有噪声。卡尔曼滤波利用目标的动态信息，设法去掉噪声的影响，得到一个关于目标位置的好的[[估计]]。这个估计可以是对当前目标位置的估计（滤波），也可以是对于将来位置的估计（预测），也可以是对过去位置的估计（插值或平滑）。

== 命名 ==
这种滤波方法以它的发明者[[鲁道夫·卡尔曼]]（Rudolph Kalman）命名，但是根據文獻可知实际上Peter Swerling在更早之前就提出了一种类似的算法。

{{le|斯坦利·施密特|Stanley Schmidt}}（Stanley Schmidt）首次实现了卡尔曼滤波器。卡尔曼在NASA[[艾姆斯研究中心]]访问时，发现他的方法对于解决[[阿波罗计划]]的轨道预测很有用，后来阿波罗飞船的导航电脑便使用了这种滤波器。关于这种滤波器的论文由Swerling（1958）、Kalman (1960)与Kalman and Bucy（1961）发表。

目前，卡尔曼滤波已经有很多不同的实现。卡尔曼最初提出的形式现在一般称为''简单''卡尔曼滤波器。除此以外，还有施密特'''扩展'''滤波器、'''信息'''滤波器以及很多Bierman, Thornton开发的'''平方根'''滤波器的变种。也许最常见的卡尔曼滤波器是[[锁相环]]，它在收音机、计算机和几乎任何视频或通讯设备中广泛存在。

----
以下的讨论需要[[线性代数]]以及[[概率论]]的一般知识。
----

==演算概念==

卡爾曼濾波器使用系統的動態模型（例如，運動的物理定律），該系統的已知控制輸入以及多個順序的測量值（例如來自傳感器的測量值）來形成對系統變化量（其狀態）更好的估計，其精度比僅使用一種測量獲得的估算值高。它是一種常見的[[感測器融合]]和{{le|數據融合|Data fusion}}算法。

感測器數據的雜訊，描述系統演化的方程式的近似值以及未考慮所有因素的外部因素都限制了確定系統狀態的能力。卡爾曼濾波器有效地處理了由於感測器數據雜訊引起的不確定性，並在一定程度上處理了隨機外部因素。卡爾曼濾波器使用[[加權平均值]]生成系統狀態的估計值，作為系統預測狀態和新測量值的平均值。權重的目的是估計值具有更好（即較小）的不確定性的值會被更多“信任”。權重是根據[[共變異數]]來計算的，共變異數是對系統狀態預測的估計不確定性的度量。加權平均值的結果是介於預測狀態和測量狀態之間的新狀態估計，並且比任何一個狀態都有更好的估計不確定性。在每個時間步重複此過程，新的估計值及其共變異數將通知後續迭代中使用的預測。這意味著卡爾曼濾波器可以[[遞迴]]地工作，並且只需要系統狀態的最後“最佳猜測”，而不是整個歷史，就可以計算新狀態。

測量和當前狀態估計的相對確定性是重要的考慮因素，通常根據卡爾曼濾波器的[[增益]]來討論濾波器的反應。卡爾曼增益是賦予測量值和當前狀態估計值的相對權重，可以進行“調整”以獲得特定的性能。增益高時，濾波器將更多的精力放在最新的測量上，因此反應速度更快。增益較低時，濾波器會更緊密地遵循模型預測。在極端情況下，接近1的高增益將導致估計的軌跡更加跳躍，而接近零的低增益將消除雜訊，但會降低反應速度。

在執行濾波器的實際計算時（如下所述），狀態估計值和共變異數被編碼到[[矩陣]]中，以處理單個計算集中涉及的多個維度。這允許在任何過渡模型或共變異數中表示不同狀態變量（例如位置，速度和加速度）之間的線性關係。

==基本动态系统模型==
卡尔曼滤波建立在[[线性代数]]和[[隐马尔可夫模型]]（hidden Markov model）上。其基本动态系统可以用一个[[马尔可夫链]]表示，该马尔可夫链建立在一个被高斯[[噪声]]（即正态分布的噪声）干扰的[[线性算子]]上的。系统的[[状态空间|状态]]可以用一个元素为实数的[[向量]]表示。随着[[离散时间信号|离散时间]]的每一个增加，这个线性算子就会作用在当前状态上，产生一个新的状态，并也会带入一些噪声，同时系统的一些已知的控制器的控制信息也会被加入。同时，另一个受噪声干扰的线性算子产生出这些隐含状态的可见输出。

为了从一系列有噪声的观察数据中用卡尔曼滤波器估计出被观察过程的内部状态，必须把这个过程在卡尔曼滤波的框架下建立模型。也就是说对于每一步''k''，定义[[矩阵]]'''F'''<sub>''k''</sub>, '''H'''<sub>''k''</sub>, '''Q'''<sub>''k''</sub>, '''R'''<sub>''k''</sub>，有时也需要定义'''B'''<sub>''k''</sub>，如下。

[[File:Kalman filter model.png|thumb|250px|卡尔曼滤波器的模型。圆圈代表[[向量]]，方块代表[[矩阵]]，星号代表[[高斯噪声]]，其[[协方差矩阵]]在右下方标出。]]

卡尔曼滤波模型假设''k''时刻的真实状态是从（''k''&nbsp;−&nbsp;1）时刻的状态演化而来，符合下式：

:<math> \textbf{x}_{k} = \textbf{F}_{k} \textbf{x}_{k-1} + \textbf{B}_{k}\textbf{u}_{k}  + \textbf{w}_{k} </math>

其中
*'''F'''<sub>''k''</sub>是作用在'''x'''<sub>''k''−1</sub>上的状态变换模型（/矩阵/向量）。
* '''B'''<sub>''k''</sub>是作用在控制器向量'''u'''<sub>''k''</sub>上的输入－控制模型。
* '''w'''<sub>''k''</sub>是过程噪声，并假定其符合均值为零，[[协方差矩阵]]为'''Q'''<sub>''k''</sub>的[[多元正态分布]]。

:<math>\textbf{w}_{k} \sim N(0, \textbf{Q}_k) </math>

时刻''k''，对真实状态'''x'''<sub>''k''</sub>的一个测量'''z'''<sub>''k''</sub>满足下式：

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

其中'''H'''<sub>''k''</sub>是观测模型，它把真实状态空间映射成观测空间，'''v'''<sub>''k''</sub>是观测噪声，其均值为零，协方差矩阵为'''R'''<sub>''k''</sub>,且服从[[正态分布]]。

:<math>\textbf{v}_{k} \sim N(0, \textbf{R}_k) </math>

初始状态以及每一时刻的噪声{'''x'''<sub>0</sub>, '''w'''<sub>1</sub>, ..., '''w'''<sub>''k''</sub>,  '''v'''<sub>1</sub> ... '''v'''<sub>''k''</sub>}都认为是互相[[统计学独立|独立]]的。

实际上，很多真实世界的动态系统都并不确切的符合这个模型；但是由于卡尔曼滤波器被设计在有噪声的情况下工作，一个近似的符合已经可以使这个滤波器非常有用了。更多其它更复杂的卡尔曼滤波器的变种，在下邊討論中有描述。

==卡尔曼滤波器==

卡尔曼滤波是一种[[递归]]的估计，即只要获知上一时刻状态的估计值以及当前状态的观测值就可以计算出当前状态的估计值，因此不需要记录观测或者估计的历史信息。卡尔曼滤波器与大多数滤波器不同之處，在於它是一种纯粹的[[时域]]滤波器，它不需要像[[低通滤波器]]等[[频域]]滤波器那样，需要在频域设计再转换到时域实现。

卡尔曼滤波器的状态由以下两个变量表示：
*<math>\hat{\textbf{x}}_{k|k}</math>，在时刻''k''的状态的估计；
*<math>\textbf{P}_{k|k}</math>，后验估计误差协方差矩阵，度量估计值的精确程度。

卡尔曼滤波器的操作包括两个阶段：'''预测'''与'''更新'''。在预测阶段，滤波器使用上一状态的估计，做出对当前状态的估计。在更新阶段，滤波器利用对当前状态的观测值优化在预测阶段获得的预测值，以获得一个更精确的新估计值。

===预测===
:<math>\hat{\textbf{x}}_{k|k-1} = \textbf{F}_{k}\hat{\textbf{x}}_{k-1|k-1} + \textbf{B}_{k} \textbf{u}_{k}</math>（预测状态）
:<math>\textbf{P}_{k|k-1} =  \textbf{F}_{k} \textbf{P}_{k-1|k-1} \textbf{F}_{k}^{T} + \textbf{Q}_{k} </math>（预测估计协方差矩阵）
可参考：http://www.cs.unc.edu/~welch/media/pdf/kalman_intro.pdf {{Wayback|url=http://www.cs.unc.edu/~welch/media/pdf/kalman_intro.pdf |date=20210126065856 }}

可參考：http://web.mit.edu/kirtley/kirtley/binlustuff/literature/control/Kalman%20filter.pdf {{Wayback|url=http://web.mit.edu/kirtley/kirtley/binlustuff/literature/control/Kalman%20filter.pdf |date=20200923102207 }}

===更新===
首先要算出以下三个量：
:<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>（最优卡尔曼增益）
然后用它们来更新滤波器变量'''x'''与'''P'''：
:<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>\textbf{P}_{k|k} </math>仅在最优卡尔曼增益的时候有效。使用其他增益的话，公式要复杂一些，请参见[[卡尔曼滤波#推导|推导]]。

===不变量（Invariant）===
如果模型准确，而且<math>\hat{\textbf{x}}_{0|0}</math>与<math>\textbf{P}_{0|0}</math>的值准确的反映了最初状态的分布，那么以下不变量就保持不变：所有估计的误差均值为零
*<math>\textrm{E}[\textbf{x}_k - \hat{\textbf{x}}_{k|k}] = \textrm{E}[\textbf{x}_k - \hat{\textbf{x}}_{k|k-1}] = 0</math>
*<math>\textrm{E}[\tilde{\textbf{y}}_k] = 0</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>

请注意，其中<math>\textrm{E}[\textbf{a}]</math>表示<math>{a}</math>的期望值, <math>\textrm{cov}(\textbf{a}) = \textrm{E}[\textbf{a}\textbf{a}^T]</math>。

== 实例 ==

考虑在无摩擦的、无限长的直轨道上的一辆车。该车最初停在位置0处，但时不时受到随机的冲击。每隔''Δt''秒即测量车的位置，但是这个测量是非精确的；想建立一个关于其位置以及[[速度]]的模型。来看如何推导出这个模型以及如何从这个模型得到卡尔曼滤波器。

因为车上无动力，所以可以忽略掉'''B'''<sub>''k''</sub>和'''u'''<sub>''k''</sub>。由于'''F'''、'''H'''、'''R'''和'''Q'''是常数，所以时间下标可以去掉。

车的位置以及速度（或者更加一般的，一个粒子的运动状态）可以被线性状态空间描述如下：

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

其中<math>\dot{x}</math>是速度，也就是位置对于时间的导数。

假设在（''k''&nbsp;−&nbsp;1）时刻与''k''时刻之间，车受到''a''<sub>''k''</sub>的加速度，其符合均值为0，标准差为''σ''<sub>''a''</sub>的[[正态分布]]。根据[[牛顿运动定律]]，可以推出

:<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) = \textrm{E}[(\textbf{G}a)(\textbf{G}a)^{T}] = \textbf{G} \textrm{E}[a^2] \textbf{G}^{T} = \textbf{G}[\sigma_a^2]\textbf{G}^{T} = \sigma_a^2 \textbf{G}\textbf{G}^{T}</math>（因为''σ''<sub>''a''</sub>是一个标量）。

在每一时刻，对其位置进行测量，测量受到噪声干扰。假设噪声服从正态分布，均值为0，标准差为''σ''<sub>z</sub>。

:<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} = \textrm{E}[\textbf{v}_k \textbf{v}_k^{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>

如果不确切的知道最初的位置与速度，那么协方差矩阵可以初始化为一个对角线元素是''B''的矩阵，''B''取一个合适的比较大的数。

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

此时，与使用模型中已有信息相比，滤波器更倾向于使用初次测量值的信息。

== 推导==

===推导后验协方差矩阵===

按照上边的定义，从误差协方差<math>\textbf{P}_{k|k}</math>开始推导如下：

:<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>

整理误差向量，得

:<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''</sub>与其他项是非相关的，因此有
:<math>\mathbf{P}_{k|k} = \textrm{cov}((I - \mathbf{K}_k \mathbf{H}_{k})(\mathbf{x}_k - \hat{\mathbf{x}}_{k\mid k-1}))  + \textrm{cov}(\mathbf{K}_k \mathbf{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})^{T}  + \textbf{K}_k\textrm{cov}(\textbf{v}_k )\textbf{K}_k^{T}</math>
使用不变量'''P'''<sub>''k''|''k''-1</sub>以及'''R'''<sub>''k''</sub>的定义这一项可以写作
：

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

这一公式对于任何卡尔曼增益'''K'''<sub>''k''</sub>都成立。如果'''K'''<sub>''k''</sub>是最優卡尔曼增益，則可以进一步简化，請見下文。

===最優卡尔曼增益的推导===

卡尔曼滤波器是一个[[最小均方误差]]估计器，后验状态误差估计（英文：''a posteriori'' state estimate）是
:<math>\textbf{x}_{k} - \hat{\textbf{x}}_{k|k}</math>

最小化这个矢量幅度平方的期望值，<math>\textrm{E}[|\textbf{x}_{k} - \hat{\textbf{x}}_{k|k}|^2]</math>，这等同于最小化后验估计协方差矩阵'''P'''<sub>''k''|''k''</sub>的[[迹数|迹]]（trace）。将上面方程中的项展开、抵消，得到：
:{|
|-
| <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^T \textbf{K}_k^T + \textbf{K}_k(\textbf{H}_k \textbf{P}_{k|k-1} \textbf{H}_k^T + \textbf{R}_k) \textbf{K}_k^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^T \textbf{K}_k^T + \textbf{K}_k \textbf{S}_k\textbf{K}_k^T</math>
|}

当[[矩阵导数]]是0的时候得到'''P'''<sub>''k''|''k''</sub>的[[迹数|迹]]（trace）的最小值：
:<math>\frac{d \; \textrm{tr}(\textbf{P}_{k|k})}{d \;\textbf{K}_k} = -2(\textbf{H}_k \textbf{P}_{k|k-1})^T + 2 \textbf{K}_k \textbf{S}_k = 0</math>

此處須用到一個常用的式子，如下：

    <math>\frac{d \; \textrm{tr}(\textbf{BAC})}{d \;\textbf{A}} = B^TC^T</math>

从这个方程解出卡尔曼增益'''K'''<sub>''k''</sub>：

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

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

这个增益称为''最優卡尔曼增益''，在使用时得到[[最小均方误差]]。

=== 后验误差协方差公式的化简 ===

在卡尔曼增益等于上面导出的最优值时，计算后验协方差的公式可以进行简化。在卡尔曼增益公式两侧的右边都乘以'''S'''<sub>''k''</sub>'''K'''<sub>''k''</sub><sup>''T''</sup>得到

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

根据上面后验误差协方差展开公式，
:<math> \textbf{P}_{k|k} = \textbf{P}_{k|k-1} - \textbf{K}_k \textbf{H}_k \textbf{P}_{k|k-1}  - \textbf{P}_{k|k-1} \textbf{H}_k^T \textbf{K}_k^T + \textbf{K}_k \textbf{S}_k \textbf{K}_k^T</math>
最后两项可以抵消，得到
:<math> \textbf{P}_{k|k} = \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>.

这个公式的计算比较简单，所以实际中总是使用这个公式，但是需注意這公式仅在使用最优卡尔曼增益的时候它才成立。如果算术精度总是很低而导致[[數值穩定性]]出现问题，或者特意使用非最优卡尔曼增益，那么就不能使用这个简化；必须使用上面导出的后验误差协方差公式。

==与递归贝叶斯估计之间的关系==

假设真正的状态是无法观察的[[马尔可夫过程]]，测量结果是從隐性马尔可夫模型观察到的状态。

:[[File:HMMKalmanFilterDerivation.png|463-239|Hidden Markov Model]]

根据马尔可夫假设，真正的状态仅受最近一个状态影响而与其它以前状态无关。

:<math>p(\textbf{x}_k|\textbf{x}_0,\dots,\textbf{x}_{k-1}) = p(\textbf{x}_k|\textbf{x}_{k-1})</math>

与此类似，在时刻''k''测量只与当前状态有关而与其它状态无关。

:<math>p(\textbf{z}_k|\textbf{x}_0,\dots,\textbf{x}_{k}) = p(\textbf{z}_k|\textbf{x}_{k} )</math>

根据这些假设，隐性马尔可夫模型所有状态的概率分布可以简化为：

:<math>p(\textbf{x}_0,\dots,\textbf{x}_k,\textbf{z}_1,\dots,\textbf{z}_k) = p(\textbf{x}_0)\prod_{i=1}^k p(\textbf{z}_i|\textbf{x}_i)p(\textbf{x}_i|\textbf{x}_{i-1})</math>

然而，當卡爾曼濾波器用來估計狀態'''''x'''''時，感興趣的機率分布，是基於目前為止所有個測量值來得到的當前狀態之機率分布

:<math> p(\textbf{x}_k|\textbf{Z}_{k-1}) = \int p(\textbf{x}_k | \textbf{x}_{k-1}) p(\textbf{x}_{k-1} | \textbf{Z}_{k-1} )  \, d\textbf{x}_{k-1} </math>

==信息濾波器==

在信息濾波器或逆共變異數濾波器中，估計的共變異數和估計狀態分別由[[信息矩陣]]和[[信息]]向量代替。 這些定義為：

:<math>\begin{align}
        \mathbf{Y}_{k \mid k} &= \mathbf{P}_{k \mid k}^{-1} \\
  \hat{\mathbf{y}}_{k \mid k} &= \mathbf{P}_{k \mid k}^{-1}\hat{\mathbf{x}}_{k \mid k}
\end{align}</math>

同樣，預測的共變異數和狀態具有等效的信息形式，定義為：

:<math>\begin{align}
        \mathbf{Y}_{k \mid k-1} &= \mathbf{P}_{k \mid k-1}^{-1} \\
  \hat{\mathbf{y}}_{k \mid k-1} &= \mathbf{P}_{k \mid k-1}^{-1}\hat{\mathbf{x}}_{k \mid k-1}
\end{align}</math>

以及測量共變異數和測量向量，它們定義為：

:<math>\begin{align}
  \mathbf{I}_k &= \mathbf{H}_k^\textsf{T} \mathbf{R}_k^{-1} \mathbf{H}_k \\
  \mathbf{i}_k &= \mathbf{H}_k^\textsf{T} \mathbf{R}_k^{-1} \mathbf{z}_k
\end{align}</math>

信息更新現在變得微不足道了。

:<math>\begin{align}
        \mathbf{Y}_{k \mid k} &= \mathbf{Y}_{k \mid k-1} + \mathbf{I}_k \\
  \hat{\mathbf{y}}_{k \mid k} &= \hat{\mathbf{y}}_{k \mid k-1} + \mathbf{i}_k
\end{align}</math>

信息過濾器的主要優點是，只需將其測量信息矩陣和向量相加即可在每個時間步長過濾N個測量值。

:<math>\begin{align}
        \mathbf{Y}_{k \mid k} &= \mathbf{Y}_{k \mid k-1} + \sum_{j=1}^N \mathbf{I}_{k,j} \\
  \hat{\mathbf{y}}_{k \mid k} &= \hat{\mathbf{y}}_{k \mid k-1} + \sum_{j=1}^N \mathbf{i}_{k,j}
\end{align}</math>

為了預測信息過濾器，可以將信息矩陣和向量轉換回它們的狀態空間等效項，或者可以使用信息空間預測。

:<math>\begin{align}
                 \mathbf{M}_k &=
    \left[\mathbf{F}_k^{-1}\right]^\textsf{T} \mathbf{Y}_{k-1 \mid k-1} \mathbf{F}_k^{-1} \\
                 \mathbf{C}_k &=
    \mathbf{M}_k \left[\mathbf{M}_k + \mathbf{Q}_k^{-1}\right]^{-1} \\
                   \mathbf{L}_k &=
    \mathbf{I} - \mathbf{C}_k \\
        \mathbf{Y}_{k \mid k-1} &=
    \mathbf{L}_k \mathbf{M}_k \mathbf{L}_k^\textsf{T} +
    \mathbf{C}_k \mathbf{Q}_k^{-1} \mathbf{C}_k^\textsf{T} \\
  \hat{\mathbf{y}}_{k \mid k-1} &=
    \mathbf{L}_k \left[\mathbf{F}_k^{-1}\right]^\textsf{T} \hat{\mathbf{y}}_{k-1 \mid k-1}
\end{align}</math>

如果F和Q是非時變的，則可以將這些值緩存起來，並且F和Q必須是可逆的。

==頻率加權卡爾曼濾波器==

在1930年代，Fletcher和Munson進行了有關不同頻率的聲音感知的開創性研究。他們的工作導致了在工業雜訊和聽力損失調查中加權測得的聲音水平的標準方法。此後，已在濾波器和控制器設計中使用了頻率
加權，以管理目標頻段內的性能。

通常，頻率整形函數用於加權指定頻段中誤差頻譜密度的平均功率。 令 <math>\mathbf{y} - \hat{\mathbf{y}}</math> 表示由 傳統的卡爾曼濾波器。 同樣，讓 <math>\mathbf{W}</math> 表示因果頻率加權傳遞函數。 最小化 <math>\mathbf{W}\left(\mathbf{y} - \hat{\mathbf{y}}\right)</math> 是通過簡單地構建 <math>\mathbf{W}^{-1} \hat{\mathbf{y}}</math> 而產生的。

<math>\mathbf{W}</math>的設計仍然是一個懸而未決的問題。 一種進行方式是識別產生估計誤差的系統，並將 <math>\mathbf{W}</math> 設置為等於該系統的倒數。 可以重複執行此過程，以提高均方誤差為代價，增加濾波器階數。可以將相同的技術應用於平滑器。

==非线性滤波器==
 
基本卡爾曼滤波器（The basic Kalman filter）是限制在線性的假設之下。然而，大部份非平凡的（non-trivial）的系統都是非線性系統。其中的「非線性性質」（non-linearity）可能是伴隨存在過程模型（process model）中或觀測模型（observation model）中，或者兩者兼有之。

===扩展卡尔曼滤波器===

在扩展卡尔曼滤波器（Extended Kalman Filter，簡稱EKF）中状态转换和观测模型不需要是状态的线性函数，可替换为（可微的）函数。

:<math>\textbf{x}_{k} = f(\textbf{x}_{k-1}, \textbf{u}_{k}, \textbf{w}_{k})</math>

:<math>\textbf{z}_{k} = h(\textbf{x}_{k}, \textbf{v}_{k})</math>

函数''f''可以用来从过去的估计值中计算预测的状态，相似的，函数''h''可以用来以预测的状态计算预测的测量值。然而''f''和''h''不能直接的应用在协方差中，取而代之的是计算偏导矩阵（[[雅可比矩阵|Jacobian]]）。

在每一步中使用当前的估计状态计算Jacobian矩阵，这幾個矩阵可以用在卡尔曼滤波器的方程中。这个过程，实质上将非线性的函数在当前估计值处线性化了。

这样一來，卡尔曼滤波器的等式为：

'''预测'''

:<math>\hat{\textbf{x}}_{k|k-1} = f(\textbf{x}_{k-1}, \textbf{u}_{k}, 0)</math>

:<math> \textbf{P}_{k|k-1} =  \textbf{F}_{k} \textbf{P}_{k-1|k-1} \textbf{F}_{k}^{T} + \textbf{Q}_{k} </math>

'''使用Jacobians矩阵更新模型'''

:<math> \textbf{F}_{k} = \left . \frac{\partial f}{\partial \textbf{x} } \right \vert _{\hat{\textbf{x}}_{k-1|k-1},\textbf{u}_{k}} </math>

:<math> \textbf{H}_{k} = \left . \frac{\partial h}{\partial \textbf{x} } \right \vert _{\hat{\textbf{x}}_{k|k-1}} </math>

'''更新'''

:<math>\tilde{\textbf{y}}_{k} = \textbf{z}_{k} - h(\hat{\textbf{x}}_{k|k-1}, 0)</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>

'''預測'''

如同擴展卡爾曼濾波器（EKF）一樣, UKF的預測過程可以獨立於UKF的更新過程之外，與一個線性的（或者確實是擴展卡爾曼濾波器的）更新過程合併來使用；或者，UKF的預測過程與更新過程在上述中地位互換亦可。

==卡爾曼-布西濾波器==
卡爾曼-布西濾波器（Kalman-Bucy filter，以Richard Snowden Bucy命名）是Kalman濾波器的連續時間版本。

它基於狀態空間模型

:<math>\begin{align}
  \frac{d}{dt}\mathbf{x}(t) &= \mathbf{F}(t)\mathbf{x}(t) + \mathbf{B}(t)\mathbf{u}(t) + \mathbf{w}(t) \\
              \mathbf{z}(t) &= \mathbf{H}(t) \mathbf{x}(t) + \mathbf{v}(t)
\end{align}</math>

其中 <math>\mathbf{Q}(t)</math> 和 <math>\mathbf{R}(t)</math> 分別代表兩個白噪聲項 <math>\mathbf{w}(t)</math> 和 <math>\mathbf{v}(t)</math> 的強度（或更準確地說：功率譜密度-PSD-矩陣）。

該濾波器由兩個微分方程組成，一個用於狀態估計，一個用於共變異數：
:<math>\begin{align}
  \frac{d}{dt}\hat{\mathbf{x}}(t) &= \mathbf{F}(t)\hat{\mathbf{x}}(t) + \mathbf{B}(t)\mathbf{u}(t) + \mathbf{K}(t) \left(\mathbf{z}(t) - \mathbf{H}(t)\hat{\mathbf{x}}(t)\right) \\
        \frac{d}{dt}\mathbf{P}(t) &= \mathbf{F}(t)\mathbf{P}(t) + \mathbf{P}(t)\mathbf{F}^\textsf{T}(t) + \mathbf{Q}(t) - \mathbf{K}(t)\mathbf{R}(t)\mathbf{K}^\textsf{T}(t)
\end{align}</math>

卡爾曼增益由
:<math>\mathbf{K}(t) = \mathbf{P}(t)\mathbf{H}^\textsf{T}(t)\mathbf{R}^{-1}(t)</math>

注意，在此表達式中，對於 <math>\mathbf{K}(t)</math> ，觀察雜訊 <math>\mathbf{R}(t)</math> 的共變異數同時表示預測誤差（或創新）<math>\tilde{\mathbf{y}}(t) = \mathbf{z}(t) - \mathbf{H}(t)\hat{\mathbf{x}}(t)</math> 的共變異數； 這些共變異數僅在連續時間的情況下才相等。

離散時間卡爾曼濾波的預測步驟和更新步驟之間的區別在連續時間內不存在。

用於共變異數的第二個微分方程是[[Riccati方程]]的一個示例。

==混合型卡爾曼濾波器==

大多數物理系統表示為連續時間模型，而離散時間測量則經常通過數字處理器進行狀態估計。 因此，系統模型和測量模型由下式給出：

:<math>\begin{align}
  \dot{\mathbf{x}}(t) &= \mathbf{F}(t)\mathbf{x}(t) + \mathbf{B}(t)\mathbf{u}(t) + \mathbf{w}(t),
           &\mathbf{w}(t) &\sim N\left(\mathbf{0}, \mathbf{Q}(t)\right) \\
         \mathbf{z}_k &= \mathbf{H}_k\mathbf{x}_k + \mathbf{v}_k,
           &\mathbf{v}_k  &\sim N(\mathbf{0},\mathbf{R}_k)
\end{align}</math>

當

:<math>\mathbf{x}_k = \mathbf{x}(t_k)</math>.

===初始值===

:<math>\hat{\mathbf{x}}_{0 \mid 0} = E\left[\mathbf{x}(t_0)\right], \mathbf{P}_{0 \mid 0} = \operatorname{Var}\left[\mathbf{x}\left(t_0\right)\right]</math>

===預測===
:<math>\begin{align}
                  \dot{\hat{\mathbf{x}}}(t) &= \mathbf{F}(t) \hat{\mathbf{x}}(t) + \mathbf{B}(t) \mathbf{u}(t)
    \text{, with } \hat{\mathbf{x}}\left(t_{k-1}\right) = \hat{\mathbf{x}}_{k-1 \mid k-1} \\
  \Rightarrow \hat{\mathbf{x}}_{k \mid k-1} &= \hat{\mathbf{x}}\left(t_k\right) \\
          \dot{\mathbf{P}}(t) &= \mathbf{F}(t)\mathbf{P}(t) + \mathbf{P}(t)\mathbf{F}(t)^\textsf{T} + \mathbf{Q}(t)
    \text{, with } \mathbf{P}\left(t_{k-1}\right) = \mathbf{P}_{k-1 \mid k-1} \\
        \Rightarrow \mathbf{P}_{k \mid k-1} &= \mathbf{P}\left(t_k\right)
\end{align}</math>

預測方程式是從連續時間卡爾曼濾波器的方程式推導而得，而無需進行測量更新，例如: <math> \mathbf{K}(t) = 0 </math> 。預測狀態和共變異數分別通過求解一組初始值等於上一步估計值的微分方程組來計算。

在[[線性非時變系統]]的情況下，可以使用[[矩陣指數]]將連續時間動態精確地[[離散化]]為離散時間系統。

===更新===
:<math>\begin{align}
                 \mathbf{K}_k &= \mathbf{P}_{k \mid k-1}\mathbf{H}_k^\textsf{T} \left(\mathbf{H}_k\mathbf{P}_{k \mid k-1}\mathbf{H}_k^\textsf{T} + \mathbf{R}_k\right)^{-1} \\
  \hat{\mathbf{x}}_{k \mid k} &= \hat{\mathbf{x}}_{k \mid k-1} + \mathbf{K}_k\left(\mathbf{z}_k - \mathbf{H}_k\hat{\mathbf{x}}_{k \mid k-1}\right) \\
        \mathbf{P}_{k \mid k} &= \left(\mathbf{I} - \mathbf{K}_k\mathbf{H}_k\right)\mathbf{P}_{k \mid k-1}
\end{align}</math>

更新方程與離散時間卡爾曼濾波器的更新方程相同。

==应用==
*[[自动驾驶仪]]
*{{le|动态定位系统|Dynamic positioning}}
*[[经济学]]，特别是[[宏观经济学]]，[[时间序列]]模型，以及[[计量经济学]]
*[[惯性导航系统]]
*{{le|雷达跟踪器|Radar tracker}}
*[[卫星导航系统]]
<!-- *''more to come; also planning on adding information about linear quadratic regulators and loop transmission recovery''
-->

== 参见 ==
* [[即时定位与地图构建]]
* {{le|快速卡尔曼滤波|Fast Kalman filter}}
* 比较：[[维纳滤波]]及[[粒子濾波器]]
* [[施密特–卡爾曼濾波器]]
* [[濾波問題]]
* [[滾動時域估計]]
* [[无迹变换]]
==参考文献==
{{Reflist}}
* Gelb A., editor. Applied optimal estimation. MIT Press, 1974.

* Kalman, R. E. A New Approach to Linear Filtering and Prediction Problems, ''Transactions of the ASME - Journal of Basic Engineering'' Vol. 82: pp. 35-45 (1960)

* Kalman, R. E., Bucy R. S., New Results in Linear Filtering and Prediction Theory, ''Transactions of the ASME - Journal of Basic Engineering'' Vol. 83: pp. 95-107 (1961)

* [JU97] Julier, Simon J. and Jeffery K. Uhlmann. A New Extension of the Kalman Filter to nonlinear Systems. In The Proceedings of AeroSense: The 11th International Symposium on Aerospace/Defense Sensing,Simulation and Controls, Multi Sensor Fusion, Tracking and Resource Management II, SPIE, 1997.

* Harvey, A.C. Forecasting, Structural Time Series Models and the Kalman Filter. Cambridge University Press, Cambridge, 1989.

==外部链接==

* [http://www.cs.unc.edu/~tracker/media/pdf/SIGGRAPH2001_CoursePack_08.pdf An Introduction to the Kalman Filter] {{Wayback|url=http://www.cs.unc.edu/~tracker/media/pdf/SIGGRAPH2001_CoursePack_08.pdf |date=20210224114008 }}, SIGGRAPH 2001 Course, Greg Welch and Gary Bishop
* [https://web.archive.org/web/20060420154727/http://www.cs.unc.edu/%7Ewelch/media/pdf/maybeck_ch1.pdf Kalman filtering chapter] from ''Stochastic Models, Estimation'', by Peter Maybeck
* [http://www.cs.unc.edu/~welch/kalman/ Kalman Filter]{{Wayback|url=http://www.cs.unc.edu/~welch/kalman/ |date=20070408165701 }} webpage, with lots of links
* [https://web.archive.org/web/20130623214223/http://www.innovatia.com/software/papers/kalman.htm Kalman Filtering]
* [https://ieeexplore.ieee.org/document/882463 The unscented Kalman filter for nonlinear estimation] {{Wayback|url=https://ieeexplore.ieee.org/document/882463 |date=20210225013227 }}
* [http://www.negenborn.net/kal_loc/ ''Kalman Filters'', thorough introduction to several types, together with applications to ''Robot Localization''] {{Wayback|url=http://www.negenborn.net/kal_loc/ |date=20181010160514 }}

{{Authority control}}
[[Category:控制论]]
[[Category:非线性滤波器]]
[[Category:线性滤波器]]
[[Category:滤波器理论]]
[[Category:估计理论]]