0%

激光SLAM 前端配准方法 - 基于势场的方法

最近工作又搬家比较忙,趁周末有空继续学习一下。本文是我在学习深蓝学院的激光slam课程前端配准第二部分的学习笔记,第一部分中主要是学习了如何用 ICP 及其变种来进行前后两帧点云匹配,具体可以看我的上一篇笔记,这一部分主要是介绍了前端配准的另一个方法——基于势场的方法。相较于 ICP 方法,这种匹配方法不需要找到两个点云之间的对应点的匹配的关系,这两种方法都在实际使用中有涉及。本次学习的基于势场的匹配算法有:高斯牛顿优化方法、NDT 方法,相关匹配方法及分支定界加速。

高斯牛顿优化方法

基本原则 & 数学描述

HectorSLAN 使用的是这种方法。根据基于优化方法,只要给定一个目标函数,我们可以把激光帧间的匹配问题转换为求解目标函数的极值问题(通常是求最小值):

其中, T 表示当前机器人的位姿矩阵 $T = T(Tx, T_y, T\theta)$, $S_{i}(T)$ 表示将激光点 i 通过 T 转换后的坐标(可以认为是地图坐标),$M(x)$ 表示得到当前坐标下的地图的占用概率,这个值可以认为是转换后的坐标离真实值的相差程度,离真实值越近值越大,具体的计算方法是通过查表求得该点的值,注意这里并不是找某对点的匹配程度,而是比较两个地图。

目标函数求解

如上所示,我们的目标函数为:

其中,假设 $pi = (p{ix}, p_{iy})$ 表示第 i 个激光点的坐标,则有:

因为 $M(S_{i}(T))$ 为非线性函数,求极值需要对其进行一阶泰勒展开,则有:

对于上述线性方程,求极值可以通过求其对 $\Delta{T}$ 的导数,并使之为0,前两项和变量无关,直接去掉,
令:

则有:

即:

我们需要求解上式得到 $\Delta{T}$,然后令 $T = T + \Delta{T}$,进行迭代即可。展开上式得:

令:

则上式可以简化为:$H\Delta{T} = b$,两边同乘$H^{-1}$,则有:

其中,

最后一项常数可以不管(求导等于0, 最后补一行 0即可),对其求导有:

至此,在上式($\Delta{T}$ 求解)中,除了 $\nabla{M(S{i}(T))}$ 以外,其他变量都是已知,下面进行 $\nabla{M(S{i}(T))}$ 求解。我们知道 $S{i}(T)$ 表示地图坐标点, $M(S{i}(T))$ 表示该点的地图势场值(离点云真实值越近值越大),在计算势场值的时候,我们通常是把地图离散化变成一个二维(三维)的矩阵用来表示地图各点的势场值,这个值通过查表得出,$\nabla{M(S{i}(T))}$ 表示地图势场对该点的导数,对于 $\nabla{M(S{i}(T))}$ 和部分 $M(S_{i}(T))$ (不在矩阵离散点内的),需要对地图进行插值。

地图双线性插值

如下图所示,假设我们要求 $P_m$ 的势场值以及对应导数的值,我们需要对离散地图进行差值,这里我们使用拉格朗日插值法分别对 X, Y 两个方向进行插值,是一维线性插值的推广

朗格朗日插值方法 - 一维线性插值

拉格朗日插值的方法的主要特点是将插值多项式表示成基函数的线性组合:

其中,基函数 $l_i(x)$ 满足以下条件:

朗格朗日插值方法 - 基函数构造

通过上面式子,我们可以将基函数构造成:

显然这个式子满足上述条件,因为有$l_i(x_i) = 1$,有:

则:

朗格朗日插值方法 - 双线性插值

设平面中有四个点及其势场值:

我们定义一个新的坐标:

则在这个坐标系下有:

根据上一部分的方法构造基函数:

通过上一部分,插值函数为:

地图插值

