10 后端
10.1 概述
10.2 BA 与图优化
Bundle Adjustment 光束法平差
- BA是指从视觉重建中提炼出最优的 3D 模型和相机参数(内参数和外参数)。从每一个特征点反射出来的几束光线(bundles of light rays),在我们把相机姿态和特征点空间位置做出最优的调整 (adjustment) 之后,最后收束到相机光心的这个过程 。
- 早期SLAM 的研究者认为包含大量特征点和相机位姿的 BA 计算量过大,不适合实时计算。直到近十年来,人们逐渐认识到 SLAM 问题中 BA 的稀疏特性,才使它能够在实时的场景中使用
10.2.1 BA问题
- 投影模型
投影的步骤:
首先,把世界坐标 p\pmb{p}ppp 转换到相机坐标 P′\pmb{P}'PPP′ ,这里将用到相机外参数 (R,t)(\pmb{R,t})(R,tR,tR,t)。 然后,将 P′\pmb{P}'PPP′ 投至归一化平面,得到归一化坐标Pc\pmb{P}_cPPPc 。对归一化坐标去畸变(暂时只考虑径向畸变)得到去畸变后的坐标uc′,vc′u_c',v_c'uc′,vc′。 最后,根据内参模型,计算像素坐标 us,vsu_s,v_sus,vs。
之前的观测方程 z=h(x,y)\pmb{z} = h(\pmb{x,y})zzz=h(x,yx,yx,y) 在这里参数化了。这里的 x\pmb{x}xxx 指代此时相机的位姿,即外参 R,t\pmb{R,t}R,tR,tR,t,它对应的李代数为 ξ\pmb{\xi}ξξξ。路标 y\pmb{y}yyy 即这里的三维点 p\pmb{p}ppp,而观测数据则是像素坐标 z≜[us,vs]T\pmb{z} \triangleq [u_s,v_s]^Tzzz≜[us,vs]T。 - 代价函数
以最小二乘的角度来考虑,此次观测的误差 e=z−h(ξ,p)\pmb{e} = \pmb{z} - h(\pmb{\xi},\pmb{p})eee=zzz−h(ξξξ,ppp)。把其他时刻的观测量也考虑进来,设 zijz_{ij}zij 为在位姿 ξi\pmb{\xi}_iξξξi 处观察路标 pj\pmb{p}_jpppj 产生的数据,则整体的代价函数为:
12∑i=1m∑j=1n∣∣eij∣∣2=12∑i=1m∑j=1n∣∣zij−h(ξi,pj)∣∣2\dfrac{1}{2}\sum_{i=1}^m\sum_{j=1}^n||\pmb{e}_{ij}||^2 = \dfrac{1}{2}\sum_{i=1}^m\sum_{j=1}^n||\pmb{z}_{ij} - h(\pmb{\xi}_i,\pmb{p}_j)||^221i=1∑mj=1∑n∣∣eeeij∣∣2=21i=1∑mj=1∑n∣∣zzzij−h(ξξξi,pppj)∣∣2
对这个最小二乘进行求解,相当于对位姿和路标同时作了调整,也就是所谓的 BA
10.2.2 BA求解
易判断观测模型 h(ξi,pj)h(\pmb{\xi}_i,\pmb{p}_j)h(ξξξi,pppj) 不是线性函数。所以用非线性优化手段来优化它。根据非线性优化的思想,应该从某个的初始值开始,不断地寻找下降方向 Δx\Delta\pmb{x}Δxxx 来找到目标函数的最优解,即不断地求解增量方程 HΔx=g\pmb{H}\Delta\pmb{x} = \pmb{g}HHHΔxxx=ggg 中的增量 Δx\Delta\pmb{x}Δxxx。
- 在整体 BA 目标函数上,把自变量定义成所有待优化的变量:x=[ξ1,...,ξm,p1,...,pn]T\pmb{x} = [\pmb{\xi}_1,...,\pmb{\xi}_m,\pmb{p}_1,...,\pmb{p}_n]^Txxx=[ξξξ1,...,ξξξm,ppp1,...,pppn]T
- 增量方程中的 Δx\Delta\pmb{x}Δxxx 则是对整体自变量的增量。在这个意义下,当我们给自变量一个增量时,目标函数变为:12∣∣f(x+Δx)∣∣2≈12∑i=1m∑j=1n∣∣eij+FijΔξi+EijΔpj∣∣2\dfrac{1}{2}||f(\pmb{x}+\Delta\pmb{x})||^2 \approx \dfrac{1}{2}\sum_{i=1}^m\sum_{j=1}^n||\pmb{e}_{ij}+\pmb{F}_{ij}\Delta\pmb{\xi}_i+\pmb{E}_{ij}\Delta\pmb{p}_j||^221∣∣f(xxx+Δxxx)∣∣2≈21i=1∑mj=1∑n∣∣eeeij+FFFijΔξξξi+EEEijΔpppj∣∣2
Fij\pmb{F}_{ij}FFFij 表示整个代价函数在当前状态下对相机姿态的偏导数,而 Eij\pmb{E}_{ij}EEEij 表示该函数对路标点位置的偏导 - 把相机位姿变量放在一起:xc=[ξ1,...,ξm]∈R6m\pmb{x}_c = [\pmb{\xi}_1,...,\pmb{\xi}_m] \in \mathbb R^{6m}xxxc=[ξξξ1,...,ξξξm]∈R6m
把空间点的变量放在一起: xp=[p1,...,pn]∈R3n\pmb{x}_p = [\pmb{p}_1,...,\pmb{p}_n] \in \mathbb R^{3n}xxxp=[ppp1,...,pppn]∈R3n
化简得:
12∣∣f(x+Δx)∣∣2=12∣∣eij+FΔxc+EΔxp∣∣2\dfrac{1}{2}||f(\pmb{x}+\Delta\pmb{x})||^2 = \dfrac{1}{2}||\pmb{e}_{ij}+\pmb{F}\Delta\pmb{x}_c+\pmb{E}\Delta\pmb{x}_p||^221∣∣f(xxx+Δxxx)∣∣2=21∣∣eeeij+FFFΔxxxc+EEEΔxxxp∣∣2 - 该式从一个由很多个小型二次项之和,变成了一个更整体的样子。这里的雅可比矩阵 E\pmb{E}EEE 和 F\pmb{F}FFF 必须是整体目标函数对整体变量的导数,它将是一个很大块的矩阵,而里头每个小分块,需要由每个误差项的导数 Fij\pmb{F}_{ij}FFFij 和 Eij\pmb{E}_{ij}EEEij “拼凑”起来,由于我们把变量归类成了位姿和空间点两种,所以雅可比矩阵可以分块为:J=[FE]\pmb{J} = [\pmb{F} \pmb{E}]JJJ=[FFFEEE]
- 无论使用 G-N 还是 L-M 方法,最后都将面对增量线性方程:HΔx=g\pmb{H}\Delta\pmb{x} = \pmb{g}HHHΔxxx=ggg
以 G-N 为例,H=JTJ=[FTFFTEETFETE]\pmb{H} = \pmb{J}^T\pmb{J} = \left[\begin{matrix} \pmb{F}^T \pmb{F} & \pmb{F}^T\pmb{E}\\\pmb{E}^T\pmb{F} &\pmb{E}^T\pmb{E} \end{matrix}\right]HHH=JJJTJJJ=[FFFTFFFEEETFFFFFFTEEEEEETEEE] - 因为考虑了所有的优化变量,这个线性方程的维度将非常大,包含了所有的相机位姿和路标点。尤其是在视觉 SLAM 中,一个图像就会提出数百个特征点,大大增加了这个线性方程的规模。如果直接对 H 求逆来计算增量方程非常消耗计算资源。幸运地是,这里的 H\pmb{H}HHH 矩阵是有一定的特殊结构的,可以加速求解过程。
10.2.3 H矩阵的稀疏性
-
21 世纪视觉 SLAM 的一个重要进展是认识到了矩阵 H\pmb{H}HHH 的稀疏结构,并发现该结构可以自然、显式地用图优化来表示。
-
H\pmb{H}HHH 矩阵的稀疏性是由雅可比 J(x)\pmb{J}(\pmb{x})JJJ(xxx) 引起的。eij\pmb{e}_{ij}eeeij只涉及到第 iii 个相机位姿和第 jjj个路标点,对其余部分的变量的导数都为 0。
- 所以该误差项对应的雅可比矩阵为Jij(x)=(02×6,...02×6,∂eij∂ξij,02×6,...02×3,...02×3,∂eij∂pj,02×3,...02×3)\pmb{J}_{ij}(\pmb{x}) = (\pmb 0_{2×6},...\pmb 0_{2×6},\dfrac{\partial\pmb{e}_{ij}}{\partial \pmb{\xi}_{ij}},\pmb 0_{2×6},...\pmb 0_{2×3},...\pmb 0_{2×3},\dfrac{\partial\pmb{e}_{ij}}{\partial \pmb{p}_{j}},\pmb 0_{2×3},...\pmb 0_{2×3})JJJij(xxx)=(0002×6,...0002×6,∂ξξξij∂eeeij,0002×6,...0002×3,...0002×3,∂pppj∂eeeij,0002×3,...0002×3)
这体现了该误差项与其他路标和轨迹无关的特性
- 所以该误差项对应的雅可比矩阵为Jij(x)=(02×6,...02×6,∂eij∂ξij,02×6,...02×3,...02×3,∂eij∂pj,02×3,...02×3)\pmb{J}_{ij}(\pmb{x}) = (\pmb 0_{2×6},...\pmb 0_{2×6},\dfrac{\partial\pmb{e}_{ij}}{\partial \pmb{\xi}_{ij}},\pmb 0_{2×6},...\pmb 0_{2×3},...\pmb 0_{2×3},\dfrac{\partial\pmb{e}_{ij}}{\partial \pmb{p}_{j}},\pmb 0_{2×3},...\pmb 0_{2×3})JJJij(xxx)=(0002×6,...0002×6,∂ξξξij∂eeeij,0002×6,...0002×3,...0002×3,∂pppj∂eeeij,0002×3,...0002×3)
-
我们设 Jij\pmb{J}_{ij}JJJij 只在 i,ji, ji,j 处有非零块,那么它对 H\pmb{H}HHH 的贡献为 JijTJij\pmb{J}_{ij}^T\pmb{J}_{ij}JJJijTJJJij,具有示意图上所画的稀疏形式。这个矩阵也仅有四个非零块,位于(i,i),(i,j),(j,i),(j,j)(i,i), (i,j), (j,i),(j,j)(i,i),(i,j),(j,i),(j,j)。
对于整体的 H,H=∑i,jJijTJij\pmb{H} = \sum_{i,j}\pmb{J}_{ij}^T\pmb{J}_{ij}HHH=∑i,jJJJijTJJJij。iii 在所有相机位姿中取值, jjj 在所有路标点中取值,把H\pmb{H}HHH进行分块得:H=[H11H12H21H22]\pmb{H} = \left[\begin{matrix} \pmb{H}_{11} & \pmb{H}_{12}\\\pmb{H}_{21}&\pmb{H}_{22}\end{matrix}\right]HHH=[HHH11HHH21HHH12HHH22]
这里 H11\pmb{H}_{11}HHH11 只和相机位姿有关,而 H22\pmb{H}_{22}HHH22 只和路标点有关,这显示了 H\pmb{H}HHH 的稀疏结构- 不管i,ji,ji,j怎么变,H11\pmb{H}_{11}HHH11都是对角阵,只在 Hi,i\pmb{H}_{i,i}HHHi,i 处有非零块
- 同理,H22\pmb{H}_{22}HHH22也是对角阵,只在 Hj,j\pmb{H}_{j,j}HHHj,j 处有非零块
- H12,H21\pmb{H}_{12},\pmb{H}_{21}HHH12,HHH21 可能是稀疏的,也可能是稠密的,视具体的观测数据而定
-
实例:
-
假设一个场景内有 2 个相机位姿 (C1,C2)(C_1, C_2)(C1,C2) 和 6 个路标 $(P_1, P_2, P_3, P_4, P_5, P_6)。这些相机和点云所对应的变量为 ξi,i=1,2\pmb{ξ}_i, i = 1, 2ξξξi,i=1,2 以及 pj,j=1,...,6\pmb{p}_j, j = 1,..., 6pppj,j=1,...,6。相机 C1C_1C1 观测到路标 P1,P2,P3,P4P_1, P_2, P_3, P_4P1,P2,P3,P4,相机 C2C_2C2观测到了路标 P3,P4,P5,P6P_3, P_4, P_5, P_6P3,P4,P5,P6
-
该场景下的 BA 目标函数:12(∣∣e11∣∣2+∣∣e12∣∣2+∣∣e13∣∣2+∣∣e14∣∣2+∣∣e23∣∣2+∣∣e24∣∣2+∣∣e25∣∣2+∣∣e26∣∣2)\dfrac{1}{2}(||\pmb{e}_{11}||^2+||\pmb{e}_{12}||^2+||\pmb{e}_{13}||^2+||\pmb{e}_{14}||^2+||\pmb{e}_{23}||^2+||\pmb{e}_{24}||^2+||\pmb{e}_{25}||^2+||\pmb{e}_{26}||^2)21(∣∣eee11∣∣2+∣∣eee12∣∣2+∣∣eee13∣∣2+∣∣eee14∣∣2+∣∣eee23∣∣2+∣∣eee24∣∣2+∣∣eee25∣∣2+∣∣eee26∣∣2)
-
令J11\pmb{J}_{11}JJJ11为e11\pmb{e}_{11}eee11的雅可比矩阵。把所有变量以x=(ξ1,ξ2,p1,...,p2)\pmb{x} = (\pmb{\xi}_1,\pmb{\xi}_2,\pmb{p}_1,...,\pmb{p}_2)xxx=(ξξξ1,ξξξ2,ppp1,...,ppp2)的顺序摆放,则有:
J11=∂e11∂x=(∂e11∂ξ1,02×6,∂e11∂p1,02×3,02×3,02×3,02×3,02×3)\pmb{J}_{11} = \dfrac{\partial\pmb{e}_{11}}{\partial \pmb{x}}= (\dfrac{\partial\pmb{e}_{11}}{\partial \pmb{\xi}_{1}},\pmb 0_{2×6},\dfrac{\partial\pmb{e}_{11}}{\partial \pmb{p}_{1}},\pmb 0_{2×3},\pmb 0_{2×3},\pmb 0_{2×3},\pmb 0_{2×3},\pmb 0_{2×3})JJJ11=∂xxx∂eee11=(∂ξξξ1∂eee11,0002×6,∂ppp1∂eee11,0002×3,0002×3,0002×3,0002×3,0002×3) -
为了方便表示稀疏性,我们用带有颜色的方块表示矩阵在该方块内有数值,其余没有颜色的区域表示矩阵在该处数值都为 0。那么上面的 J11\pmb{J}_{11}JJJ11 则可以表示成:
为了得到该目标函数对应的雅可比矩阵,我们可以将这些 Jij 按照一定顺序列为向量,那么整体雅可比矩阵以及相应的 H 矩阵的稀疏情况就是图 10-6 中所展示的那样。
-
对于 H 矩阵当中处于非对角线的矩阵块来说,如果该矩阵块非零,则其位置所对应的变量之间会在图中存在一条边。
H 矩阵当中的非对角部分的非零矩阵块可以理解为它对应的两个变量之间存在联系,或者可以称之为约束。于是,我们发现图优化结构与增量方程的稀疏性存在着明显的联系。
-
-
假如我们有 m 个相机位姿, n 个路标点。由于通常路标数量远远会比相机多,于是有 n ≫ m。由上面推理可知,实际当中的 H 矩阵会像图 所示的那样。它的左上角块显得非常小,而右下角的对角块占据了大量地方。除此之外,非对角部分则分布着散乱的观测数据。由于它的形状很像箭头,又称为箭头形(Arrow-like)矩阵。
10.2.4 边缘化
存在着若干种利用 H 的稀疏性加速计算的方法,而本节介绍视觉 SLAM 里一种最常用的手段: Schur 消元 (Schur trick)。在 SLAM 研究中亦称Marginalization(边缘化)。
- 上图所示矩阵可以分为四块,左上角为对角块矩阵,每个对角块元素的维度与相机位姿的维度相等,且是一个对角块矩阵。右下角也是对角块矩阵,每个对角块的维度是路标的维度。非对角块的结构与具体观测数据相关。将矩阵按照下图方式分为B,E,ET,C\pmb{B},\pmb{E},\pmb{E}^T,\pmb{C}BBB,EEE,EEET,CCC
- 线性方程组变为:[BEETC][ΔxcΔxp]=[vw]\left[\begin{matrix} \pmb{B} & \pmb{E} \\ \pmb{E}^T & \pmb{C}\end{matrix}\right] \left[\begin{matrix} \Delta\pmb{x}_c \\\Delta\pmb{x}_p \end{matrix}\right] = \left[\begin{matrix} \pmb{v}\\ \pmb{w} \end{matrix}\right][BBBEEETEEECCC][ΔxxxcΔxxxp]=[vvvwww]
B 是对角块矩阵,每个对角块的维度和相机参数的维度相同,对角块的个数是相机变量的个数。由于路标数量会远远大于相机变量个数,所以 C 往往也远大于 B。三维空间中每个路标点为三维,于是 C 矩阵为对角块矩阵,每个块为 3 × 3 维矩阵。对角块矩阵逆的难度远小于对一般矩阵的求逆难度,因为只需要对那些对角线矩阵块分别求逆即可 - 线性方程组进行高斯消元,得:[B−EC−1ET0ETC][ΔxcΔxp]=[v−EC−1ww]\left[\begin{matrix} \pmb{B}-\pmb{E}\pmb{C}^{-1}\pmb{E}^T & \pmb{0} \\ \pmb{E}^T & \pmb{C}\end{matrix}\right] \left[\begin{matrix} \Delta\pmb{x}_c \\\Delta\pmb{x}_p \end{matrix}\right] = \left[\begin{matrix} \pmb{v} - \pmb{E}\pmb{C}^{-1}\pmb{w}\\ \pmb{w} \end{matrix}\right][BBB−EEECCC−1EEETEEET000CCC][ΔxxxcΔxxxp]=[vvv−EEECCC−1wwwwww]
- 第一行方程组变成和 ∆xp 无关的项。单独把它拿出来,得到关于位姿部分的增量方程:
[B−EC−1ET]Δxc=v−EC−1w[\pmb{B}-\pmb{E}\pmb{C}^{-1}\pmb{E} ^T ]\Delta\pmb{x}_c = \pmb{v} - \pmb{E}\pmb{C}^{-1}\pmb{w}[BBB−EEECCC−1EEET]Δxxxc=vvv−EEECCC−1www
求解这个方程,然后把解得的 ∆xc∆\pmb{x}_c∆xxxc 代入到原方程,然后求解∆xp∆\pmb{x}_p∆xxxp - 将此方程的系数记为S\pmb{S}SSS, 进行 Schur 消元。它的稀疏性是不规则的,但具有物理意义:S\pmb{S}SSS 矩阵的非对角线上的非零矩阵块,表示了该处对应的两个相机变量之间存在着共同观测的路标点,有时候称为共视(Co-visibility)。反之,如果该块为零,则表示这两个相机没有共同观测。S\pmb{S}SSS 矩阵的稀疏性结构当取决于实际观测的结果,我们无法提前预知。
从概率角度来看,我们称这一步为边缘化,是因为我们实际上把求 (∆xc,∆xp)(∆\pmb{x}_c,∆\pmb{x}_p)(∆xxxc,∆xxxp) 的问题,转化成先求 ∆xc∆\pmb{x}_c∆xxxc,再求 ∆xp∆\pmb{x}_p∆xxxp 的过程。这一步相当于做了条件概率展开:P(xc,xp)=P(xc)P(xp∣xc)P(\pmb{x}_c,\pmb{x}_p)=P(\pmb{x}_c)P(\pmb{x}_p|\pmb{x}_c)P(xxxc,xxxp)=P(xxxc)P(xxxp∣xxxc) 结果是求出了关于xc\pmb{x}_cxxxc 的边缘分布,故称边缘化。
10.2.5 鲁棒核函数
- 如果出于误匹配等原因,某个误差项给的数据是错误的,优化算法并不能辨别出这是个错误数据,它会把所有的数据都当作误差来处理。这时,算法会看到一条误差很大的边,它的梯度也很大,意味着调整与它相关的变量会使目标函数下降更多。所以,算法将试图调整这条边所连接的节点的估计值,使它们顺应这条边的无理要求。由于这个边的误差真的很大,往往会抹平了其他正确边的影响,使优化算法专注于调整一个错误的值。
- 原因是当误差很大时,二范数增长得太快了。核函数保证每条边的误差不会大的没边,掩盖掉其他的边具体的方式是,把原先误差的二范数度量,替换成一个增长没有那么快的函数,同时保证自己的光滑性质因为它们使得整个优化结果更为鲁棒,所以又叫它们为鲁棒核函数(Robust Kernel)
- Huber 核:H(e)={12e2if |e|≤δδ(∣e∣−12δ)otherwiseH(e) = \begin{cases} &\frac{1}{2}e^2 &&\text{if |e|} \leq \delta\\ &\delta(|e|-\frac{1}{2}\delta) &&\text{otherwise} \end{cases}H(e)={21e2δ(∣e∣−21δ)if |e|≤δotherwise
10.3 位姿图
-
随着机器人的轨迹变长,地图规模增长,BA的计算效率会下降。经过若干次观测之后,收敛的特征点、空间位置估计就会收敛至一个值保持不动,而发散的外点则通常看不到了。对收敛点再进行优化,似乎是有些费力不讨好的。因此,更倾向于在优化几次之后就把特征点固定住,只把它们看作位姿估计的约束,而不再实际地优化它们的位置估计。
-
沿着这个思路往下走,我们会发现:是否能够完全不管路标,而只管轨迹呢?我们完全可以构建一个只有轨迹的图优化,而位姿节点之间的边,可以由两个关键帧之间通过特征匹配之后得到的运动估计来给定初始值。不同的是,一旦初始估计完成,我们就不再优化那些路标点的位置,而只关心所有的相机位姿之间的联系了。通过这种方式,我们省去了大量的特征点优化的计算,只保留了关键帧的轨迹,从而构建了所谓的位姿图(Pose Graph)
-
推导
- 节点表示相机位姿,用 ξ1,⋯ ,ξn\pmb{\xi}_1,\cdots,\pmb{\xi}_nξξξ1,⋯,ξξξn 表示。边表示两个位姿节点之间相对运动的估计(来自于特征点法或直接法),比如说ξi\pmb{\xi}_iξξξi和ξj\pmb{\xi}_jξξξj之间的一个运动Δξi,j\Delta\pmb{\xi}_{i,j}Δξξξi,j
- 可表达为:Δξi,j=ξi−1∘ξj=ln(exp((−ξi)∧)exp(ξj)∧)∨\Delta\pmb{\xi}_{i,j} = \pmb{\xi}_i^{-1} \circ \pmb{\xi}_j = \ln(\exp((-\pmb{\xi}_i)^\wedge)\exp(\pmb{\xi}_j)^\wedge)^\veeΔξξξi,j=ξξξi−1∘ξξξj=ln(exp((−ξξξi)∧)exp(ξξξj)∧)∨ 或按李群的写法: ΔTij=Ti−1Tj\Delta \pmb{T}_{ij} = \pmb{T}_i^{-1}\pmb{T}_jΔTTTij=TTTi−1TTTj
- 实际当中该等式不会精确地成立,因此我们设立最小二乘误差eij\pmb{e}_{ij}eeeij,讨论误差关于优化变量的导数。 优化变量为 ξi,ξj\pmb{\xi}_i,\pmb{\xi}_jξξξi,ξξξj
eij=ln(ΔTij−1Ti−1Tj)∨=ln(exp((−ξij)∧)exp((−ξi)∧)exp(ξj)∧)∨\pmb{e}_{ij} = \ln(\Delta \pmb{T}_{ij}^{-1}\pmb{T}_i^{-1}\pmb{T}_j)^\vee = \ln(\exp((-\pmb{\xi}_{ij})^\wedge)\exp((-\pmb{\xi}_i)^\wedge)\exp(\pmb{\xi}_j)^\wedge)^\veeeeeij=ln(ΔTTTij−1TTTi−1TTTj)∨=ln(exp((−ξξξij)∧)exp((−ξξξi)∧)exp(ξξξj)∧)∨ - 李代数求导,给 ξi,ξj\pmb{\xi}_i,\pmb{\xi}_jξξξi,ξξξj 各一个左扰动:δξi,δξj\delta\pmb{\xi}_i,\delta\pmb{\xi}_jδξξξi,δξξξj
eij^=ln(Tij−1Ti−1exp((−δξi)∧)exp(δξj)∧Tj)∨\hat {\pmb{e}_{ij}} = \ln(\pmb{T}_{ij}^{-1}\pmb{T}_i^{-1}\exp((-\pmb{\delta\xi}_i)^\wedge)\exp(\pmb{\delta\xi}_j)^\wedge\pmb{T}_j)^\veeeeeij^=ln(TTTij−1TTTi−1exp((−δξδξδξi)∧)exp(δξδξδξj)∧TTTj)∨- 运用伴随性质后可利用BCH 近似把扰动项移至式子左侧或右侧:exp(ξ∧)T=Texp((Ad(T−1)ξ)∧)\exp(\pmb{\xi}^\wedge)\pmb{T} = \pmb{T}\exp((Ad(\pmb{T}^{-1})\pmb{\xi})^\wedge)exp(ξξξ∧)TTT=TTTexp((Ad(TTT−1)ξξξ)∧)
- 导出右乘形式的雅可比矩阵
eij^=ln(Tij−1Ti−1exp((−δξi)∧)exp(δξj)∧Tj)∨=ln(Tij−1Ti−1exp((−δξi)∧)Tjexp((Ad(Tj−1)δξ)j∧)∨=ln(Tij−1Ti−1Tjexp((−Ad(Tj−1)δξi)∧exp((Ad(Tj−1)δξj)∧)∨≈ln(Tij−1Ti−1Tj[I−(Ad(Tj−1δξi)∧+(Ad(Tj−1δξj)∧])∨≈eij+∂eij∂δξiδξi+∂eij∂δξjδξj\begin{aligned} \hat {\pmb{e}_{ij}} &= \ln(\pmb{T}_{ij}^{-1}\pmb{T}_i^{-1}\exp((-\pmb{\delta\xi}_i)^\wedge)\exp(\pmb{\delta\xi}_j)^\wedge\pmb{T}_j)^\vee \\ &= \ln(\pmb{T}_{ij}^{-1}\pmb{T}_i^{-1}\exp((-\pmb{\delta\xi}_i)^\wedge)\pmb{T}_j\exp((Ad(\pmb{T}_j^{-1})\pmb{\delta\xi})_j^\wedge)^\vee\\ &=\ln(\pmb{T}_{ij}^{-1}\pmb{T}_i^{-1}\pmb{T}_j\exp((-Ad(\pmb{T}_j^{-1})\pmb{\delta\xi}_i)^\wedge\exp((Ad(\pmb{T}_j^{-1})\pmb{\delta\xi}_j)^\wedge)^\vee \\ &\approx \ln(\pmb{T}_{ij}^{-1}\pmb{T}_i^{-1}\pmb{T}_j[\pmb{I}-(Ad(\pmb{T}_j^{-1}\pmb{\delta\xi}_i)^\wedge+(Ad(\pmb{T}_j^{-1}\pmb{\delta\xi}_j)^\wedge])^\vee \\&\approx \pmb{e}_{ij}+\frac{\partial\pmb{e}_{ij}}{\partial \delta\pmb{\xi}_i}\pmb{\delta\xi}_i+\frac{\partial\pmb{e}_{ij}}{\partial \delta\pmb{\xi}_j}\pmb{\delta\xi}_j \end{aligned}eeeij^=ln(TTTij−1TTTi−1exp((−δξδξδξi)∧)exp(δξδξδξj)∧TTTj)∨=ln(TTTij−1TTTi−1exp((−δξδξδξi)∧)TTTjexp((Ad(TTTj−1)δξδξδξ)j∧)∨=ln(TTTij−1TTTi−1TTTjexp((−Ad(TTTj−1)δξδξδξi)∧exp((Ad(TTTj−1)δξδξδξj)∧)∨≈ln(TTTij−1TTTi−1TTTj[III−(Ad(TTTj−1δξδξδξi)∧+(Ad(TTTj−1δξδξδξj)∧])∨≈eeeij+∂δξξξi∂eeeijδξδξδξi+∂δξξξj∂eeeijδξδξδξj - 按照李代数上的求导法则,可求出误差关于两个位姿的雅可比矩阵:∂eij∂δξi=−Jr−1(eij)Ad(Tj−1)\dfrac{\partial\pmb{e}_{ij}}{\partial \delta\pmb{\xi}_i} = -\pmb{J}_r^{-1}(\pmb{e}_{ij})Ad(\pmb{T}_j^{-1})∂δξξξi∂eeeij=−JJJr−1(eeeij)Ad(TTTj−1), ∂eij∂δξj=Jr−1(eij)Ad(Tj−1)\dfrac{\partial\pmb{e}_{ij}}{\partial \delta\pmb{\xi}_j} = \pmb{J}_r^{-1}(\pmb{e}_{ij})Ad(\pmb{T}_j^{-1})∂δξξξj∂eeeij=JJJr−1(eeeij)Ad(TTTj−1)
Jr−1(eij)≈I+12[ϕe∧ρe∧0ϕe∧]\pmb{J}_r^{-1}(\pmb{e}_{ij}) \approx \pmb{I}+\frac{1}{2}\left[\begin{matrix} \pmb{\phi_e}^\wedge &\pmb{\rho_e}^\wedge\\ 0 &\pmb{\phi_e}^\wedge \end{matrix}\right]JJJr−1(eeeij)≈III+21[ϕeϕeϕe∧0ρeρeρe∧ϕeϕeϕe∧]
-
所有的 位姿顶点 和 位姿—位姿边 构成了一个图优化,本质上是一个最小二乘问题,优化变量为各个顶点的位姿,边来自于位姿观测约束。记 ξ\xiξ 为所有边的集合,那么总体目标函数为:
minξ12∑i,j∈ξ(eijT∑ij−1eij)\underset{\xi}{\min}\frac{1}{2}\sum_{i,j \in \xi} \left(\pmb{e}_{ij}^T\sum {}_{ij}^ {-1}\pmb{e}_{ij}\right)ξmin21i,j∈ξ∑(eeeijT∑ij−1eeeij)
可以用 Gauss-Newton、 Levenberg-Marquardt 等方法求解此问题