前言
写这篇文章是因为自己经过一段时间初步学完了卡尔曼滤波,把自己的一些理解记录下来,针对新手学习,把自己的曾经的困扰以及后来如何理解记录下来,希望能对你有一些启示。文中都用大白话阐述,能够便于理解,就是纯心得记录。本文主要以介绍卡尔曼滤波的五大公式为主,其他算法的解释举例说明网上都非常多,就不复制粘贴赘述了,需要的看这里。因为本人也是小白一枚,如果文章中有出现错误的地方,希望大佬斧正。
卡尔曼滤波解决了什么问题?
卡尔曼滤波器是一种线性的滤波器,所以在算法中都强制假设变量间都是线性关系,那有人要问了?那要解决非线性问题怎么办?那就要用到扩展卡尔曼滤波,这是卡尔曼滤波器的扩展版,解决了非线性的问题。
卡尔曼滤波适用于存在不确定因素的动态系统里找到系统的最优状态解。并且卡尔曼滤波的好处还有很多,只需要在时域里实现,不需要转换到频域等等。
- 不确定因素如何理解:我们生活的世界,存在着各种不确定因素,再精确的测量仪器也会有误差。卡尔曼滤波器中强调的不确定因素主要包括两个部分:1,测量仪器对系统状态测量时存在的误差(观察噪声)
2,系统本身由外接的干扰存在的误差(过程噪声) - 系统的状态如何理解:系统的温度、速度、位置等等都是系统的状态,由他们组成的矩阵称为状态矩阵。
- 最优状态如何理解:对于系统的各个状态的最优估计,也就是最接近真实值的一个估计值。
什么样的问题可以用卡尔曼滤波处理?
1,汽车行驶状态
2,图像识别、目标预测
3,金融学
等等
卡尔曼滤波的五个公式
左边为先验,右边为后验以及更新。
卡尔曼滤波算法中的五大公式的变量介绍
看上面的五个公式,逐一解释其中的变量代表的意义以及公式的由来。
第一个公式:
Xt^_:X代表的是系统的状态矩阵,t代表某个时刻, ^代表(hot)估计,表示这是X的估计值,表示这是X的先验值。(后面有同样的表示也代表同样的意思,就不再赘述了)
F:状态转移矩阵,有什么用呢,用来控制系统的状态的个数,可以这么理解,就是让FXt-1^等于系统的状态。
B:控制矩阵,作用和状态转移矩阵类似。
ut-1:上一时刻的系统的控制量,也就是系统内部产生的控制量。
公式的推导:由系统的状态变量结合系统环境写出计算公式,将计算公式转换成矩阵的形式,就是这个公式的推导过程。
例子:以一个小车的运动为例:小车在某地假设存在两个状态变量:位置s和速度v,那么由高中物理公式有S = V0t+1/2at²,还有Vt = V0+at。其中在每一个时刻的V0即相当于上一时刻的速度即Vt-1。则此时的方程就应该为[St; Vt] = [1 t; 0 1][St-1; Vt-1] + [1/2*t² ; t]*ut-1
第二个公式:
Pt:误差的协方差矩阵,用来传递估计系统状态时(第一个公式)产生的的误差的传递的
Q:误差的协方差矩阵,就是Wt-1的期望值,这个W就是最开始说的不确定因素里的过程噪声。
公式推导:这个公式记住就可以。
第三个公式:
Kt:卡尔曼系数,也叫卡尔曼增益。
H:观察矩阵的控制矩阵,用来控制观察值的。观察值是什么?就是我们用一些测量工具对系统状态变量的测量值。也就是,对于一个状态变量,我们有两种获得方式,1是系统估计出来的,也就是1做的,2就是这个测量仪器测量出来的,这两者都有误差,卡尔曼增益的作用就是让我们在这两个结果中,更加相信哪个结果,然后得到一个相对更接近真实值的结果,也就是有点类似权重的意思。
R:观察协方差矩阵,也就是有最开始讲的测量误差求期望得到的。说是一个矩阵,但通常是一个常数。因为仪器测量存在误差,那每次测量的误差值基本上都是不变的,所以矩阵里的值也都是一个常数值。
公式推导:卡尔曼增益公式的推导比较复杂,由上一个公式逐步推导出来,选择合适的K,使得Pt_的迹最小(即方差最小),然后一步步推导出来,期间用了大量的数学知识,线性代数基础。这里不做介绍,有兴趣的可以查看网上资料。
第四个公式:
Zt:观察矩阵。Zt = H*Xt +vt
用于更新数据,给出系统状态变量的最优估计值。
第五个公式:
I:单位矩阵
更新Pt值,然后再从第一个公式开始迭代循环,直到求出最优解。
这五个公式是卡尔曼滤波的最重要的五个公式,同时也是卡尔曼滤波的五个步骤,将五个步骤头尾相连,迭代循环,就完成了一个最简单的卡尔曼滤波器。
学习卡尔曼滤波中应该知道的数学知识
1.协方差矩阵
协方差矩阵是什么?协方差矩阵-百度百科
看完还是不知道协方差矩阵是什么?简单的说,协方差矩阵就是一个由方差和协方差组成的矩阵。方差在主对角线上,协方差在对应的其他位置。协方差矩阵能充分的体现变量间的关系。举个例子:由A、B、C三个变量组成的3*3的协方差矩阵,ABC三个变量对应的方差为σ²A、σ²B、σ²C,协方差为σAB、σAC、σBC,σAB = σBA,另外两个也相同,所以协方差矩阵是个对称的矩阵,由这三个方差和三个协方差组成的矩阵就是协方差矩阵:
协方差σAB>0则表示A和B是呈正相关的<0则是负相关=0则是无关,独立的。其中A、B、C这样的变量,不是一个数,而是一组数,一组服从某个分布的数,所以才会有方差,协方差。
- 方差的计算:1/m*Σ[(x-平均数)²]
- 协方差的计算(以σAB为例):1/m* Σ[(Ai-A的平均数)*(Bi-B的平均数)]
这样应该就能比较好的理解协方差矩阵了吧。
2.数据融合
数据融合技术-百度百科
在卡尔曼滤波中数据融合的思想主要用于公式三的推导中。举个例子:有两组服从正太分布的数据,Z1的期望 = 30,Z2的期望 = 32,σ1 = 2,σ2 = 4。用这两个数据来估计一下真实的Z是多少?这时候就有Z的表达式:Z^ = Z1+K*(Z2 - Z1),其中K∈[0, 1]。数据融合的思想告诉我们,想要求得一个K值,使得σz的值最小,那么得到的Z^就越接近真实值Z,那么就带入公式求出σ²关于K的表达式,然后对K求导 = 0,解出K值,再带回 Z ^ = Z1+K*(Z2 - Z1)中解出最优值。这个就是数据融合的思想。
卡尔曼滤波的matlab实现
% 利用KalmanFilter估计匀速运动小车的运动状态真实值实例
Z = (1:100); % 设置一个观察值,表示小车的运动距离从1-100
noise = randn(1, 100);
Z = Z + noise; % 加入一些噪声,
X = [0; 0]; % 设置系统状态的初始值
P = [1 0; 0 1]; % 设置状态转移矩阵的初值
A = [1 1; 0 1]; % t为采样频率,设置为1,表示每秒采样一次
Q = [0.0001 0; 0 0.0001]; % 将Q的方差设置的很小,就代表了过程噪声很小,对计算出来的估计值比较相信
H = [1 0]; % 这个为什么是1和0解释过了
R = 1; % 这是观察噪声的协方差矩阵,因为观察噪声基本不会改变,所以设置为一个常数就行
figure;
hold on;
for i = 1:100 % 迭代100次
X_ = A*X; % 没有B和ut-1 暂时不考虑小车的加速度情况
P_ = A*P*A' + Q;
K = P_*H'/(H*P_*H'+R);
X = X_+K*(Z(i)-H*X_);
P = (eye(2)-K*H)*P_;
plot(X(1), X(2), 'r.'); % 画出小车运动的两个状态,估计出小车的最优真实估计状态解
plot(X_(1), X_(2), 'b.'); % 画出小车运动的两个状态,估计出小车的最优预测状态解
hold on;
end
这是一个经典的小车运动状态估计模型,你们可以复制粘贴试试,注释也挺详细的。每次运行的图像可能不会完全一样,因为每次观察值的噪声又会是随机产生的。但是图像大致就是这样的一个图像,经过几次迭代后,结果会趋近与一个比较稳定的值,就为算法给出的小车最优状态解。红色是估计值,蓝色是预测值。
总结
说说自己对卡尔曼滤波的理解吧,最初接触卡尔曼滤波是在目标追踪的时候,需要预测目标的下一个位置点进行打击,这时候我接触的卡尔曼滤波算法,但是当时稀里糊涂的啥也不懂,就是照着网上的教程照猫画虎也整出了个大概,后来又需要用卡尔曼滤波稳定陀螺仪的数据然后就整理总结了这篇文章。当然卡尔曼滤波的应用很广泛,对于预测,即是X_,对于滤波则是X,卡尔曼滤波我的理解,简单来说就是升级版的最小二乘法,用一个类似权重的东西K(卡尔曼系数)来在一次次迭代中找到最优的权重,来权衡计算值和测量值之间的误差,使得误差最小,然后得到需要的最优解。(理解有误的话,轻点喷,,,)
如果文章对你有一点点的启示、帮助的话,不妨点个赞噢😊
参考
高中生能看懂的详细通俗讲解卡尔曼滤波Kalman Filter原理及Python实现教程
bilibili neophack DR_CAN 两位大佬博主相关视频