卡尔曼滤波基础 + 姿态解算

  • 背景

离散控制过程系统,可用一个线性随机微分方程来描述:

系统状态:Z(k)=H X(k)+V(k) 

系统测量值:  Z(k)=H X(k)+V(k)

X(k)是k时刻的系统状态;

U(k)是k时刻对系统的控制量;

AB是系统参数,对于多模型系统,他们为矩阵;

Z(k)是k时刻的测量值,

H 是测量系统的参数,对于多测量系统,H 为矩阵。

W(k)、V(k)分别表示过程和测量的噪声。他们被假设成高斯白噪声(White Gaussian Noise),他们的 方差 分别是Q、R

对于满足上面的条件(线性随机微分系统,过程和测量都是高斯白噪声),卡尔曼滤波器是最优的信息处理器。

  • 卡尔曼五个基本公式

假设现在的系统状态是k,根据系统的模型,可以基于系统的上一状态而预测出现在状态:

预测值:X(k|k-1)=A X(k-1|k-1)+B U(k)

X(k|k-1)是利用上一状态预测的结果;

X(k-1|k-1)是上一状态最优的结果;

U(k):为现在状态的控制量,如果没有控制量,它可以为0;

对应于X(k|k-1)的协方差矩阵:

协方差:P(k|k-1)=AP(k-1|k-1) A^T+Q

P(k|k-1)X(k|k-1)对应的协方差;

P(k-1|k-1)X(k-1|k-1)对应的协方差;

Q是系统过程的协方差;

结合预测值和测量值,我们可以得到现在状态(k)的最优化估算值X(k|k)

最优估计值:X(k|k)= X(k|k-1)+K_g (k) (Z(k)-H X(k|k-1))

Kg为卡尔曼增益(Kalman Gain);

卡尔曼增益:K_g (k)= P(k|k-1) H^T/(HP(k|k-1)H^T+R)

R是测量噪声的协方差;

为了要另卡尔曼滤波器不断的运行下去直到系统过程结束,我们还要更新k状态下X(k|k)的协方差:

协方差更新:P(k|k) =(I-K_g (k) H)P(k|k-1)

其中I为对角元素为1的对角阵,对于单模型单测量,I=1。

当系统进入k+1状态时,P(k|k)就是式2的P(k-1|k-1)

这样,算法就可以自回归的运算下去。

  • 举例

这个姿态解算存在很多问题,不建议实际使用,只建议学习下思想

我们以陀螺仪、加速度计传感器为例,讲解如何实现卡尔曼滤波:

下面我们从卡尔曼滤波的五个基本公式,来一步步推导程序为何这样写:

Step 1 :基于系统的上一状态的预测值

陀螺仪有个静态漂移(而且还是变化的),静态漂移就是静止了没有角速度然后陀螺仪也会输出一个值,这个值肯定是没有意义的,计算时要把它减去:

rate = GyroRate - bias;

减去零骗再经过积分,即可得陀螺仪计算出来的角度:

angle = angle + rate*dt;

其中等号左边 angle 是当前计算出来的角度; 右边 angle 是上一次计算的角度;dt是两次滤波之间的时间间隔;

bias也是一个变化的量,但是就预测来说认为现在的漂移跟上一时刻是相同的即

bias = bias

将两个式子写成矩阵的形式:

我们令:

这样就得到了第一个基本公式:X(k|k-1)=A X(k-1|k-1)+B U(k)


Step 2 :对应于X(k|k-1)的协方差更新

P(k|k-1)=AP(k-1|k-1) A^T+Q

这里首先要给出两个值,一个是漂移的噪声,一个是角度值的噪声,所谓噪声就是数据的方差值

这里的Q为向量的协方差矩阵,即:

因为漂移噪声还有角度噪声是相互独立的,则:

                                                 cov(bias,angle) = 0

                                                 cov(angle,bias) = 0

又因为 cov(x,x) = D(x)

所以上面的协方差矩阵可以简化为:

