线性最优滤波理论 蔡远利 西安交通大学电子信息学部 Spring 2022 Prof.Yuan-Li Cai (XJTU) Linear Optimal Filtering Spring 2020 1/39
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 线性最优滤波理论 蔡远利 西安交通大学电子信息学部 Prof.Yuan-Li Cai (XJTU) Linear Optimal Filtering Spring 2020 1 / 39 Spring 2022
概述Overview离散时间随机系统基本分析。数学描述·基本假设●统计分析2状态估计基本引理最优滤波算法3。一步预测(时间修正)新息(innovation,newinformation)●量测修正。卡尔曼滤波增益·滤波方差。初始化·卡尔曼滤波算法·最优滤波等价公式·两个范例DQa口ing20202/39Prof.Yuan-LiCai(XJTU)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 概述 Overview 1 离散时间随机系统基本分析 数学描述 基本假设 统计分析 2 状态估计基本引理 3 最优滤波算法 一步预测(时间修正) 新息(innovation, new information) 量测修正 卡尔曼滤波增益 滤波方差 初始化 卡尔曼滤波算法 最优滤波等价公式 两个范例 Prof.Yuan-Li Cai (XJTU) Linear Optimal Filtering Spring 2020 2 / 39
数学描述离散时间随机系统基本分析状态方程与量测方程考虑如下系统:(1)Ck+1=Φk+1,k+亚k+1,kuk+IkWk(2)yk+1 = Hk+1h+1 + Uk+1其中:uk为控制信号,是确定性输入;。W称为系统的过程噪声,有时又称为模型噪声,假设为均值为零的高斯不相关噪声序列;W+1称为系统的量测噪声,同样假设它是均值为零的高斯不相关噪声序列DQaProfYiaLICai(XJTU8.20203/39
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 离散时间随机系统基本分析 数学描述 状态方程与量测方程 考虑如下系统: xk+1 = Φk+1,kxk + Ψk+1,kuk + Γkwk (1) yk+1 = Hk+1xk+1 + vk+1 (2) 其中: ♠ uk 为控制信号,是确定性输入; ♠ wk 称为系统的过程噪声,有时又称为模型噪声,假设为均值为零的高斯不相关噪声 序列; ♠ vk+1 称为系统的量测噪声,同样假设它是均值为零的高斯不相关噪声序列. Prof.Yuan-Li Cai (XJTU) Linear Optimal Filtering Spring 2020 3 / 39
离散时间随机系统基本分析基本假设基本假设关于过程噪声Ew] =0cov[wk,w] =Qkokj其中,Q≥0;关于量测噪声E[] = 0cov[Uk,u] =Rkokj其中,R>0;QProf.Yuan-LiCai (XJTUering2020inerOntEler4/39
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 离散时间随机系统基本分析 基本假设 基本假设 关于过程噪声 E[wk] = 0 cov[wk, wj ] = Qkδkj 其中,Qk ≥ 0; 关于量测噪声 E[vk] = 0 cov[vk, vj ] = Rkδkj 其中,Rk > 0; Prof.Yuan-Li Cai (XJTU) Linear Optimal Filtering Spring 2020 4 / 39
离散时间随机系统基本分析基本假设相关性假设假设系统的初始状态ao也是高斯分布的随机矢量,即2o~N(mo,Po)(3)Eaomo二(4)cov[0] = Po进一步还假设(5)cov[wk, U+1] =0.Vk,j≥0(6)cov[wk, ao] =Vk≥00,(7)cov[uk+1,2o]=0,Vk≥ 0DQans2020ProfYLICai(XJTU5/39
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 离散时间随机系统基本分析 基本假设 相关性假设 假设系统的初始状态 x0 也是高斯分布的随机矢量,即 x0 ∼ N(m0,P0). Ex0 = m0 (3) cov[x0] = P0 (4) 进一步还假设 cov[wk, vj+1] = 0, ∀k, j ≥ 0 (5) cov[wk, x0] = 0, ∀k ≥ 0 (6) cov[vk+1, x0] = 0, ∀k ≥ 0 (7) Prof.Yuan-Li Cai (XJTU) Linear Optimal Filtering Spring 2020 5 / 39