将上述插值方式转换为原来的坐标系有:

其对 x 和 y 的偏导数分别为:

至此,我们可以求得 $\nabla{M(S{i}(T))}$ 和 $M(S{i}(T))$ 的值,进而求得 $\Delta{T}$,并进行迭代计算求得目标函数最小值。

NDT (Normal Distribution Transform) 方法

基本思想

NDT 方法的基本思想是将空间划分成一个个 cell,这里的 cell 的概念要和栅格 grid 区分一下,通常单个栅格会取很小,其只代表了一个值。相对而言,cell 更像是一个小区域。有了各个 cell 之后为每一个 cell 定义一个高斯分布用来替代势场,因此整个空间里面就形成了一个分段连续的势场(在各自的 cell 里面连续)。通过这样的方法,结合连续的势场我们可以直接用牛顿法进行迭代(Hessian 矩阵非常好求),同时这样一个势场也不受离散化的影响。

数学描述

首先定义几个变量:

$T = (tx, t_y, t\theta)$ 表示需要求解的值

$x_i = (x, y)^T$ 表示激光点坐标

$
\begin{aligned}
T(x_i) = \begin{bmatrix}
\cos{\theta} & -\sin{\theta} \
\sin{\theta} & \cos{\theta}
\end{bmatrix}
\begin{bmatrix}
x_i \ y_i
\end{bmatrix} +
\begin{bmatrix}
t_x \ t_y
\end{bmatrix}
\end{aligned}
$

$q_i$, $\Sigma_i$ 分别表示 $x_i$ 对应点的高斯分布的均值和方差,则当前激光点的的得分为(得分越小,匹配程度越高):

则对应的目标函数为:$\min{\sum_i{score_i}}$,令 $q = x_i’ - q_i$,则有:

值得注意的是,目标函数并没有取误差的平方;同时对误差函数也不需要进行线性化(用 $J^TJ$ 代替 Hassian 矩阵),因为 Hassian 矩阵本身容易求解。

牛顿法

首先介绍以下牛顿法求解目标函数最小值:$\min{f(x)}$

上式等价于令一阶导数为 0: $g(x) = f’(x) = 0$

由于我们需要求解迭代量 $\Delta x$ 令一阶导数为 0,同时结合泰勒展开,即:

接下来令 $x = x + \Delta x$,进行迭代即可。

上式等价于 $H\Delta x = -J$。因此用牛顿法进行迭代求解时,关键是计算目标函数 $f(x)$ 的 Hassian 矩阵和 Jacobian 矩阵。在某些函数里面,Hassian 矩阵比较难求,因此用 $J^TJ$ 来表示(高斯牛顿法的思想)。

如果 $f(x) = \sum{f_i(x)}$,则有:$J = \sum{J_i}$, $H = \sum{H_i}$

用牛顿法进行 NDT 求解

首先求 J,令 $q = x_i’ - q_i = T(x_i) - q_i$,则有:

上面涉及到矩阵求导,可以参考 维基百科:矩阵微积分

下面对 $T(x_i)$ 求导:

至此, J 求导完成,接下来求 H 矩阵,通过链式法则有:

算法流程

总结以下, NDT 方法的算法流程分三步:

  • 对环境进行 cell 的划分,为每一个 cell 构造一个高斯分布
  • 根据初始解把当前帧的激光点转换到参考帧上,并确定属于哪个 cell
  • 用牛顿法进行迭代求解

相关匹配方法及分枝定界加速 (CSM)

相关方法(Correlation-based Method)——基本思想

相关方法的基本思想是通过在一个范围内通过枚举所有位姿的可能性,从中选择一个最好的作为结果。这么做的原因主要是因为考虑到我们面对的是一个高度非凸问题,可能会有非常多局部极值,所以迭代方法对初值非常敏感,所以采用暴力匹配的方法可以避免出现初值影响,但是这么做的问题是计算量太大,所以通常需要通过加速策略来降低计算量。同时这个方法还有一个好处是可以计算位姿匹配的方差。

