025卡尔曼滤波中滤波增益与协方差阵的等价形式

本文详细推导了卡尔曼滤波器的关键公式,包括滤波增益和协方差矩阵的等价表达式,展示了如何通过矩阵求逆引理简化计算过程。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

  首先摆放一下前面的求解结果:
(1)Kk=Pk/k−1HkT(HkPk/k−1HkT+Rk)−1 \tag{1} K_k = P_{k/k-1} H_k^T(H_k P_{k/k-1} H_k^T + R_k)^{-1} Kk=Pk/k1HkT(HkPk/k1HkT+Rk)1(1) (2)Pk=(I−KkHk)Pk/k−1 \tag{2} P_k = (I - K_k H_k ) P_{k/k-1} Pk=(IKkHk)Pk/k1(2) Pk=(I−KkHk)Pk/k−1(I−KkHk)T+KkRkKkT P_k = (I - K_kH_k) P_{k/k-1} (I - K_kH_k)^T + K_k R_k K_k^T\\ Pk=(IKkHk)Pk/k1(IKkHk)T+KkRkKkT


  公式(1)代入公式(2)展开的:
(3)Pk=Pk/k−1−Pk/k−1HkT(HkPk/k−1HkT+Rk)−1HkPk/k−1=Pk/k−1−Pk/k−1HkT(Rk+HkPk/k−1HkT)−1HkPk/k−1 \tag{3} \begin{aligned} P_k &= P_{k/k-1} - P_{k/k-1} H_k^T(H_k P_{k/k-1} H_k^T + R_k)^{-1} H_k P_{k/k-1} \\ \\ &= P_{k/k-1} - P_{k/k-1} H_k^T( R_k + H_k P_{k/k-1} H_k^T )^{-1} H_k P_{k/k-1} \\ \end{aligned} Pk=Pk/k1Pk/k1HkT(HkPk/k1HkT+Rk)1HkPk/k1=Pk/k1Pk/k1HkT(Rk+HkPk/k1HkT)1HkPk/k1(3)

  比较矩阵求逆引理:
(A+BCD)−1=A−1−A−1B(C−1+DA−1B)−1DA−1 (A+BCD)^{-1} = A^{-1} - A^{-1}B(C^{-1}+DA^{-1}B)^{-1} DA^{-1} (A+BCD)1=A1A1B(C1+DA1B)1DA1
  可将公式(3)转换为:

(4)Pk=(Pk/k−1−1+HkTRk−1Hk)−1 \tag{4} P_k = (P_{k/k-1}^{-1} + H_k^T R_k^{-1} H_k) ^{-1} Pk=(Pk/k11+HkTRk1Hk)1(4)


  前面已求得:
Pk/k−1HkT=Kk(HkPk/k−1HkT+Rk) P_{k/k-1} H_k^T = K_k(H_k P_{k/k-1} H_k^T + R_k) Pk/k1HkT=Kk(HkPk/k1HkT+Rk)
  两边转置:
HkPk/k−1=(HkPk/k−1HkT+Rk)KkT H_k P_{k/k-1} = (H_k P_{k/k-1} H_k^T + R_k)K^T_k HkPk/k1=(HkPk/k1HkT+Rk)KkT
  将公式(2)并将上式代入可得:

Pk=Pk/k−1−Kk(HkPk/k−1HkT+Rk)KkT P_k = P_{k/k-1} - K_k (H_k P_{k/k-1} H_k^T + R_k)K^T_k Pk=Pk/k1Kk(HkPk/k1HkT+Rk)KkT


  根据矩阵求逆引理的方法构造公式(1):

(5)Kk=Pk/k−1HkT(HkPk/k−1HkT+Rk)−1=[(HkPk/k−1HkT+Rk)(HkT)−1Pk/k−1−1]−1=[Hk+Rk(HkT)−1Pk/k−1−1]−1=[Rk(HkT)−1(HkTRk−1Hk+Pk/k−1−1)]−1=(HkTRk−1Hk+Pk/k−1−1)−1HkTRk−1 \tag{5} \begin{aligned} K_k &= P_{k/k-1} H_k^T(H_k P_{k/k-1} H_k^T + R_k)^{-1}\\ \\ &= [(H_k P_{k/k-1} H_k^T + R_k)(H_k^T)^{-1} P_{k/k-1}^{-1}]^{-1}\\ \\ &= [H_k + R_k(H_k^T)^{-1} P_{k/k-1}^{-1}]^{-1}\\ \\ &= [R_k(H_k^T)^{-1}( H_k^T R_k^{-1} H_k + P_{k/k-1}^{-1})]^{-1}\\ \\ &= ( H_k^T R_k^{-1} H_k + P_{k/k-1}^{-1})^{-1}H_k^T R_k^{-1}\\ \end{aligned} Kk=Pk/k1HkT(HkPk/k1HkT+Rk)1=[(HkPk/k1HkT+Rk)(HkT)1Pk/k11]1=[Hk+Rk(HkT)1Pk/k11]1=[Rk(HkT)1(HkTRk1Hk+Pk/k11)]1=(HkTRk1Hk+Pk/k11)1HkTRk1(5)

  将公式(4)代入公式(5):

Kk=PkHkTRk−1 K_k = P_k H_k^T R_k^{-1} Kk=PkHkTRk1


  总结一下等价形式,对于滤波增益:

Kk=Pk/k−1HkT(HkPk/k−1HkT+Rk)−1Kk=PkHkTRk−1 \begin{aligned} K_k &= P_{k/k-1} H_k^T(H_k P_{k/k-1} H_k^T + R_k)^{-1}\\ \\ K_k &= P_k H_k^T R_k^{-1} \end{aligned} KkKk=Pk/k1HkT(HkPk/k1HkT+Rk)1=PkHkTRk1

  对于协方差阵:

Pk=(I−KkHk)Pk/k−1Pk=Pk/k−1−Kk(HkPk/k−1HkT+Rk)KkTPk=(I−KkHk)Pk/k−1(I−KkHk)T+KkRkKkTPk=(Pk/k−1−1+HkTRk−1Hk)−1 \begin{aligned} P_k &= (I - K_k H_k ) P_{k/k-1} \\ \\ P_k &= P_{k/k-1} - K_k (H_k P_{k/k-1} H_k^T + R_k)K^T_k\\ \\ P_k &= (I - K_kH_k) P_{k/k-1} (I - K_kH_k)^T + K_k R_k K_k^T\\ \\ P_k &= (P_{k/k-1}^{-1} + H_k^T R_k^{-1} H_k) ^{-1}\\ \end{aligned} PkPkPkPk=(IKkHk)Pk/k1=Pk/k1Kk(HkPk/k1HkT+Rk)KkT=(IKkHk)Pk/k1(IKkHk)T+KkRkKkT=(Pk/k11+HkTRk1Hk)1

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值