SLAM问题的解决方案

        概率SLAM问题的解决方案是设计找到一个合适的对观察模型(2)和运动模型(3)的陈述,使得能够高效连续的计算式(4)和(5)的先验和后验概率分布。到目前为止,最常见的表述是在状态空间模型中的一种形式,其带有加性高斯噪声,进而导致了采用扩展卡尔曼滤波器(EKF)来解决SLAM问题。另外一种重要的表述是将(3)中的机器人运动模型的描述成一系列样本点,这些样本点更具有更一般性,是非高斯概率分布。这导致了使用Rao-Blackwellized粒子滤波器,或者叫FastSLAM算法,来解决SLAM问题。当然EKF-SLAM和FastSLAM都是两种很重要的解决方法,更新的方法,也具有潜力的,也已经被提了出来,包括使用信息状态形式的[S. Thrun, Y. Liu, D. Koller, A. Ng, and H. Durrant-Whyte, “Simultaneous localisation and mapping with sparse extended information filters,” Int. J. Robot. Res., vol. 23, no. 7–8, pp. 693–716, 2004]。这些将在本教材的Part II进一步的讨论。

EKF-SLAM

EKF-SLAM方法的基础是描述机器人运动成如下形式

P(\mathbf{x}_{k}|\mathbf{x}_{k-1},\mathbf{u}_{k})\Leftrightarrow \mathbf{x}_{k}=\mathbf{f}(\mathbf{x}_{k-1},\mathbf{u}_{k})+\mathbf{w}_{k}                         (6)

这里\mathbf{f}(\cdot )代表机器人的运动学模型,\mathbf{w}_{k}具有0均值方差为\mathbf{Q}_{k}的加性扰动向量,其为相互不相关的高斯噪声。观测模型表示如下:

P(\mathbf{z}_{k}|\mathbf{x}_{k},\mathbf{m})\Leftrightarrow \mathbf{z}_{k}=\mathbf{h}(\mathbf{x}_{k},\mathbf{m})+\mathbf{v}_{k}                                 (7)

这里\mathbf{h}(\cdot )表示观测函数,\mathbf{v}_{k}具有0均值方差为\mathbf{R}_{k}的加性观测噪声向量,其为相互不相关的高斯噪声。

有了这些定义,标准的EKF模型[G. Dissanayake, P. Newman, H.F. Durrant-Whyte, S. Clark, and M. Csobra, “A solution to the simultaneous localisation and mapping (SLAM) problem,” IEEE Trans. Robot. Automat., vol. 17, no. 3, pp. 229–241, 2001][P.S. Maybeck, Stochastic Models, Estimaton and Control, vol. I. New York: Academic 1979.]可以被用于计算下面的均值

\begin{bmatrix} \mathbf{\hat{x}}_{k|k}\\ \mathbf{\hat{m}}_{k} \end{bmatrix}=E\begin{bmatrix} \begin{matrix} \mathbf{x}_{k}\\ \mathbf{m} \end{matrix}|\mathbf{Z}_{0:k} \end{bmatrix}

协方差,其为P(\mathbf{x}_{k},\mathbf{m}|\mathbf{Z}_{0:k},\mathbf{U}_{0:k},\mathbf{x}_{0})的联合后验概率分布

\mathbf{P}_{k|k}=\begin{bmatrix} \mathbf{P}_{xx} &\mathbf{P}_{xm} \\ \mathbf{P}_{xm}^{T}&\mathbf{P}_{mm} \end{bmatrix}_{k|k}=\begin{bmatrix} \begin{pmatrix} \mathbf{x}_{k}-\mathbf{\hat{x}}_{k}\\ \mathbf{m}-\mathbf{\hat{m}}_{k} \end{pmatrix}\begin{pmatrix} \mathbf{x}_{k}-\mathbf{\hat{x}}_{k}\\ \mathbf{m}-\mathbf{\hat{m}}_{k} \end{pmatrix}^{T}|\mathbf{Z}_{0:k} \end{bmatrix}

时间更新

\mathbf{\hat{x}}_{k|k-1}=\mathbf{f}(\mathbf{\hat{x}}_{k-1|k-1},\mathbf{u}_{k})                                                      (8)

\mathbf{P}_{xx,k|k-1}= \bigtriangledown \mathbf{f}\mathbf{P}_{xx,k-1|k-1}\bigtriangledown \mathbf{f}^{T}+\mathbf{Q}_{k}                              (9)

这里\bigtriangledown \mathbf{f}\mathbf{f}函数在\mathbf{\hat{x}}_{k-1|k-1}的雅可比矩阵。一般来说静态的路标是不需要执行时间更新的。(但是,对于运动的路标是必须进行时间更新的[C.C. Wang, C. Thorpe, and S. Thrun, “On-line simultaneous localisation and mapping with detection and tracking of moving objects,” in

  • 2
    点赞
  • 4
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

_IRONMAN_

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值