相关方法——算法流程

  • 如上图所示,首先我们需要对地图通过高斯模糊来构造似然场
  • 在一个指定的搜索空间(比如 1m×1m,30°范围内)来进行搜索,这里可以有不同搜索的方法,后面会详细描述;对搜索得到的每一个位姿进行得分计算(匹配程度)
  • 根据上一步得到位姿得分,计算本次位姿匹配的方差

相关方法——位姿搜索

常用的搜索方式主要包括以下几种:

  1. 暴力搜索:通过多层循环(对 $(x, y, \theta)$ 而言是三层)枚举每一个位姿,分别计算每一个位姿的得分,计算量巨大。因为激光雷达数据在每一个位姿都要重新投影,投影需要计算 sin 和 cos 函数(循环顺序是: $x\rightarrow y\rightarrow \theta$);
  2. 预先投影搜索:把暴力搜索中的三层循环 $(x, y, \theta)$ 交换一下顺序,最外层对 $\theta$ 进行搜索,这样内层 $x, y$ 的投影不需要单独计算 sin 和 cos 值,需要计算 sin 和 cos 函数的位姿数从 $nxn_yn\theta$ 降为 $n_\theta$ 。能极大的加速算法的运行速度;
  3. 多分辨率搜索:
    • 构造粗分辨率 25cm 和细分辨率 2.5cm 两个似然场
    • 首先在粗分辨率似然场上进行搜索,获取最优位姿
    • 把粗分辨率最优位姿对应的栅格进行细分辨率划分,然后再进行细分辨率搜索,再次得到最优位姿。
    • 要求:粗分辨率地图的栅格的似然值为对应的细分辨率地图对应空间的所有栅格的上界

分枝定界算法——基本思想

分枝定界算法是一种常用的树形搜索剪枝算法,主要用来求解整数规划问题。可以将最优解问题转换为树形搜索问
题,根节点表示整个解空间,叶子节点表示最优解,中间的节点表示解空间的某一部分子空间。

算法主要分为两部分:

  • 分枝:跟节点表示整个解空间,深度为 1 的节点表示解空间的 n 个子空间之一(分辨率是根节点的 1 / n),以此类推。将解空间层层划分直至到真实解(分辨率达到所需要求)即叶节点。
  • 定界:要实现通过剪枝来进行加速(dfs 搜索),对于某个子树而言,必须保证该子树根节点的值是该子树所有节点的值的上界(如果是求解最小值问题就是下界);这样在搜索过程过程中只需要维护一个当前最优值,当遇到某个节点的值低于该值,我们就不需要对以该节点为根节点的子树进行搜索,从而进行加速。

分支定界算法—— score 函数定义

从上面可知,分枝定界算法当中一个核心问题就是怎么定义一个 score 函数使得其能够上面提到的要求:对任意子树,根节点的值是该子树所有节点的值的上界

首先,搜索树中的节点表示一个正方形的搜索范围 $(cx, c_y, c\theta, c_h)$, $c_h$ 为高度。根节点最高,即:

分枝:对于节点 $(cx, c_y, c\theta, c_h)$,分枝为 4 个子节点,分别为:

定界:score 函数定义及证明如下:

如上述,第一行和第二行表示取当前层空间和下一层空间所有解的每一个激光束遍历所有位置取最大匹配值(注意:对每一个激光束取得分最大值的位姿可能会不同),显然对第一个式子大于等于第二个,因为搜索范围更大;第三行则是对下一层所有解空间挑出一个位姿使得所有激光束的得分之和最大,第二个式子的结果大于等于第三个,因为对单个位姿而言并不一定能保证所有激光束的匹配结果都是最大。得分函数是预先计算的,在进行计算的时候可以直接取,因此这是一种空间换时间的做法。

分枝定界算法——算法流程

以下是两种分枝定界算法的算法流程伪代码