这里的两个方差值是开始就给出的常数,程序中的定义如下:Q_angle = 9.99999977E-3;Q_bias = 5.49999997E-2;

设:,则:

于是就有如下程序:

P[0][0] += dt * (dt*P[1][1] - P[0][1] - P[1][0] + Q_angle);
P[0][1] -= dt * P[1][1];
P[1][0] -= dt * P[1][1];
P[1][1] += Q_bias * dt;

Step 3 :计算卡尔曼增益

K_g (k)= P(k|k-1) H^T/(HP(k|k-1)H^T+R)

设:,因为是直接测量的,所以设:,则:

程序中先计算分子,然后分子 ÷ 分母:

S = P[0][0] + R_measure;
	
K[0] = P[0][0] / S;
K[1] = P[1][0] / S;

Step 4:计算最优估计值

X(k|k)= X(k|k-1)+K_g (k) (Z(k)-H X(k|k-1))

Z(k)是k时刻的角度测量值,这里既是加速度测量的角度 Acc_Angle;

程序中先计算角度误差,然后再乘增益k:

angle_err = Acc_Angle - angle; //角度误差
	
angle += K[0] * angle_err;
bias  += K[1] * angle_err;

Step 5:更新k状态下X(k|k)的协方差

P(k|k) =(I-K_g (k) H)P(k|k-1)

于是便有如下程序:

P[0][0] -= K[0] * P[0][0];
P[0][1] -= K[0] * P[0][1];
P[1][0] -= K[1] * P[0][0];
P[1][1] -= K[1] * P[0][1];

 程序如下:


float Q_angle;
float Q_bias;
float R_measure;

static float angle;   //角度
static float bias;    //陀螺仪漂移
static float rate;    //角速度
static float P[2][2]; //误差协方差矩阵

void Kalman_Init(void)
{
	Q_angle = 9.99999977E-3;//角度噪声协方差
	Q_bias = 5.49999997E-2; //陀螺仪漂移噪声协方差
	R_measure = 0.03f;	//角度测量噪声

	angle = 0.0f; //复位角度
	bias  = 0.0f; //复位陀螺仪漂移

	P[0][0] = 0.0f; //协方差矩阵
	P[0][1] = 0.0f;
	P[1][0] = 0.0f;
	P[1][1] = 0.0f;

}

