卡尔曼滤波与组合导航原理(二)卡尔曼滤波方程的推导

news2024/10/7 2:20:47

文章目录

    • 三、卡尔曼滤波
      • 1、随机系统状态空间模型
      • 2、状态预测
      • 3、状态量测
      • 4、增益矩阵K与状态估计
      • 5、Kalman滤波公式汇总
      • 6、Kalman滤波流程图
        • 1.划分为左右两部分(一阶矩和二阶矩)
        • 2.划分为上下两部分(时间更新、量测更新)
      • 7、Kalman滤波计算系统回路图
      • 8、Kalman编程计算流程图
      • 9、Kalman滤波特性
        • 1.状态估计时量测的线性组合
        • 2.正交投影性质
        • 3.新息向量是零矩阵白噪声序列
      • 10、带确定性输入的Kalman滤波

三、卡尔曼滤波

1、随机系统状态空间模型

{ X k = Φ k / k − 1 X k − 1 + Γ k − 1 W k − 1 Z k = H k X k + V k \left\{\begin{array}{l}\boldsymbol{X}_{k}=\boldsymbol{\Phi}_{k / k-1} \boldsymbol{X}_{k-1}+\boldsymbol{\Gamma}_{k-1} \boldsymbol{W}_{k-1} \\ \boldsymbol{Z}_{k}=\boldsymbol{H}_{k} \boldsymbol{X}_{k}+\boldsymbol{V}_{k}\end{array}\right. {Xk=Φk/k1Xk1+Γk1Wk1Zk=HkXk+Vk

关于噪声的基本假设:系统噪声 W k \boldsymbol{W}_{k} Wk 和量测噪声 V k \boldsymbol{V}_{k} Vk 都是零均值高斯白噪声,且不相关;系统噪声协方差阵 Q k \boldsymbol{Q}_{k} Qk 对称非负定,观测噪声协方差阵 R k \boldsymbol{R}_{k} Rk 对称正定。

  • 其实改系统噪声前面系数 Γ k \Gamma_{k} Γk 可以使 Q k \boldsymbol{Q}_{k} Qk 总正定。
  • 必须是高斯白噪声,多个高斯白噪声线性组合还是高斯白噪声,零均值均匀分布噪声线性组合不一定还是零均值均匀分布噪声。

{ E [ W k ] = 0 , E [ W k W j T ] = Q k δ k j E [ V k ] = 0 , E [ V k V j T ] = R k δ k j E [ W k V j T ] = 0 Q k ≥ 0 , R k > 0 ,或 Q k > 0 , R k > 0 \begin{array}{l}\left\{\begin{array}{l}\mathrm{E}\left[\boldsymbol{W}_{k}\right]=\mathbf{0}, \quad \mathrm{E}\left[\boldsymbol{W}_{k} \boldsymbol{W}_{j}^{\mathrm{T}}\right]=\boldsymbol{Q}_{k} \delta_{k j} \\ \mathrm{E}\left[\boldsymbol{V}_{k}\right]=\mathbf{0}, \quad \mathrm{E}\left[\boldsymbol{V}_{k} \boldsymbol{V}_{j}^{\mathrm{T}}\right]=\boldsymbol{R}_{k} \delta_{k j} \\ \mathrm{E}\left[\boldsymbol{W}_{k} \boldsymbol{V}_{j}^{\mathrm{T}}\right]=\mathbf{0}\end{array}\right. \\ \boldsymbol{Q}_{k} \geq 0, \quad \boldsymbol{R}_{k}>0,或\boldsymbol{Q}_{k} > 0, \quad \boldsymbol{R}_{k}>0 \end{array} E[Wk]=0,E[WkWjT]=QkδkjE[Vk]=0,E[VkVjT]=RkδkjE[WkVjT]=0Qk0,Rk>0,或Qk>0,Rk>0

2、状态预测

状态一步预测:预测下一时刻最有可能的那个值,由于高斯白噪声对状态预测的一阶矩不起作用(线性最小方差估计):
X ^ k / k − 1 = Φ k / k − 1 X ^ k − 1 \hat{\boldsymbol{X}}_{k / k-1}={\boldsymbol{\Phi}}_{k / k-1} \hat{\boldsymbol{X}}_{k-1} X^k/k1=Φk/k1X^k1
状态预测误差:真值-预测
X ~ k / k − 1 = X k − X ^ k / k − 1 = ( Φ k / k − 1 X k − 1 + Γ k − 1 W k − 1 ) − Φ k / k − 1 X ^ k − 1 = Φ k / k − 1 ( X k − 1 − X ^ k − 1 ) + Γ k − 1 W k − 1 = Φ k / k − 1 X ~ k − 1 + Γ k − 1 W k − 1 \begin{array}{r}\tilde{\boldsymbol{X}}_{k / k-1}=\boldsymbol{X}_{k}-\hat{\boldsymbol{X}}_{k / k-1}=\left(\boldsymbol{\Phi}_{k / k-1} \boldsymbol{X}_{k-1}+\boldsymbol{\Gamma}_{k-1} \boldsymbol{W}_{k-1}\right)-\boldsymbol{\Phi}_{k / k-1} \hat{\boldsymbol{X}}_{k-1} \\ \quad=\boldsymbol{\Phi}_{k / k-1}\left(\boldsymbol{X}_{k-1}-\hat{\boldsymbol{X}}_{k-1}\right)+\boldsymbol{\Gamma}_{k-1} \boldsymbol{W}_{k-1}=\boldsymbol{\Phi}_{k / k-1} \tilde{\boldsymbol{X}}_{k-1}+\boldsymbol{\Gamma}_{k-1} \boldsymbol{W}_{k-1}\end{array} X~k/k1=XkX^k/k1=(Φk/k1Xk1+Γk1Wk1)Φk/k1X^k1=Φk/k1(Xk1X^k1)+Γk1Wk1=Φk/k1X~k1+Γk1Wk1
状态预测方差阵:一步预测误差相乘的期望,乘出来有四项,由于两时刻噪声不相关,其中两项为0。所以预测的方差就是上一时刻的方差传递过来 Φ k / k − 1 P k − 1 Φ k / k − 1 T \boldsymbol{\Phi}_{k / k-1} \boldsymbol{P}_{k-1} \boldsymbol{\Phi}_{k / k-1}^{\mathrm{T}} Φk/k1Pk1Φk/k1T,加上当前误差 Γ k − 1 Q k − 1 Γ k − 1 T \boldsymbol{\Gamma}_{k-1} \boldsymbol{Q}_{k-1} \boldsymbol{\Gamma}_{k-1}^{\mathrm{T}} Γk1Qk1Γk1T
P k / k − 1 = E [ X ~ k / k − 1 X ~ k / k − 1 T ] = E [ ( Φ k / k − 1 X ~ k − 1 + Γ k − 1 W k − 1 ) ( Φ k / k − 1 X ~ k − 1 + Γ k − 1 W k − 1 ) T ] = Φ k / k − 1 E [ X ~ k − 1 X ~ k − 1 T ] Φ k / k − 1 T + Γ k − 1 E [ W k − 1 W k − 1 T ] Γ k − 1 T = Φ k / k − 1 P k − 1 Φ k / k − 1 T + Γ k − 1 Q k − 1 Γ k − 1 T \begin{aligned} \boldsymbol{P}_{k / k-1} & =\mathrm{E}\left[\tilde{\boldsymbol{X}}_{k / k-1} \tilde{\boldsymbol{X}}_{k / k-1}^{\mathrm{T}}\right] \\ & =\mathrm{E}\left[\left(\boldsymbol{\Phi}_{k / k-1} \tilde{\boldsymbol{X}}_{k-1}+\boldsymbol{\Gamma}_{k-1} \boldsymbol{W}_{k-1}\right)\left(\boldsymbol{\Phi}_{k / k-1} \tilde{\boldsymbol{X}}_{k-1}+\boldsymbol{\Gamma}_{k-1} \boldsymbol{W}_{k-1}\right)^{\mathrm{T}}\right] \\ & =\boldsymbol{\Phi}_{k / k-1} \mathrm{E}\left[\tilde{\boldsymbol{X}}_{k-1} \tilde{\boldsymbol{X}}_{k-1}^{\mathrm{T}}\right] \boldsymbol{\Phi}_{k / k-1}^{\mathrm{T}}+\boldsymbol{\Gamma}_{k-1} \mathrm{E}\left[\boldsymbol{W}_{k-1} \boldsymbol{W}_{k-1}^{\mathrm{T}}\right] \boldsymbol{\Gamma}_{k-1}^{\mathrm{T}} \\ & =\boldsymbol{\Phi}_{k / k-1} \boldsymbol{P}_{k-1} \boldsymbol{\Phi}_{k / k-1}^{\mathrm{T}}+\boldsymbol{\Gamma}_{k-1} \boldsymbol{Q}_{k-1} \boldsymbol{\Gamma}_{k-1}^{\mathrm{T}} \end{aligned} Pk/k1=E[X~k/k1X~k/k1T]=E[(Φk/k1X~k1+Γk1Wk1)(Φk/k1X~k1+Γk1Wk1)T]=Φk/k1E[X~k1X~k1T]Φk/k1T+Γk1E[Wk1Wk1T]Γk1T=Φk/k1Pk1Φk/k1T+Γk1Qk1Γk1T

3、状态量测

量测:量测值带入量测方程,同样忽略高斯白噪声的影响:
Z ^ k / k − 1 = H k X ^ k / k − 1 \hat{\boldsymbol{Z}}_{k / k-1}=\boldsymbol{H}_{k} \hat{\boldsymbol{X}}_{k / k-1} Z^k/k1=HkX^k/k1
量测误差
Z ~ k / k − 1 = Z k − Z ^ k / k − 1 = ( H k X k + V k ) − H k X ^ k / k − 1 = H k X ~ k / k − 1 + V k \begin{aligned} \tilde{\boldsymbol{Z}}_{k / k-1} & =\boldsymbol{Z}_{k}-\hat{\boldsymbol{Z}}_{k / k-1}=\left(\boldsymbol{H}_{k} \boldsymbol{X}_{k}+\boldsymbol{V}_{k}\right)-\boldsymbol{H}_{k} \hat{\boldsymbol{X}}_{k / k-1} =\boldsymbol{H}_{k} \tilde{\boldsymbol{X}}_{k / k-1}+\boldsymbol{V}_{k}\end{aligned} Z~k/k1=ZkZ^k/k1=(HkXk+Vk)HkX^k/k1=HkX~k/k1+Vk
量测方差阵
P Z Z , k / k − 1 = E [ Z ~ k / k − 1 Z ~ k / k − 1 T ] = E [ ( H k X ~ k / k − 1 + V k ) ( H k X ~ k / k − 1 + V k ) T ] = H k E [ X ~ k / k − 1 X ~ k / k − 1 T ] H k T + E [ V k V k T ] = H k P k / k − 1 H k T + R k \begin{aligned} \boldsymbol{P}_{Z Z, k / k-1} & =\mathrm{E}\left[\tilde{\boldsymbol{Z}}_{k / k-1} \tilde{\boldsymbol{Z}}_{k / k-1}^{\mathrm{T}}\right] \\ & =\mathrm{E}\left[\left(\boldsymbol{H}_{k} \tilde{\boldsymbol{X}}_{k / k-1}+\boldsymbol{V}_{k}\right)\left(\boldsymbol{H}_{k} \tilde{\boldsymbol{X}}_{k / k-1}+\boldsymbol{V}_{k}\right)^{\mathrm{T}}\right] \\ & =\boldsymbol{H}_{k} \mathrm{E}\left[\tilde{\boldsymbol{X}}_{k / k-1} \tilde{\boldsymbol{X}}_{k / k-1}^{\mathrm{T}}\right] \boldsymbol{H}_{k}^{\mathrm{T}}+\mathrm{E}\left[\boldsymbol{V}_{k} \boldsymbol{V}_{k}^{\mathrm{T}}\right] \\ & =\boldsymbol{H}_{k} \boldsymbol{P}_{k / k-1} \boldsymbol{H}_{k}^{\mathrm{T}}+\boldsymbol{R}_{k}\end{aligned} PZZ,k/k1=E[Z~k/k1Z~k/k1T]=E[(HkX~k/k1+Vk)(HkX~k/k1+Vk)T]=HkE[X~k/k1X~k/k1T]HkT+E[VkVkT]=HkPk/k1HkT+Rk
量测互协方差XZ 之间,状态的一步预测误差和量测之间的互协方差

一般不为0,为0就没有滤波的必要了

P X Z , k / k − 1 = E [ X ~ k / k − 1 Z ~ k / k − 1 T ] = E [ X ~ k / k − 1 ( H k X ~ k / k − 1 + V k ) T ] = P k / k − 1 H k T \begin{array}{l}\boldsymbol{P}_{X Z, k / k-1}=\mathrm{E}\left[\tilde{\boldsymbol{X}}_{k / k-1} \tilde{\boldsymbol{Z}}_{k / k-1}^{\mathrm{T}}\right] \\ \quad=\mathrm{E}\left[\tilde{\boldsymbol{X}}_{k / k-1}\left(\boldsymbol{H}_{k} \tilde{\boldsymbol{X}}_{k / k-1}+\boldsymbol{V}_{k}\right)^{\mathrm{T}}\right] \\ \quad=\boldsymbol{P}_{k / k-1} \boldsymbol{H}_{k}^{\mathrm{T}}\end{array} PXZ,k/k1=E[X~k/k1Z~k/k1T]=E[X~k/k1(HkX~k/k1+Vk)T]=Pk/k1HkT

4、增益矩阵K与状态估计

假设滤波方程可以写成 状态预测+K量测修正 形式, K {\color{red}K} K 矩阵先待定

状态估计
X ^ k = X ^ k / k − 1 + K k Z k ~ = X ^ k / k − 1 + K k ( Z k − H k X ^ k / k − 1 ) \hat{\boldsymbol{X}}_{k}=\hat{\boldsymbol{X}}_{k / k-1}+{\color{red}\boldsymbol{K}_{k} }\tilde{{\boldsymbol{Z}}_{k}}=\hat{\boldsymbol{X}}_{k / k-1}+{\color{red}\boldsymbol{K}_{k}}\left(\boldsymbol{Z}_{k}-\boldsymbol{H}_{k} \hat{\boldsymbol{X}}_{k / k-1}\right) X^k=X^k/k1+KkZk~=X^k/k1+Kk(ZkHkX^k/k1)
状态估计误差
X ~ k = X k − X ^ k = X k − [ X ^ k / k − 1 + K k ( Z k − H k X ^ k / k − 1 ) ] = X ~ k / k − 1 − K k ( H k X k + V k − H k X ^ k / k − 1 ) = ( I − K k H k ) X ~ k / k − 1 − K k V k \begin{aligned} \tilde{\boldsymbol{X}}_{k} & =\boldsymbol{X}_{k}-\hat{\boldsymbol{X}}_{k}=\boldsymbol{X}_{k}-\left[\hat{\boldsymbol{X}}_{k / k-1}+{\color{red}\boldsymbol{K}_{k}}\left(\boldsymbol{Z}_{k}-\boldsymbol{H}_{k} \hat{\boldsymbol{X}}_{k / k-1}\right)\right] \\ & =\tilde{\boldsymbol{X}}_{k / k-1}-{\color{red}\boldsymbol{K}_{k}}\left(\boldsymbol{H}_{k} \boldsymbol{X}_{k}+\boldsymbol{V}_{k}-\boldsymbol{H}_{k} \hat{\boldsymbol{X}}_{k / k-1}\right)=\left(\boldsymbol{I}-\boldsymbol{K}_{k} \boldsymbol{H}_{k}\right) \tilde{\boldsymbol{X}}_{k / k-1}-{\color{red}\boldsymbol{K}_{k}} \boldsymbol{V}_{k}\end{aligned} X~k=XkX^k=Xk[X^k/k1+Kk(ZkHkX^k/k1)]=X~k/k1Kk(HkXk+VkHkX^k/k1)=(IKkHk)X~k/k1KkVk
状态估计方差阵
P k = E [ X ~ k X ~ k T ] = E { [ ( I − K k H k ) X ~ k / k − 1 − K k V k ] [ ( I − K k H k ) X ~ k / k − 1 − K k V k ] T } = ( I − K k H k ) E [ X ~ k / k − 1 X ~ k / k − 1 T ] ( I − K k H k ) T + K k E [ V k V k T ] K k T = ( I − K k H k ) P k / k − 1 ( I − K k H k ) T + K k R k K k T \begin{aligned} \boldsymbol{P}_{k} &= \mathrm{E}\left[\tilde{\boldsymbol{X}}_{k} \tilde{\boldsymbol{X}}_{k}^{\mathrm{T}}\right] \\ & =\mathrm{E}\left\{\left[\left(\boldsymbol{I}-{\color{red}\boldsymbol{K}_{k}} \boldsymbol{H}_{k}\right) \tilde{\boldsymbol{X}}_{k / k-1}-{\color{red}\boldsymbol{K}_{k}} \boldsymbol{V}_{k}\right]\left[\left(\boldsymbol{I}-\boldsymbol{K}_{k} \boldsymbol{H}_{k}\right) \tilde{\boldsymbol{X}}_{k / k-1}-{\color{red}\boldsymbol{K}_{k} }\boldsymbol{V}_{k}\right]^{\mathrm{T}}\right\} \\ & =\left(\boldsymbol{I}-{\color{red}\boldsymbol{K}_{k}}\boldsymbol{H}_{k}\right) \mathrm{E}\left[\tilde{\boldsymbol{X}}_{k / k-1} \tilde{\boldsymbol{X}}_{k / k-1}^{\mathrm{T}}\right]\left(\boldsymbol{I}-{\color{red}\boldsymbol{K}_{k}} \boldsymbol{H}_{k}\right)^{\mathrm{T}}+{\color{red}\boldsymbol{K}_{k}} \mathrm{E}\left[\boldsymbol{V}_{k} \boldsymbol{V}_{k}^{\mathrm{T}}\right] {\color{red}\boldsymbol{K}_{k}^{\mathrm{T}}} \\ & =\left(\boldsymbol{I}-{\color{red}\boldsymbol{K}_{k}} \boldsymbol{H}_{k}\right) \boldsymbol{P}_{k / k-1}\left(\boldsymbol{I}-{\color{red}\boldsymbol{K}_{k}} \boldsymbol{H}_{k}\right)^{\mathrm{T}}+{\color{red}\boldsymbol{K}_{k}} \boldsymbol{R}_{k} {\color{red}\boldsymbol{K}_{k}^{\mathrm{T}}}\end{aligned} Pk=E[X~kX~kT]=E{[(IKkHk)X~k/k1KkVk][(IKkHk)X~k/k1KkVk]T}=(IKkHk)E[X~k/k1X~k/k1T](IKkHk)T+KkE[VkVkT]KkT=(IKkHk)Pk/k1(IKkHk)T+KkRkKkT
到此,都是假设,在待定 K {\color{red}K} K 的情况下进行状态预测,并算出方差阵,下面就是要求 K {\color{red}K} K

K {\color{red}K} K 矩阵可以取某个值,使状态估计方差 P k \boldsymbol{P}_{k} Pk 达到最小,且保持 P k \boldsymbol{P}_{k} Pk 对称正定。

要理解矩阵最小的含义,得先理解 A A A 矩阵小于 B B B 矩阵的含义: B − A B-A BA 正定

由最优估计的含义可知,等价于求 P k \boldsymbol{P}_{k} Pk 的迹,最小,先展开:
P k = ( I − K k H k ) P k / k − 1 ( I − K k H k ) T + K k R k K k T = P k / k − 1 − K k H k P k / k − 1 − ( K k H k P k / k − 1 ) T + K k ( H k P k / k − 1 H k T + R k ) K k T \begin{aligned} \boldsymbol{P}_{k} & =\left(\boldsymbol{I}-\boldsymbol{K}_{k} \boldsymbol{H}_{k}\right) \boldsymbol{P}_{k / k-1}\left(\boldsymbol{I}-\boldsymbol{K}_{k} \boldsymbol{H}_{k}\right)^{\mathrm{T}}+\boldsymbol{K}_{k} \boldsymbol{R}_{k} \boldsymbol{K}_{k}^{\mathrm{T}} \\ & =\boldsymbol{P}_{k / k-1}-\boldsymbol{K}_{k} \boldsymbol{H}_{k} \boldsymbol{P}_{k / k-1}-\left(\boldsymbol{K}_{k} \boldsymbol{H}_{k} \boldsymbol{P}_{k / k-1}\right)^{\mathrm{T}}+\boldsymbol{K}_{k}\left(\boldsymbol{H}_{k} \boldsymbol{P}_{k / k-1} \boldsymbol{H}_{k}^{\mathrm{T}}+\boldsymbol{R}_{k}\right) \boldsymbol{K}_{k}^{\mathrm{T}}\end{aligned} Pk=(IKkHk)Pk/k1(IKkHk)T+KkRkKkT=Pk/k1KkHkPk/k1(KkHkPk/k1)T+Kk(HkPk/k1HkT+Rk)KkT
再求迹,分解开,就是一个单输入多输出的多元函数:
tr ⁡ ( P k ) = tr ⁡ ( P k / k − 1 ) − tr ⁡ ( K k H k P k / k − 1 ) − tr ⁡ ( ( K k H k P k / k − 1 ) T ) + tr ⁡ ( K k ( H k P k / k − 1 H k T + R k ) K k T ) \begin{aligned} \operatorname{tr}\left(\boldsymbol{P}_{k}\right)= & \operatorname{tr}\left(\boldsymbol{P}_{k / k-1}\right)-\operatorname{tr}\left(\boldsymbol{K}_{k} \boldsymbol{H}_{k} \boldsymbol{P}_{k / k-1}\right) \\ & -\operatorname{tr}\left(\left(\boldsymbol{K}_{k} \boldsymbol{H}_{k} \boldsymbol{P}_{k / k-1}\right)^{\mathrm{T}}\right)+\operatorname{tr}\left(\boldsymbol{K}_{k}\left(\boldsymbol{H}_{k} \boldsymbol{P}_{k / k-1} \boldsymbol{H}_{k}^{\mathrm{T}}+\boldsymbol{R}_{k}\right) \boldsymbol{K}_{k}^{\mathrm{T}}\right)\end{aligned} tr(Pk)=tr(Pk/k1)tr(KkHkPk/k1)tr((KkHkPk/k1)T)+tr(Kk(HkPk/k1HkT+Rk)KkT)
要求多元函数的极值,就是找求导等于 0 0 0 的点,由求导规则:
d d X [ tr ⁡ ( X B ) ] = d d X [ tr ⁡ ( ( X B ) T ) ] = B T d d X [ tr ⁡ ( X A X T ) ] = 2 X A , A 为对称阵时 \begin{array}{l}\frac{\mathrm{d}}{\mathrm{d} \boldsymbol{X}}[\operatorname{tr}(\boldsymbol{X} \boldsymbol{B})]=\frac{\mathrm{d}}{\mathrm{d} \boldsymbol{X}}\left[\operatorname{tr}\left((\boldsymbol{X} \boldsymbol{B})^{\mathrm{T}}\right)\right]=\boldsymbol{B}^{\mathrm{T}} \\ \frac{\mathrm{d}}{\mathrm{d} \boldsymbol{X}}\left[\operatorname{tr}\left(\boldsymbol{X} \boldsymbol{A} \boldsymbol{X}^{\mathrm{T}}\right)\right]=2 \boldsymbol{X} \boldsymbol{A},A为对称阵时\end{array} dXd[tr(XB)]=dXd[tr((XB)T)]=BTdXd[tr(XAXT)]=2XAA为对称阵时
求导得:
d d K k [ tr ⁡ ( P k ) ] = 0 − ( H k P k / k − 1 ) T − ( H k P k / k − 1 ) T + 2 K k ( H k P k / k − 1 H k T + R k ) = 0 \frac{\mathrm{d}}{\mathrm{d} \boldsymbol{K}_{k}}\left[\operatorname{tr}\left(\boldsymbol{P}_{k}\right)\right]=\mathbf{0}{\color{green}-\left(\boldsymbol{H}_{k} \boldsymbol{P}_{k / k-1}\right)^{\mathrm{T}}-\left(\boldsymbol{H}_{k} \boldsymbol{P}_{k / k-1}\right)^{\mathrm{T}}}+2 {\color{red}\boldsymbol{K}_{k}}\left(\boldsymbol{H}_{k} \boldsymbol{P}_{k / k-1} \boldsymbol{H}_{k}^{\mathrm{T}}+\boldsymbol{R}_{k}\right)=\mathbf{0} dKkd[tr(Pk)]=0(HkPk/k1)T(HkPk/k1)T+2Kk(HkPk/k1HkT+Rk)=0
绿色的部分为移到左边,两边除以 2 得:
P k / k − 1 H k T = K k ( H k P k / k − 1 H k T + R k ) \boldsymbol{P}_{k / k-1} \boldsymbol{H}_{k}^{\mathrm{T}}={\color{red}\boldsymbol{K}_{k}}\left(\boldsymbol{H}_{k} \boldsymbol{P}_{k / k-1} \boldsymbol{H}_{k}^{\mathrm{T}}+\boldsymbol{R}_{k}\right) Pk/k1HkT=Kk(HkPk/k1HkT+Rk)

要求出 K {\color{red}K} K ,需要 K {\color{red}K} K 后面部分可逆,即量测噪声 R k \boldsymbol{R}_{k} Rk 要正定;前面的 H k P k / k − 1 H k \boldsymbol{H}_{k} \boldsymbol{P}_{k / k-1} \boldsymbol{H}_{k} HkPk/k1Hk 由于 H k \boldsymbol{H}_{k} Hk 有很多 0 0 0 元素,可逆会不正定,如果加上一个总是正定 R k \boldsymbol{R}_{k} Rk,还能维持整体的正定,继续求逆。

K {\color{red}K} K 后面部分可逆乘到两边:
K k = P k / k − 1 H k T ( H k P k / k − 1 H k T + R k ) − 1 {\color{red}\boldsymbol{K}_{k}}=\boldsymbol{P}_{k / k-1} \boldsymbol{H}_{k}^{\mathrm{T}}\left(\boldsymbol{H}_{k} \boldsymbol{P}_{k / k-1} \boldsymbol{H}_{k}^{\mathrm{T}}+\boldsymbol{R}_{k}\right)^{-1} Kk=Pk/k1HkT(HkPk/k1HkT+Rk)1
将求出的增益矩阵 K K K 带回到最上面状态估计和方差的的方程中,得出Kalman滤波解。

消除一部分元素,可以得到短一些的方差: P k = ( I − K k H k ) P k / k − 1 \boldsymbol{P}_{k}=\left(\boldsymbol{I}-\boldsymbol{K}_{k} \boldsymbol{H}_{k}\right) \boldsymbol{P}_{k / k-1} Pk=(IKkHk)Pk/k1

5、Kalman滤波公式汇总

  1. 状态一步预测: X ^ k ∣ k − 1 = Φ k ∣ k − 1 X ^ k − 1 \hat{\boldsymbol{X}}_{k \mid k-1}=\boldsymbol{\Phi}_{k \mid k-1} \hat{\boldsymbol{X}}_{k-1} X^kk1=Φkk1X^k1

  2. 状态一步预测均方误差: P k / k − 1 = Φ k / k − 1 P k − 1 Φ k / k − 1 T + Γ k − 1 Q k − 1 Γ k − 1 T \boldsymbol{P}_{k / k-1}=\boldsymbol{\Phi}_{k / k-1} \boldsymbol{P}_{k-1} \boldsymbol{\Phi}_{k / k-1}^{\mathrm{T}}+\boldsymbol{\Gamma}_{k-1} \boldsymbol{Q}_{k-1} \boldsymbol{\Gamma}_{k-1}^{\mathrm{T}} Pk/k1=Φk/k1Pk1Φk/k1T+Γk1Qk1Γk1T

  3. 滤波增益: K k = P k / k − 1 H k T ( H k P k / k − 1 H k T + R k ) − 1 \boldsymbol{K}_{k}=\boldsymbol{P}_{k / k-1} \boldsymbol{H}_{k}^{\mathrm{T}}\left(\boldsymbol{H}_{k} \boldsymbol{P}_{k / k-1} \boldsymbol{H}_{k}^{\mathrm{T}}+\boldsymbol{R}_{k}\right)^{-1} Kk=Pk/k1HkT(HkPk/k1HkT+Rk)1

  4. 状态估计: X ^ k = X ^ k / k − 1 + K k ( Z k − H k X ^ k / k − 1 ) \hat{\boldsymbol{X}}_{k}=\hat{\boldsymbol{X}}_{k / k-1}+\boldsymbol{K}_{k}\left(\boldsymbol{Z}_{k}-\boldsymbol{H}_{k} \hat{\boldsymbol{X}}_{k / k-1}\right) X^k=X^k/k1+Kk(ZkHkX^k/k1)

  5. 状态估计均方误差: P k = ( I − K k H k ) P k / k − 1 \boldsymbol{P}_{k}=\left(\boldsymbol{I}-\boldsymbol{K}_{k} \boldsymbol{H}_{k}\right) \boldsymbol{P}_{k / k-1} Pk=(IKkHk)Pk/k1

6、Kalman滤波流程图

在这里插入图片描述

1.划分为左右两部分(一阶矩和二阶矩)

  • 左边一部分滤波计算回路是一阶矩的更新过程,
  • 右边增益计算回路是二阶矩的更新
  • 左边对右边没有影响,右边通过增益矩阵对左边产生影响。有时候数组不好左边计算都崩溃了,对右边都没有影响,还按照模型来计算

2.划分为上下两部分(时间更新、量测更新)

  • 上面是时间更新,之和状态方程有关系。
  • 下面是量测更新,只和量测方程有关系。

7、Kalman滤波计算系统回路图

  • 总的来说,是一个线性系统,输入 Z k Z_{k} Zk,输出 X ^ k \hat{{X}}_{k} X^k
  • 右边部分是时间更新,以系统上一时刻的输出为输入,输出当前时刻的预测状态
  • 左边部分是量测更新
  • Kalman滤波对线性系统来说,是最小方差线性无偏估计

8、Kalman编程计算流程图

  • 如果不是定常系统, Φ k / k − 1 , Γ k − 1 \boldsymbol{\Phi}_{k / k-1}, \boldsymbol{\Gamma}_{k-1} Φk/k1,Γk1, Q k − 1 \boldsymbol{Q}_{k-1} Qk1, H k , R k \boldsymbol{H}_{k}, \boldsymbol{R}_{k} Hk,Rk 都是时变的,需要给出;定常系统作为常数就行。
  • 如果系统非线性,是高阶系统,必须给出初始状态 X ^ 0 , P 0 \hat{\boldsymbol{X}}_{0} ,\boldsymbol{P}_{0} X^0,P0
  • 输出一阶矩、二阶矩
    • 一阶矩、二阶矩能代表系统的全部,随机信号需要时正态分布的
    • 二阶矩是为了下一时刻计算权重(增益矩阵 K K K
  • 量测更新和时间更新可能不同步;常见的是量测更新频率小于时间更新频率。

9、Kalman滤波特性

1.状态估计时量测的线性组合

Kalman滤波是一种递推的公式,,上一时刻可以递推当前时刻,不断递推。以预测和量测加权的方式表示:
X ^ k = X ^ k / k − 1 + K k ( Z k − H k X ^ k / k − 1 ) = ( I − K k H k ) Φ k / k − 1 X ^ k − 1 + K k Z k = G k X ^ k − 1 + K k Z k = G k ( G k − 1 X ^ k − 2 + K k − 1 Z k − 1 ) + K k Z k = G k G k − 1 X ^ k − 2 + G k K k − 1 Z k − 1 + K k Z k = G k G k − 1 G k − 2 X ^ k − 3 + G k G k − 1 K k − 2 Z k − 2 + G k K k − 1 Z k − 1 + K k Z k = ⋯ = ( ∏ i = 1 k G i ) X ^ 0 + ∑ i = 1 k ( ∏ j = i + 1 k G j ) K i Z i \begin{aligned} \hat{\boldsymbol{X}}_{k} & =\hat{\boldsymbol{X}}_{k / k-1}+\boldsymbol{K}_{k}\left(\boldsymbol{Z}_{k}-\boldsymbol{H}_{k} \hat{\boldsymbol{X}}_{k / k-1}\right) \\ & =\left(\boldsymbol{I}-\boldsymbol{K}_{k} \boldsymbol{H}_{k}\right) \boldsymbol{\Phi}_{k / k-1} \hat{\boldsymbol{X}}_{k-1}+\boldsymbol{K}_{k} \boldsymbol{Z}_{k}=\boldsymbol{G}_{k} \hat{\boldsymbol{X}}_{k-1}+\boldsymbol{K}_{k} \boldsymbol{Z}_{k} \\ & =\boldsymbol{G}_{k}\left(\boldsymbol{G}_{k-1} \hat{\boldsymbol{X}}_{k-2}+\boldsymbol{K}_{k-1} \boldsymbol{Z}_{k-1}\right)+\boldsymbol{K}_{k} \boldsymbol{Z}_{k} \\ & =\boldsymbol{G}_{k} \boldsymbol{G}_{k-1} \hat{\boldsymbol{X}}_{k-2}+\boldsymbol{G}_{k} \boldsymbol{K}_{k-1} \boldsymbol{Z}_{k-1}+\boldsymbol{K}_{k} \boldsymbol{Z}_{k} \\ & =\boldsymbol{G}_{k} \boldsymbol{G}_{k-1} \boldsymbol{G}_{k-2} \hat{\boldsymbol{X}}_{k-3}+\boldsymbol{G}_{k} \boldsymbol{G}_{k-1} \boldsymbol{K}_{k-2} \boldsymbol{Z}_{k-2}+\boldsymbol{G}_{k} \boldsymbol{K}_{k-1} \boldsymbol{Z}_{k-1}+\boldsymbol{K}_{k} \boldsymbol{Z}_{k} \\ & =\cdots \\ & =\left(\prod_{i=1}^{k} \boldsymbol{G}_{i}\right) \hat{\boldsymbol{X}}_{0}+\sum_{i=1}^{k}\left(\prod_{j=i+1}^{k} \boldsymbol{G}_{j}\right) \boldsymbol{K}_{i} \boldsymbol{Z}_{i}\end{aligned} X^k=X^k/k1+Kk(ZkHkX^k/k1)=(IKkHk)Φk/k1X^k1+KkZk=GkX^k1+KkZk=Gk(Gk1X^k2+Kk1Zk1)+KkZk=GkGk1X^k2+GkKk1Zk1+KkZk=GkGk1Gk2X^k3+GkGk1Kk2Zk2+GkKk1Zk1+KkZk==(i=1kGi)X^0+i=1k(j=i+1kGj)KiZi
如果初值 X ^ 0 \hat{\boldsymbol{X}}_{0} X^0 取值 0 0 0 ,当前的估计值就是前面所有量测值 Z i \boldsymbol{Z_i} Zi 的线性组合

2.正交投影性质

  • Kalman滤波估计就是预测和量测的加权平均。
  • 量测是一条矢量、预测也是一条矢量,前面乘上加权系数再相加。
  • 无论前面系数是多少,相加得到的估计值都在同一个平面上。
  • 真实的状态也是空间中一条矢量。
  • 要使估计值和真值直接的误差最小,即在平面上取到平面外一点距离最小的点,就是取正交投影点。

3.新息向量是零矩阵白噪声序列

{ E [ Z ~ k / k − 1 ] = 0 E [ Z ~ k / k − 1 Z ~ j / j − 1 T ] = ( H k P k / k − 1 H k T + R k ) δ k j \left\{\begin{array}{l}\mathrm{E}\left[\tilde{\boldsymbol{Z}}_{k / k-1}\right]=\mathbf{0} \\ \mathrm{E}\left[\tilde{\boldsymbol{Z}}_{k / k-1} \tilde{\boldsymbol{Z}}_{j / j-1}^{\mathrm{T}}\right]=\left(\boldsymbol{H}_{k} \boldsymbol{P}_{k / k-1} \boldsymbol{H}_{k}^{\mathrm{T}}+\boldsymbol{R}_{k}\right) \delta_{k j}\end{array}\right. E[Z~k/k1]=0E[Z~k/k1Z~j/j1T]=(HkPk/k1HkT+Rk)δkj

10、带确定性输入的Kalman滤波

状态空间模型:
{ X k = Φ k / k − 1 X k − 1 + B k − 1 u k − 1 + Γ k − 1 W k − 1 Z k = H k X k + Y k + V k \left\{\begin{array}{l}\boldsymbol{X}_{k}=\boldsymbol{\Phi}_{k / k-1} \boldsymbol{X}_{k-1}+{\color{red}\boldsymbol{B}_{k-1} \boldsymbol{u}_{k-1}}+\boldsymbol{\Gamma}_{k-1} \boldsymbol{W}_{k-1} \\ \boldsymbol{Z}_{k}=\boldsymbol{H}_{k} \boldsymbol{X}_{k}+{\color{red}\boldsymbol{Y}_{k}}+\boldsymbol{V}_{k}\end{array}\right. {Xk=Φk/k1Xk1+Bk1uk1+Γk1Wk1Zk=HkXk+Yk+Vk
滤波方程,只有和一阶矩有关的部分需要改动:
{ X ^ k / k − 1 = Φ k / k − 1 X ^ k − 1 + B k − 1 u k − 1 P k / k − 1 = Φ k / k − 1 P k − 1 Φ k / k − 1 T + Γ k − 1 Q k − 1 Γ k − 1 T K k = P k / k − 1 H k T ( H k P k / k − 1 H k T + R k ) − 1 X ^ k = X ^ k / k − 1 + K k ( Z k − Y k − H k X ^ k / k − 1 ) P k = ( I − K k H k ) P k / k − 1 \left\{\begin{array}{l}\hat{\boldsymbol{X}}_{k / k-1}=\boldsymbol{\Phi}_{k / k-1} \hat{\boldsymbol{X}}_{k-1}+{\color{red}\boldsymbol{B}_{k-1} \boldsymbol{u}_{k-1}} \\ \boldsymbol{P}_{k / k-1}=\boldsymbol{\Phi}_{k / k-1} \boldsymbol{P}_{k-1} \boldsymbol{\Phi}_{k / k-1}^{\mathrm{T}}+\boldsymbol{\Gamma}_{k-1} \boldsymbol{Q}_{k-1} \boldsymbol{\Gamma}_{k-1}^{\mathrm{T}} \\ \boldsymbol{K}_{k}=\boldsymbol{P}_{k / k-1} \boldsymbol{H}_{k}^{\mathrm{T}}\left(\boldsymbol{H}_{k} \boldsymbol{P}_{k / k-1} \boldsymbol{H}_{k}^{\mathrm{T}}+\boldsymbol{R}_{k}\right)^{-1} \\ \hat{\boldsymbol{X}}_{k}=\hat{\boldsymbol{X}}_{k / k-1}+\boldsymbol{K}_{k}\left(\boldsymbol{Z}_{k}-{\color{red}\boldsymbol{Y}_{k}}-\boldsymbol{H}_{k} \hat{\boldsymbol{X}}_{k / k-1}\right) \\ \boldsymbol{P}_{k}=\left(\boldsymbol{I}-\boldsymbol{K}_{k} \boldsymbol{H}_{k}\right) \boldsymbol{P}_{k / k-1}\end{array}\right. X^k/k1=Φk/k1X^k1+Bk1uk1Pk/k1=Φk/k1Pk1Φk/k1T+Γk1Qk1Γk1TKk=Pk/k1HkT(HkPk/k1HkT+Rk)1X^k=X^k/k1+Kk(ZkYkHkX^k/k1)Pk=(IKkHk)Pk/k1

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/622270.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

关于如何清理过多索引的思考

今天同事提了一个问题,还是值得思考的,某个作为数据分发的MySQL库,有时候需要在不同的环境中同步创建数据库,但受工具限制,只能做数据同步,索引这些对象则需要单独创建,该数据库的索引太多&…

在 Transformers 中使用约束波束搜索引导文本生成

引言 本文假设读者已经熟悉文本生成领域波束搜索相关的背景知识,具体可参见博文 如何生成文本: 通过 Transformers 用不同的解码方法生成文本。 与普通的波束搜索不同,约束 波束搜索允许我们控制所生成的文本。这很有用,因为有时我们确切地知…

学习笔记之MySQL索引

1、引言 索引是数据库用来提高性能最常用的工具,一般索引本身也很大,不可能全部存于内存中,因此所以往往以文件形式存于磁盘上。 左表是数据表,共两列七条数据。为了加快Col2的查找,可以维护一个右表所示的二叉查找树…

图论与算法(7)最短路径问题

1.最短路径问题 1.1 带权图的最短路径 最短路径问题是指在一个加权图中寻找两个顶点之间的最短路径,其中路径的长度由边的权重确定。 常见的最短路径算法包括: Dijkstra算法:适用于解决单源最短路径问题,即从一个固定的起点到图…

meethigher-阿里邮箱POP3/SMTP服务

最近发现一个问题,小伙伴给我发的邮件,收和回都不及时。于是我现在将所有的邮箱,通过POP3/SMTP协议整合到了一起。再配合小米手环,就能做到邮件无遗漏。 一、邮箱常用协议 邮箱中常用三类协议 POP3 Post Office Protocol versi…

chatgpt赋能python:Python就业学历要求

Python 就业学历要求 Python 是一门广泛应用于数据科学、人工智能、Web 开发和自动化等领域的编程语言,正在迅速成为行业内最受欢迎的语言之一。如果你想进入这些领域从事相关职业,那么 Python 编程技能将是你的一个优势。但是,Python 就业所…

基于SSM+JSP的毕业生就业信息管理系统设计与实现

博主介绍: 大家好,我是一名在Java圈混迹十余年的程序员,精通Java编程语言,同时也熟练掌握微信小程序、Python和Android等技术,能够为大家提供全方位的技术支持和交流。 我擅长在JavaWeb、SSH、SSM、SpringBoot等框架下…

软考A计划-系统架构师-官方考试指定教程-(3/15)

点击跳转专栏>Unity3D特效百例点击跳转专栏>案例项目实战源码点击跳转专栏>游戏脚本-辅助自动化点击跳转专栏>Android控件全解手册点击跳转专栏>Scratch编程案例 👉关于作者 专注于Android/Unity和各种游戏开发技巧,以及各种资源分享&am…

记录--纯CSS实现一个简单又不失优雅的步骤条

这里给大家分享我在网上总结出来的一些知识,希望对大家有所帮助 步骤条是一种用于引导用户按照特定流程完成任务的导航条,在各种分步表单交互场景中广泛应用。先来看一下几个主流前端 UI 框架中步骤条组件的样子: ElementPlus AntDesign Ope…

BCM和board的引脚的区别是什么?如何查看GPIO的BCM和board之间的关系

在树莓派(Raspberry Pi)上使用 GPIO(通用输入输出)时,引脚可以使用两种不同的编号方式:BCM(Broadcom SOC Channel)和board。 BCM 编号:BCM 编号是基于 Broadcom 芯片的引脚编号方式。它使用芯片上的引脚功能编号来标识 GPIO 引脚,这种编号方式是树莓派广泛使用的默认…

Spring事务简介及相关案例

目录 一、事务简介 二、准备数据库 三、创建maven项目,引入依赖和完成相关配置 1. pom.xml文件 2. 创建配置文件 四、编写Java代码 1. Account实体类 2. AccountDao接口 3. AccountService业务类 五、测试 1. 测试方法 2. 测试结果​编辑 往期专栏&…

判断数组中的每个元素是否为正无穷大或负无穷大 numpy.isinf()

【小白从小学Python、C、Java】 【计算机等级考试500强双证书】 【Python-数据分析】 判断数组中的每个元素 是否为正无穷大或负无穷大 numpy.isinf() [太阳]选择题 请问关于以下代码的最后输出的是? import numpy as np a np.array([-np.inf,0,np.inf]) print(&q…

chatgpt赋能python:Python实现文件复制到另一个文件夹下的方法

Python实现文件复制到另一个文件夹下的方法 如果你经常需要复制文件并将它们保存到不同的文件夹下,那么使用Python脚本来执行此任务是一个非常好的选择。Python提供了强大的文件操作功能,使得编写脚本来完成文件操作变得相对简单。在本篇文章中&#xf…

【网站 seo 排名优化】typecho Handsome 主题高排名权重优化方案

前言 前一篇优化文章主要是完成了对于 typecho 各个方面的美化与简单优化,如下: 构造你独一无二的博客美化:typecho joe主题优化日志 而现在博主采用的是 Handsome 主题,相比较 joe 主题,编辑、定制功能更为强大、方便…

华为OD机试真题 JavaScript 实现【合法IP】【牛客练习题】

一、题目描述 IPV4地址可以用一个32位无符号整数来表示,一般用点分方式来显示,点将IP地址分成4个部分,每个部分为8位,表示成一个无符号整数(因此正号不需要出现),如10.137.17.1,是我…

Python中函数的介绍

在Python中,函数的三个要素是:函数名参数返回值 函数名:函数名是函数的标识符,用于唯一标识函数。在定义函数时,需要给函数一个名字,以便后续调用和引用。函数名应遵循命名规则,例如以字母或下划…

HDSLB VPP 23.04 is formally released

1 摘要 近年来随着数字化技术的发展,数据中心以及边缘设备的网络带宽需求越来越高。作为部署在服务入口位置的4层负载均衡器,其性能要求也随之水涨船高。为了应对当前的市场需求,充分利用Intel的软硬件技术和优势,针对4层负载均衡…

一个奇葩的问题

大家好,这里是极客重生,最近遇到一个奇葩的网络问题,分享给大家,看完一定会觉得很奇葩。 问题现象 客户反馈有一个server端S, 两个client端C1, C2, S的iptables规则对C1, C2都是放通的,但是C2无法连接上S&a…

有奖征文 | 夙兴夜寐,铸梦网安

出品|MS08067实验室(www.ms08067.com) 本文作者:潜龙勿用 01 时光荏苒,流年岁月如白驹过隙,不停飞逝于眼前,在这车马星驰的人间,踏入网络安全领域已然三年有余。我也终于从一开始的不…

左移右移 2022年国赛 思维

思路: 简单的思维题,应该从后往前遍历操作。如果后面的对数i操作过,则前面对数i的操作都可以无视。可以通过栈这种数据结构实现后往前遍历。 AC代码: import java.io.*; import java.util.*; public class Main{public static …