卡尔曼滤波原理及应用(一)

一.状态空间方程

        系统的状态空间方程描述了系统的动态行为和状态演化过程。它由两个方程组成:状态方程和观测方程。系统的状态空间表达式简写为:

        eq?%5Cleft%5C%7B%5Cbegin%7Bmatrix%7D%20%5Cdot%7Bx%7D%28t%29%3DAx%28t%29+Bu%28t%29%26%20%5C%5C%20y%28t%29%3DCx%28t%29+Du%28t%29%26%20%5Cend%7Bmatrix%7D%5Cright.

变量描述如下:

  • x(t) 是系统的状态向量,表示系统在时间 𝑡的状态。
  • 𝑢(𝑡) 是系统的输入向量,表示系统在时间 𝑡的输入。
  • 𝑦(𝑡) 是系统的输出向量,表示系统在时间 𝑡的观测输出。
  • A 是状态矩阵,描述系统状态的演化规律。
  • B 是输入矩阵,描述输入对系统状态的影响。
  • C 是观测矩阵,描述状态对观测输出的映射关系。
  • D 是直接传递矩阵,描述输入对观测输出的直接影响。

框图如下:

 4b3a46f73a0e44b69c1ce3c4ec5380ff.png

        观测器(也称为状态观测器)是一种用于估计系统状态的非递归算法。观测器通常基于系统的输出(观测)和已知的系统模型,通过最小化观测误差来估计系统的状态。观测器可以是线性的或非线性的,它们的设计依赖于系统的特性和观测数据的可用性,下图为一个开环的观测器:

0b2ac080b3ab497cb11a270e31278b57.png

        事实上,若没有反馈的话,开环观测器的误差会不断增大,最后导致观测器不再贴合观测的系统,我们可以引入反馈环节用于修正误差。卡尔曼滤波器可以看作是一种特殊的观测器,它利用系统的动态模型和观测数据来估计状态。卡尔曼滤波器中的状态估计和协方差更新步骤与观测器中的状态估计和观测误差最小化步骤类似。在卡尔曼观测器中,反馈增益K就为卡尔曼增益:

b150406c7b0f43a487908c9480c03ee8.png

其中eq?%5Ctilde%7Bx%7D为引入反馈增益修正后的后验估计,eq?%5Chat%7Bx%7D为先验估计。在没有反馈机制的情况下,观测器的输出不会受到状态估计误差的修正。如果观测噪声较大或者观测模型不准确,观测器的输出可能会与真实状态之间存在较大的误差。随着时间的推移,这些误差可能会逐渐累积并导致状态估计的误差增大。因此在引入反馈增益K的基础上,将上述框图改为离散化得到:

因此,要确定的就是卡尔曼增益K。

二.理论推导部分

        由上图可知,卡尔曼滤波器,实际上就是反馈增益K为卡尔曼增益的观测器,核心在于找到一个K使得误差的协方差最小,记后验估计误差如下:

eq?e_%7Bk%7D%3Dx_%7Bk%7D-%5Ctilde%7Bx%7D_%7Bk%7D

        当eq?Deq?e_%7Bk%7D)越小时,也就是误差协方差越小时,观测器越逼近于真实系统,故实际需要求的卡尔曼增益就是使得eq?Deq?e_%7Bk%7D)最小时的eq?K,即:

eq?D%28e_%7Bk%7D%29%3DE%28e_%7Bk%7De_%7Bk%7D%5E%7BT%7D%29%3DE%28%5Bx_%7Bk%7D-%5Ctilde%7Bx%7D_%7Bk%7D%5D%5Bx_%7Bk%7D-%5Ctilde%7Bx%7D_%7Bk%7D%5D%5ET%29

考虑过程噪声以及观测噪声,得到系统的状态空间方程:

eq?%5Cleft%5C%7B%5Cbegin%7Bmatrix%7D%20x_%7Bk+1%7D%3DAx_%7Bk%7D+Bu_%7Bk%7D+v_%7Bk%7D%26%20%5C%5C%20y_%7Bk%7D%3DCx_%7Bk%7D+w_%7Bk%7D%26%20%5Cend%7Bmatrix%7D%5Cright.

        又由于:

eq?%5Ctilde%7Bx%7D_%7Bk%7D%3D%5Chat%7Bx%7D_%7Bk%7D+K%28y_%7Bk%7D-%5Chat%7By%7D_%7Bk%7D%29%3D%5Chat%7Bx%7D_%7Bk%7D+K%28y_%7Bk%7D-C%5Chat%7Bx%7D_%7Bk%7D%29%3D%5Chat%7Bx%7D_%7Bk%7D+K%28Cx_%7Bk%7D+v_%7Bk%7D-C%5Chat%7Bx%7D_%7Bk%7D%29

        则化简得到:

        eq?-%5Ctilde%7Bx%7D_%7Bk%7D%3D-KC%28x_%7Bk%7D-%5Chat%7Bx%7D_%7Bk%7D%29+Kv_%7Bk%7D-%5Chat%7Bx%7D_%7Bk%7D

        两边同时加上eq?%7Bx%7D_%7Bk%7D得到:

        eq?x_%7Bk%7D-%5Ctilde%7Bx%7D_%7Bk%7D%3Dx_%7Bk%7D-%5Chat%7Bx%7D_%7Bk%7D-KC%28x_%7Bk%7D-%5Chat%7Bx%7D_%7Bk%7D%29+Kv_%7Bk%7D%3D%28I-KC%29%28x_%7Bk%7D-%5Chat%7Bx%7D_%7Bk%7D%29+Kv_%7Bk%7D

        记后验误差为:

        记先验误差为:

        其中eq?I为单位矩阵,将本式带入到误差表达式中得到:6fd80ac42c44477695c57cc8135b1ae3.png

        为简化计算,将后验误差协方差矩阵记作eq?P_%7Bk%7D,先验误差协方差矩阵记作eq?P_%7Bk%7D%5E%7B-%7D,观测噪声的协方差矩阵为eq?R得到:

60b7946a509348a5abae88c0cf1c1478.png

        最终要求得的最小化的目标值,实际上就是协方差矩阵对角线的元素和:

d34111f03dc747228593e344dfa2210c.png

        化简得到:

a8e0e1eed660475e8eb75a46d2a11f9e.png

        考虑到7bf47020f6d34cc1ab72e8e8812b504a.png则上述方程对卡尔曼增益eq?k求导,解出使误差协方差最小时的卡尔曼增益eq?k

        将所求的卡尔曼增益代入到后验误差协方差矩阵eq?P_%7Bk%7D的表达式中得出:

1147719798db41139af398f41ffa6f49.png

        故在上述所有公式中,唯一还没有确定的只剩下先验误差协方差矩阵eq?P_%7Bk%7D%5E%7B-%7D,确定过程如下:

三.总结

        至此卡尔曼滤波的五个公式均推导完毕,总结一下就是:

1)状态观测器:

2)预测部分:

①先验估计:

②先验协方差误差:

3)校正部分:

①卡尔曼增益:

②更新协方差误差:

1147719798db41139af398f41ffa6f49.png

③后验估计:

308a9818d1cb4e7e91f83b4517274ed8.png

 参考:

从理论到实践!轮趣科技发布卡尔曼滤波算法教程并提供算法验证平台 - 哔哩哔哩 (bilibili.com)

【卡尔曼滤波器】1_递归算法_Recursive Processing_哔哩哔哩_bilibili

从状态观测器角度理解卡尔曼滤波_观测器论文公式推导-CSDN博客

        

评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值