//dt:周期
//Gyro:陀螺仪角速度值
//Accel:加速度计算出来的角度
void  Kalman_getAngle(float dt,float Gyro_rate,float Acc_Angle) 
{

	float K[2];		//卡尔曼增益
	float S;		//计算卡尔曼增益时候的分母
	float angle_err;        //计算最优估计值时的角度误差

	/* Step 1 */
	//基于系统的上一状态的预测值
	rate = Gyro_rate - bias;//陀螺仪:角速度 - 角速度漂移
	angle = angle + rate*dt;//陀螺仪角速度积分成的角度=
	
	/* Step 2 */
	//对应于X(k|k-1)的协方差更新
	P[0][0] += dt * (dt*P[1][1] - P[0][1] - P[1][0] + Q_angle);
	P[0][1] -= dt * P[1][1];
	P[1][0] -= dt * P[1][1];
	P[1][1] += Q_bias * dt;

	/* Step 3 */
	//计算卡尔曼增益
	S = P[0][0] + R_measure; //分母
	
	K[0] = P[0][0] / S;
	K[1] = P[1][0] / S;

	/* Step 4 */
	//计算最优估计值
	angle_err = Acc_Angle - angle; //角度误差
	
	angle += K[0] * angle_err;
	bias  += K[1] * angle_err;

	/* Step 5 */
	//更新k状态下X(k|k)的协方差
	P[0][0] -= K[0] * P[0][0];
	P[0][1] -= K[0] * P[0][1];
	P[1][0] -= K[1] * P[0][0];
	P[1][1] -= K[1] * P[0][1];
	
};
<think>好的,我现在要决用户在IAR编译器中遇到的错误:“incomplete type is not allowed”。首先,我需要理这个错误的含义和常见原因。根据我的知识库,这个错误通常发生在代码中使用了未完全定义的类型,比如结构体或联合体声明了但未定义,或者前向声明了某个类型但没有提供完整的定义。 首先,我应该检查用户代码中是否有结构体或联合体的声明但没有定义的情况。比如,如果有一个结构体声明为`struct MyStruct;`,但没有后续的完整定义,那么在需要该结构体大小或成员的地方,编译器就会报这个错误。这时候,需要用户补全结构体的定义,包括成员变量。 其次,检查是否在头文件中只声明了类型而没有包含定义。例如,如果在头文件中使用前向声明,但在使用该类型的源文件中没有包含实际的定义头文件,这也会导致错误。此时,需要确保在使用类型的地方包含了正确的头文件,或者将前向声明替换为完整的定义。 另外,还要考虑typedef的问题。如果用户使用了typedef创建别名,但原始类型未完全定义,同样会引发错误。例如,`typedef struct MyStruct MyType;`之后,如果尝试使用MyType但MyStruct尚未定义,就会出错。需要确保在使用typedef之前,原始类型已经被完整定义。 此外,数组声明中的类型不完整也是一个常见原因。比如声明数组时,如果元素类型未完全定义,编译器无法确定数组的大小,导致错误。需要检查数组声明中的类型是否已经完整定义。 可能还有其他情况,比如在C和C++混合编程时,如果没有正确使用extern "C",或者在头文件中遗漏了必要的包含,也可能导致类型不完整。需要用户检查这些方面。 接下来,我需要将这些可能的原因整理成清晰的决步骤,并给出具体的代码示例,帮助用户理如何修改。同时,根据用户提供的引用内容,虽然引用[1]和引用[2]是关于其他错误的,但用户可能希望看到类似的结构,即分点说明决方案,并引用相关资源。 最后,生成相关问题,帮助用户进一步了可能相关的编译错误,比如类型未定义、前向声明问题等。这样用户可以有更全面的认识,预防其他类似错误的发生。</think>### IAR编译器错误'incomplete type is not allowed'决方案 该错误表示代码中使用了**未完全定义的类型**,编译器无法确定其内存布局或成员信息。以下是具体原因及决方法: #### 1. 结构体/联合体未定义完整 若声明了结构体但未定义成员,在实例化时会报错: ```c struct MyStruct; // 前向声明不完整 struct MyStruct var; // 错误:使用未完成类型 ``` **决方案**:补全类型定义 ```c struct MyStruct { int id; char name[20]; }; ``` #### 2. 头文件包含缺失 当跨文件使用类型时,需确保定义可见: ```c // file.h struct Data; // 前向声明 // file.c struct Data { // 实际定义 int value; }; ``` **决方案**:在使用该类型的文件中包含定义头文件 ```c #include "file.c" // 包含实际定义 ``` #### 3. typedef别名问题 使用typedef时原始类型必须完整: ```c typedef struct Node NodeT; // 前向声明 NodeT* ptr; // 允许指针声明 NodeT instance; // 错误:不完整类型 ``` **决方案**:先完成类型定义再typedef ```c struct Node { int data; struct Node* next; }; typedef struct Node NodeT; ``` #### 4. 数组声明不完整 数组元素类型必须完全定义: ```c struct Element; struct Element arr[10]; // 错误:元素类型未定义 ``` **决方案**: ```c struct Element { int type; float value; }; struct Element arr[10]; // 合法 ``` #### 调试建议 1. 在IAR工程中搜索错误行号定位问题代码 2. 使用Go to Definition功能追踪类型定义 3. 检查所有头文件包含链 4. 确认没有循环依赖的头文件 编译器需要知道类型的完整信息才能: - 计sizeof大小 - 分配内存空间 - 访问成员变量 - 进行类型对齐 [^1]: 类似类型转换错误可参考浮点转整型的类型适配问题。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值