pl_vio线特征·part I

古路

已于 2023-12-19 14:29:39 修改

阅读量977

点赞数 25

分类专栏： # VIO slam 文章标签：普吕克坐标 pl-vio 线特征点线特征线特征三角化

于 2023-12-16 19:34:37 首次发布

本文链接：https://blog.csdn.net/fb_941219/article/details/135034316

版权

slam 同时被 2 个专栏收录

68 篇文章 22 订阅

订阅专栏

VIO

10 篇文章 2 订阅

订阅专栏

pl_vio线特征

0.引言

1.LineFeatureTracker核心逻辑解读

数据结构定义：
keylsd：提取的线段结果（经过长度筛选的，太短的不要）
keylbd_descr：对应线段描述子结果（经过长度筛选的，太短的不要）
新进的img提取线特征：
- 如果是第一帧img：forwframe_->lineID.push_back(allfeature_cnt++)；（allfeature_cnt是整个系统全局的线特征计数）,因此lineID是全局的ID，整个系统中线特征具有唯一的ID。update:后面更新的是没匹配上的。
- 如果不是第一帧img，则暂时赋值为-1，但forwframe_->lineID数组的size的大小是和keylsd相同的；
  - 匹配后将-1进行更改：forwframe_->lineID[mt.queryIdx] = curframe_->lineID[mt.trainIdx];
    - Key = 当前帧线段的ID
    - Value = 前一帧线段的lineID[mt.trainIdx]
  - 判断当前帧水平，垂直方向线段数量是否分别足够35条，不够的补上。

在这里插入图片描述

匹配的结果，对应关系，其实就是存储的全局ID信息。

代码注释，可惜另一个函数的关键内容lineDetector没放出来，这个函数的vecLine只在最后做了一个转换。frame_id没维护。

字数超限，删除代码，代码是这个函数。

最后forwframe_->vecLine属性，赋值了三个

l.StartPt = lsd.getStartPoint();
l.EndPt = lsd.getEndPoint();
l.length = lsd.lineLength;

ROS发布的信息

feature_lines->points ：线段起点
feature_lines->channels.push_back(id_of_line); ：与上一帧的匹配关系
feature_lines->channels.push_back(u_of_endpoint);：线段终点 u 坐标
feature_lines->channels.push_back(v_of_endpoint);：线段终点 v 坐标

在ROS中，sensor_msgs::PointCloud是一个用于表示3D点云的消息类型。它的数据结构如下：

std_msgs/Header header：消息头，包含时间戳和坐标帧信息。
geometry_msgs/Point32[] points：点云中的点，每个点包含x、y和z坐标。
std_msgs/ChannelFloat32[] channels：每个通道包含一个名字和一组与点对应的浮点数。这可以用来存储与每个点相关的额外数据，如颜色、强度等，这里存储的信息如上所述。

2.estimator_node中线段的处理

2.1.订阅信息解压

map<int, vector<pair<int, Vector4d>>> lines;
for (unsigned int i = 0; i < line_msg->points.size(); i++) {
  int v = line_msg->channels[0].values[i] + 0.5;
  // std::cout<< "receive id: " << v / NUM_OF_CAM << "\n";
  int feature_id = v / NUM_OF_CAM;
  int camera_id =
      v % NUM_OF_CAM;  // 被几号相机观测到的，如果是单目，camera_id = 0
  double x_startpoint = line_msg->points[i].x;
  double y_startpoint = line_msg->points[i].y;
  double x_endpoint = line_msg->channels[1].values[i];
  double y_endpoint = line_msg->channels[2].values[i];
  //                ROS_ASSERT(z == 1);
  lines[feature_id].emplace_back(
      camera_id,
      Vector4d(x_startpoint, y_startpoint, x_endpoint, y_endpoint));
}

map<int, vector<pair<int, Vector4d>>> lines; 其实这里的vetor大小始终是1

key : 与上一帧线特征的对应关系
value : camera_id + 线段起点 + 线段终点

2.2.线特征管理

现根据之前匹配的对应关系构造出lineFeaturePerId信息：

// 根据frame进行维护，这里是最初读取的数据
class lineFeaturePerFrame {
 public:
  lineFeaturePerFrame(const Vector4d &line) { lineobs = line; }
  lineFeaturePerFrame(const Vector8d &line) {
    lineobs = line.head<4>();
    lineobs_R = line.tail<4>();
  }
  Vector4d lineobs;  // 每一帧上的观测
  Vector4d lineobs_R;
  double z;
  bool is_used;
  double parallax;
  MatrixXd A;
  VectorXd b;
  double dep_gradient;
};

// 根据id进行维护，该id的线段可能被多帧观测到
class lineFeaturePerId {
 public:
  const int feature_id;   //线特征的全局ID,全局唯一
  int start_frame;
  //  linefeature_per_frame 是个向量容器，存着这个特征在每一帧上的观测量。
  //                    如：feature_per_frame[0]，存的是ft在start_frame上的观测值;
  //                    feature_per_frame[1]存的是start_frame+1上的观测
  // 同一id在不同帧上的观测，统一放到一起，后续会进行三角化
  vector<lineFeaturePerFrame> linefeature_per_frame;

  int used_num;
  bool is_outlier;
  bool is_margin;
  bool is_triangulation;
  Vector6d line_plucker;

  Vector4d obs_init;
  Vector4d obs_j;
  Vector6d line_plk_init;  // used to debug
  Vector3d ptw1;           // used to debug
  Vector3d ptw2;           // used to debug
  Eigen::Vector3d tj_;     // tij
  Eigen::Matrix3d Rj_;
  Eigen::Vector3d ti_;  // tij
  Eigen::Matrix3d Ri_;
  int removed_cnt;
  int all_obs_cnt;   // 这个id的线特征总共被观测了多少次

  int solve_flag;  // 0 haven't solve yet; 1 solve succ; 2 solve fail;
  int endFrame();
};

构造的逻辑，理解了之前的对应关系是怎么存储的这里就很好理解了：

 // 遍历同一帧上的线特征
 for (auto &id_line : lines) {
   // 使用起点终点初始化
   lineFeaturePerFrame f_per_fra(id_line.second[0].second);  // 观测
   // 这是与上一帧的匹配关系，也可以认为是全局线特征id
   int feature_id = id_line.first;  
   // cout << "line id: "<< feature_id << "\n";
   // 在feature里找id号为feature_id的特征
   auto it = find_if(linefeature.begin(), linefeature.end(),
                     [feature_id](const lineFeaturePerId &it) {
                       return it.feature_id == feature_id;
                     });
   // 如果之前没存这个特征，说明是新的
   if (it == linefeature.end()) {
     linefeature.push_back(lineFeaturePerId(feature_id, frame_count));
     linefeature.back().linefeature_per_frame.push_back(f_per_fra);
   } else if (it->feature_id == feature_id) {
     it->linefeature_per_frame.push_back(f_per_fra);
     it->all_obs_cnt++;
   }
 }

3.线段的表示与三角化

这部分来自论文原文。
初始化和进行空间变换的时候使用Plücker坐标，
在优化的时候使用正交表示。
坐标表示
- 普吕克坐标： $\mathcal{L}=\left(\mathbf{n}^{\top}, \mathbf{v}^{\top}\right)^{\top} \in \mathbb{R}^6$
- 正交表示： $(\mathbf{U},\mathbf{W}) \in SO(3) \times SO(2)$

3.1.普吕克线坐标

在图 $\mathrm{a}$ 中, 普吕克坐标中的 $\mathrm{D}$ 空间线 $\mathcal{L}$ 由 $\mathcal{L}=\left(\mathbf{n}^{\top}, \mathrm{d}^{\top}\right)^{\top} \in \mathbb{R}^6$ 表示, 其中 $\mathrm{d} \in \mathbb{R}^3$ 是线方向向量, $\mathrm{n} \in \mathbb{R}^3$ 是由直线和坐标原点确定的平面法向量。Plücker 坐标被过度参数化，因为向量 $\mathrm{n}$ 和 $\mathrm{d}$ 之间存在隐式约束，即 $\mathrm{n}^{\top} \mathrm{d}=0$ 。因此, Plücker坐标不能直接用于无约束优化。然而, 使用由法线向量和方向向量表示的 3D 线, 可以简单地从两个几何视图执行三角测量, 并且也可以方便地对线几何变换进行建模。

在这里插入图片描述

对于线几何变换, 给定从世界坐标系 $\mathrm{w}$ 到相机坐标系 $\mathrm{c}$ 的变换矩阵 $\mathbf{T}_{c w}=\left[\begin{array}{cc}\mathbf{R}_{c w} & \mathbf{P}_{c w} \\ \mathbf{0} & \mathbf{1}\end{array}\right]$ , 我们可以将线的 Plücker 坐标变换为 [30]
$\mathcal{L}^c=\left[\begin{array}{c} \mathbf{n}^c \\ \mathbf{d}^c \end{array}\right]=J_{c w} \mathcal{L}_w=\left[\begin{array}{cc} \mathbf{R}_{c w} & {\left[\mathbf{p}_{c w}\right]_x \mathbf{R}_{c w}} \\ 0 & \mathbf{R}_{c w} \end{array}\right] \mathcal{L}^w$

其中 $[\cdot]_{\times}$ 是三维向量的斜对称矩阵， $J_{c w}$ 是用于将线从帧 $w$ 变换到帧 $\mathrm{c}$ 的变换矩阵。

当在两个不同的摄像机视图中观察到新的线地标时，可以轻松计算出普吕克坐标。如图 $\mathrm{~b}$ 所示，3D 线 $\mathcal{L}$ 由摄像机 $c_1$ 和 $c_2$ 捕获为 $\mathrm{z}_L^{c_1}$ 和 $\mathrm{z}_l^{c_2}$ 。归一化图像平面中的线段 $\mathrm{z}_L^{c_1}$ 可以由两个端点 $\mathrm{s}^{c_1}=\left[u_s, v_s, 1\right]^T$ 和 $\mathrm{e}^{c_1}=\left[u_e, v_e, 1\right]^{\top}$ 表示。三个不共线的点，包括线段的两个端点和坐标原点 $\mathrm{C}=\left[x_0, y_0, z_0\right]^{\top}$ , 确定 $\mathrm{D}$ 空间中的平面 $\pi=\left[\pi_x, \pi_y, \pi_z, \pi_w\right]^{\top}$ :
$\pi_x\left(x-x_0\right)+\pi_y\left(y-y_0\right)+\pi_z\left(z-z_0\right)=0$
这里
$\left[\begin{array}{c} \pi_x \\ \pi_y \\ \pi_z \end{array}\right]=\left[\mathbf{s}^{c_1}\right]_{\times} \mathrm{e}^{c_1}, \quad \pi_w=\pi_x x_0+\pi_y y_0+\pi_z z_0$

这里对偶矩阵的内容可以看《多视图几何》

给定相机坐标系 $c_1$ 中的两个平面 $\pi_1$ 和 $\pi_2$ , 对偶普吕克矩阵 $\mathrm{L}^*$ 可以通过以下方式计算
$\mathbf{L}^*=\left[\begin{array}{cc} {[\mathbf{d}]_{\mathbf{x}}} & \mathbf{n} \\ -\mathbf{n}^{\top} & 0 \end{array}\right]=\pi_1 \pi_2^{\top}-\pi_2 \pi_1^{\top} \in \mathbb{R}^{4 \times 4}$

相机坐标系 $c_1$ 中的 Plücker 坐标 $\mathcal{L} =(\mathbf{n}^T,\mathbf{d}^T)^T$ 很容易从对偶 Plücker 矩阵 $L^*$ 中提取。可以看出, $\mathbf{n}$ 和 $\mathrm{d}$ 不需要是单位向量。

主体逻辑在void FeatureManager::triangulateLine(Vector3d Ps[], Vector3d tic[], Matrix3d ric[]) 中：

根据线段起点终点相机原点求平面：

欧式空间3D平面有3个自由度，对其表示方式主要有两种：Hesse形式、球坐标。

Hesse形式

$\pi=\left(\mathbf{n}^{\top}, d\right)^{\top} \in \mathbb{R}^4$

球坐标

$$ \tau=(\theta, \phi, d)^{\top}=q(\pi)=\left(\theta=\arctan \frac{n_y}{n_x}, \phi=\arcsin n_z, d\right)^{\top} $$

一般优化中采用球坐标的表示方式

/*
 三点确定一个平面 a(x-x0)+b(y-y0)+c(z-z0)=0  --> ax + by + cz + d = 0   d = -(ax0 + by0 + cz0)
 平面通过点（x0,y0,z0）以及垂直于平面的法线（a,b,c）来得到
 (a,b,c)^T = vector(AO) cross vector(BO)
 d = O.dot(cross(AO,BO))
 */
Vector4d pi_from_ppp(Vector3d x1, Vector3d x2, Vector3d x3) {
    Vector4d pi;
    pi << ( x1 - x3 ).cross( x2 - x3 ), - x3.dot( x1.cross( x2 ) ); // d = - x3.dot( (x1-x3).cross( x2-x3 ) ) = - x3.dot( x1.cross( x2 ) )
    return pi;
}

如果两平面夹角小于 15 度，不三角化。两个平面求交线，即是进行三角化：

// 两平面相交得到直线的plucker 坐标
Vector6d pipi_plk( Vector4d pi1, Vector4d pi2){
    Vector6d plk;
    Matrix4d dp = pi1 * pi2.transpose() - pi2 * pi1.transpose();

    plk << dp(0,3), dp(1,3), dp(2,3), - dp(1,2), dp(0,2), - dp(0,1);
    return plk;
}

这里得到的结果实际上是归一化平面坐标系上的三角化结果。

 Vector6d plk = pipi_plk(pii, pij);
 Vector3d n = plk.head(3);
 Vector3d v = plk.tail(3);

// ...plk坐标的矩阵形式
 Vector3d pc, nc, vc;
 nc = it_per_id.line_plucker.head(3);
 vc = it_per_id.line_plucker.tail(3);

 Matrix4d Lc;
 Lc << skew_symmetric(nc), vc, -vc.transpose(), 0;

完整三角化逻辑在这个函数里面。

3.2.正交表示

由于3D空间的直线只有4个自由度，使用Plücker坐标这种过参数化的表示形式在优化的时候不方便，所以我们引入四个参数的正交表示 $(\mathbf{U},\mathbf{W}) \in SO(3) \times SO(2)$ 。Plücker坐标和正交表示之间可以很方便的互相转换，我们之后会分别介绍如何从Plücker坐标到正交表示和正交表示怎么变换成Plücker坐标。首先我们需要知道了直线的Plücker坐标 $\cal{L} =(\mathbf{n}^{\top},\mathbf{d}^{\top})^{\top}$ ，然后对 $\cal{L}$ 进行QR分解，得到：

$\left[ \begin{array}{ll}{\mathbf{n}} & {\mathbf{d}}\end{array}\right]=\left[ \begin{array}{ccc}{\frac{\mathbf{n}}{\|\mathbf{n}\|}} & {\frac{\mathbf{d}}{\|\mathbf{d}\|}} & {\frac{\mathbf{n} \times \mathbf{d}}{\|\mathbf{n} \times \mathbf{d}\|}}\end{array}\right] \left[ \begin{array}{cc}{\|\mathbf{n}\|} & {0} \\ {0} & {\|\mathbf{d}\|} \\ {0} & {0}\end{array}\right]= \mathrm{U} \mathrm{W}$

分解得到的第一项是正交矩阵 $\bf{U}$ ，是一个旋转矩阵。所表示的是相机坐标系到直线坐标系的旋转。其中直线坐标系的定义如下：用直线的方向向量以及直线和光心组成平面的法向量作为坐标的两个轴，再用他们叉乘得到的向量作为第三个轴，所以

$\mathbf{U}=\mathbf{R}(\boldsymbol{\psi})=\left[ \begin{matrix} \frac{\mathbf{n}}{||\mathbf{n}||} & \frac{\mathbf{d}}{||\mathbf{d}||} & \frac{\mathbf{n}\times\mathbf{d}}{||\mathbf{n}\times\mathbf{d}||} \end{matrix} \right]$

其中 $\boldsymbol{\psi}=\left[\psi_{1}, \psi_{2}, \psi_{3}\right]^{\top}$ 代表的是相机坐标系到直线坐标系在 $x$ ， $y$ 和 $z$ 轴的旋转角。

到此我们得到了正交表示的第一项，第二项需要做一些小变换。由于将（ $||\mathbf{n}||,||\mathbf{d}||$ ）结合之后只有一个自由度( $\mathrm{W}$ 的秩为2），所以我们可以用三角函数矩阵参数化：

$\begin{array}{c}{\mathbf{W}=\left[\begin{matrix}w_1&-w_2\\w_2&w_1\end{matrix}\right]=\left[ \begin{array}{cc}{\cos (\phi)} & {-\sin (\phi)} \\ {\sin (\phi)} & {\cos (\phi)}\end{array}\right]} \\ {=\frac{1}{\sqrt{\left(\|\mathbf{n}\|^{2}+\|\mathbf{d}\|^{2}\right)}}} {\left[ \begin{array}{cc}{\|\mathbf{n}\|} & {-\|\mathbf{d}\|} \\ {\|\mathbf{d}\|} & {\|\mathbf{n}\|}\end{array}\right]}\end{array}$

$\begin{gathered} W=\left[\begin{array}{cc} \frac{1}{\sqrt{1+d^2}} & \frac{d}{\sqrt{1+d^2}} \\ \frac{-d}{\sqrt{1+d^2}} & \frac{1}{\sqrt{1+d^2}} \end{array}\right]=\left[\begin{array}{cc} \frac{\|a\|}{\sqrt{\|a\|^2+\|b\|^2}} & \frac{\|b\|}{\sqrt{\|a\|^2+\|b\|^2}} \\ -\frac{\|b\|}{\sqrt{\|a\|^2+\|b\|^2}} & \frac{\|a\|}{\sqrt{\mid a\left\|^2+\right\| b \|^2}} \end{array}\right]=\left[\begin{array}{cc} \cos (\phi) & -\sin (\phi) \\ \sin (\phi) & \cos (\phi) \end{array}\right] \\ =\left[\begin{array}{cc} w 1 & -w 2 \\ w 2 & w 1 \end{array}\right] \in \mathbf{S O ( 2 )} \end{gathered}$
当对 $\phi$ 进行更新了之后，可以通过 $\cos (\phi) / \sin (\phi)$ 的公式来得到直线到原点的距离。

上式中的 $\phi$ 是旋转角。由于坐标原点（相机光心）到3D直线的距离是 $\frac{||\mathbf{n}||}{||\mathbf{d}||}$ ，所以 $\mathbf{W}$ 包含了距离信息 $d$ 的。根据 $\mathbf{U}$ 和 $\mathbf{W}$ 的定义可以看出，4个自由度包括旋转的3个自由度和距离的一个自由度。在优化的时候，我们使用 $\mathcal{O}=[\psi, \phi]^{\top}$ 作为空间直线更新的最小表示。

正交表示到Plücker坐标之间的变换可以通过下面的方式计算出来：

$\mathcal{L}^{\prime}=\left[w_{1} \mathbf{u}_{1}^{T}, w_{2} \mathbf{u}_{2}^{T}\right]^{T}=\frac{1}{\sqrt{\left(\|\mathbf{n}\|^{2}+\|\mathbf{d}\|^{2}\right)}} \mathcal{L}$

$\underbrace{\mathcal{L}^{\prime}_{6 \times 1}}_{\text {Plucker 表示 }}=\sqrt{\|\mathbf{n}\|^2+\|\mathbf{d}\|^2} \underbrace{\left[\begin{array}{c} w 1 \mathbf{u}_1^T \\ w 2 \mathbf{u}_2^T \end{array}\right]}_{\text {正交表示 }}$

其中 $\mathbf{u}_i$ 是矩阵 $\mathbf{U}$ 的第 $i$ 列、 $w_1=\cos (\phi)$ 和 $w_2=\sin (\phi)$ 。 $\mathcal{L}^{\prime}$ 和 $\mathcal{L}$ 之间存在比例因子，但它们代表相同的3D空间线。

plk转正交表示

Vector4d plk_to_orth(Vector6d plk) {
  Vector4d orth;
  Vector3d n = plk.head(3);
  Vector3d v = plk.tail(3);

  Vector3d u1 = n / n.norm();
  Vector3d u2 = v / v.norm();
  Vector3d u3 = u1.cross(u2);

  // todo:: use SO3
  orth[0] = atan2(u2(2), u3(2));
  orth[1] = asin(-u1(2));
  orth[2] = atan2(u1(1), u1(0));

  Vector2d w(n.norm(), v.norm());
  w = w / w.norm();
  orth[3] = asin(w(1));

  return orth;
}

正交表示转plk

Vector6d orth_to_plk(Vector4d orth) {
  Vector6d plk;

  Vector3d theta = orth.head(3);
  double phi = orth[3];

  double s1 = sin(theta[0]);
  double c1 = cos(theta[0]);
  double s2 = sin(theta[1]);
  double c2 = cos(theta[1]);
  double s3 = sin(theta[2]);
  double c3 = cos(theta[2]);

  Matrix3d R;
  R << c2 * c3, s1 * s2 * c3 - c1 * s3, c1 * s2 * c3 + s1 * s3, c2 * s3,
      s1 * s2 * s3 + c1 * c3, c1 * s2 * s3 - s1 * c3, -s2, s1 * c2, c1 * c2;

  double w1 = cos(phi);
  double w2 = sin(phi);
  double d = w1 / w2;  // 原点到直线的距离

  Vector3d u1 = R.col(0);
  Vector3d u2 = R.col(1);

  Vector3d n = w1 * u1;
  Vector3d v = w2 * u2;

  plk.head(3) = n;
  plk.tail(3) = v;

  // Vector3d Q = -R.col(2) * d;
  // plk.head(3) = Q.cross(v);
  // plk.tail(3) = v;

  return plk;
}

优化的时候使用正交表示。这部分操作位于line_geometry.h/cpp

4.线段残差对位姿的导数

这一小节理论部分来自这里,当然也是来自原论文。

4.1.直线的观测模型和误差

图2 空间直线投影到像素平面
要想知道线特征的观测模型，我们需要知道线特征从归一化平面到像素平面的投影内参矩阵 $\cal{K}$ 。如图2，点 $C$ 和 $D$ 是直线 $\mathcal{L} =(\mathbf{n}^{\top},\mathbf{d}^{\top})^{\top}$ 上两点，点 $c$ 和 $d$ 是它们在像素平面上的投影。 $c = K C$ , $d = KD$ , $K$ 是相机的内参矩阵。 $\mathbf{n}=[C]_{\times}D ，\mathscr{l} = \left[\begin{matrix}l_1&l_2&l_3\end{matrix}\right]=[c]_{\times}d$ 。那么有

$\mathscr{l} = \mathcal{K} \mathbf{n} =\left[ \begin{array}{ccc}{f_{y}} & {0} & {0} \\ {0} & {f_{x}} & {0} \\ {-f_{y} c_{x}} & {-f_{x} c_{y}} & {f_{x} f_{y}}\end{array}\right] \mathbf{n}$

c叉乘d是法向量，但同时也代表了归一化平面上和这个法向量过原点决定的平面的交线。直线的一般式ax+by+c=0。那么归一化平面上的c和d之间所有的点（x,y）点乘它们的法向量n，也是等于0的。xn1+yn2+n3=0。那么n1，n2，n3就是a，b，c。

$\begin{aligned}{l}^i = c{^i} \times d{^i} &= (KC{^n}) \times (KD{^n}) \\ &=\begin{bmatrix}fxX_C+cx \\ fyY_C+cy \\ 1\end{bmatrix}_{\times}\begin{bmatrix}fxX_D+cx \\ fyY_D+cy \\ 1\end{bmatrix} \\ &=\begin{bmatrix}0 & -1 & (fyY_C+cy) \\ 1 & 0 & -(fxX_C+cx) \\ -(fyY_C+cy) & (fxX_C+cx) & 0 \end{bmatrix}\begin{bmatrix}fxX_D+cx \\ fyY_D+cy \\ 1\end{bmatrix} \\ &=\begin{bmatrix}fy(Y_C-Y_D) \\ fx(X_C-X_D) \\ fxfy(X_CY_D-Y_CX_D)+fxcy(X_D-X_C)+fycx(Y_D-Y_C) \end{bmatrix} \\ &=\begin{bmatrix}fy & 0 & 0 \\ 0 & fx & 0 \\ -fycx & -fxcy & fxfy \end{bmatrix}\begin{bmatrix}Y_D-Y_C \\ X_D-X_C \\ X_CY_D-Y_CX_D \end{bmatrix} \\ &=\begin{bmatrix}fy & 0 & 0 \\ 0 & fx & 0 \\ -fycx & -fxcy & fxfy \end{bmatrix} \begin{bmatrix}X_C \\ Y_C \\ 1 \end{bmatrix}_{\times} \begin{bmatrix}X_D \\ Y_D \\ 1 \end{bmatrix} \\ &=\mathcal{K}(C{^n} \times D{^n}) \\ &=\mathcal{K} \mathbf{n} \end{aligned}$

上式表明，直线的线投影只和法向量有关和方向向量无关。
在这里插入图片描述

关于投影的误差，我们不可以直接从两幅图像的线段中得到，因为同一条直线在不同图像线段的长度和大小都是不一样的。衡量线的投影误差必须从空间中重投影回当前的图像中才能定义误差。在给定世界坐标系下的空间直线 $\mathcal{L}^w_l$ 和正交表示 $\mathcal{O}_l$ ，我们首先使用外参（这也是我们需要优化求解的东西） $T_{cw} = \left[\begin{matrix}R_{cw} & p_{cw}\\0&1 \end{matrix}\right]$ 将直线变换到相机归一化平面下的观测 $c_i$ 坐标下。然后再将直线利用相机内参投影到成像平面上得到投影线段 $\mathscr{l}_l^{c_i}$ ，然后我们就得到了线的投影误差。我们将线的投影误差定义为图像中观测线段的端点到从空间重投影回像素平面的预测直线的距离。

线段从世界坐标系转相机归一化平面坐标系：
$\begin{gathered} {\left[\begin{array}{l} \mathbf{n}_c \\ \mathbf{d}_c \end{array}\right]=\left[\begin{array}{cc} \mathbf{R}_{c w} & {\left[\mathbf{t}_{c w}\right]_{\times} \mathbf{R}_{c w}} \\ \mathbf{0} & \mathbf{R}_{c w} \end{array}\right]\left[\begin{array}{l} \mathbf{n}_w \\ \mathbf{d}_w \end{array}\right]=\left[\begin{array}{cc} \mathbf{R}_{w c}^T & {\left[-\mathbf{R}_{w c}^T \mathbf{t}_{w c}\right]_{\times} \mathbf{R}_{w c}^T} \\ \mathbf{0} & \mathbf{R}_{w c}^T \end{array}\right]\left[\begin{array}{l} \mathbf{n}_w \\ \mathbf{d}_w \end{array}\right]} \\ =\left[\begin{array}{cc} \mathbf{R}_{w c}^T & \mathbf{R}_{w c}^T\left[\mathbf{t}_{w c}\right]_{\times} \\ \mathbf{0} & \mathbf{R}_{w c}^T \end{array}\right]\left[\begin{array}{l} \mathbf{n}_w \\ \mathbf{d}_w \end{array}\right] \end{gathered}$

咨询贺博：直线既可以表示成非单位模长法向量 n 和单位向量 v，也可以表示成直线上有一个点 p 和单位向量 v

$\begin{aligned} P & =R P^{\prime} + t \\ V & =R V^{\prime} \\ L=\left[\begin{array}{c}n \\ V\end{array}\right]=\left[\begin{array}{c}[P]_{\times} V \\ V\end{array}\right] & =\left[\begin{array}{c}{\left[R P^{\prime}+t\right]_{\times} R V^{\prime}} \\ R V^{\prime}\end{array}\right] \\ & =\left[\begin{array}{c}{\left[R P^{\prime}\right]_{\times} R V^{\prime}+[t]_{\times} R V^{\prime}} \\ R V^{\prime}\end{array}\right] \\ & =\left[\begin{array}{c}R\left[P^{\prime}\right]_{\times} V^{\prime}+[t]_{\times} R V^{\prime} \\ R V^{\prime}\end{array}\right] \\ & =\left[\begin{array}{c}R n^{\prime}+[t]_{\times} R V^{\prime} \\ R V^{\prime}\end{array}\right]\end{aligned}$

最后一步推导用到了一个性质，该性质在李群中比较常见，即：当 $\in \mathbf{S O}(3)$ 时，有 $u]_{\times}=M[u]_{\times} M^T 。$

残差定义：

$\mathbf{r}_{l}\left(\mathbf{z}_{\mathcal{L}_{l}}^{c_{i}}, \mathcal{X}\right)=\left[ \begin{array}{l}{d\left(\mathbf{s}_{l}^{c_{i}}, \mathbf{l}_{l}^{c_{i}}\right)} \\ {d\left(\mathbf{e}_{l}^{c_{i}}, \mathbf{l}_{l}^{c_{i}}\right)}\end{array}\right]\\d(\mathbf{s}, 1)=\frac{\mathbf{s}^{\top} \mathbf{l}}{\sqrt{l_{1}^{2}+l_{2}^{2}}}$

其中 $\mathbf{s}_l^{c_i}$ 和 $\mathbf{e}_l^{c_i}$ 是图像中观测到的线段端点， $\mathbf{l}_l^{c_i}$ 是重投影的预测的直线。

double FeatureManager::reprojection_error( Vector4d obs, Matrix3d Rwc, Vector3d twc, Vector6d line_w ) {

    double error = 0;

    Vector3d n_w, d_w;
    n_w = line_w.head(3);
    d_w = line_w.tail(3);

    Vector3d p1, p2;
    p1 << obs[0], obs[1], 1;
    p2 << obs[2], obs[3], 1;
	// 根据外参将line从世界坐标系转到相机归一化平面坐标系
    Vector6d line_c = plk_from_pose(line_w,Rwc,twc);
    Vector3d nc = line_c.head(3);
    double sql = nc.head(2).norm();
    nc /= sql;

    error += fabs( nc.dot(p1) );
    error += fabs( nc.dot(p2) );
	
    return error / 2.0;
}

这里误差是归一化平面坐标系的误差，因此观测也应该要求是归一化平面，注意中间有个从像素坐标系到归一化平面坐标系的转换，这里没列出来。

误差求解函数在这里。

这个函数实际上只用在了外点剔除这里，真正的优化误差求解是在优化器那里定义的。而且感觉这里的实现坐标有点问题？

4.2.误差雅克比推导

如果要优化的话，需要知道误差的雅克比矩阵：

线特征在VIO下根据链式求导法则：

$\mathbf{J}_{l}=\frac{\partial \mathbf{r}_{l}}{\partial \mathbf{l}^{c_{i}}} \frac{\partial \mathbf{l}^{c_{i}}}{\partial \mathcal{L}^{c_{i}}}\left[\frac{\partial \mathcal{L}^{c_{i}}}{\partial \delta \mathbf{x}^{i}} \quad \frac{\partial \mathcal{L}^{c_{i}}}{\partial \mathcal{L}^{w}} \frac{\partial \mathcal{L}^{w}}{\partial \delta \mathcal{O}}\right]$

其中第一项 $\frac{\partial \mathbf{r}_{l}}{\partial \mathbf{l}^{c_{i}}}$ ，因为

$\mathbf{r}_l = \left[ \begin{matrix} \frac{\mathbf{s}^T\mathbf{l} }{\sqrt{l_1^2+l_2^2}} \\ \frac{\mathbf{e}^T\mathbf{l} }{\sqrt{l_1^2+l_2^2}} \end{matrix} \right] = \left[ \begin{matrix} \frac{u_sl_1+v_sl_2 }{\sqrt{l_1^2+l_2^2}} \\ \frac{u_el_1+v_el_2 }{\sqrt{l_1^2+l_2^2}} \end{matrix} \right] \\ \mathbf{s} = \left[\begin{matrix} u_s&v_s&1 \end{matrix} \right] \\ \mathbf{e} = \left[\begin{matrix} u_e&v_e&1 \end{matrix} \right] \\ \mathbf{l} = \left[\begin{matrix} l_1&l_2&l_3 \end{matrix} \right]$

所以：

$\begin{align} \frac{\partial \mathbf{r}_{l}}{\partial \mathbf{l}} &=\left[ \begin{array}{lll}{\frac{\partial r_{1}}{\partial l_{1}}} & {\frac{\partial r_{1}}{\partial l_{2}}} & {\frac{\partial r_{1}}{\partial l_{3}}} \\ {\frac{\partial r_{2}}{\partial l_{1}}} & {\frac{\partial r_{2}}{\partial l_{2}}} & {\frac{\partial r_{2}}{\partial l_{3}}}\end{array}\right] \\&=\left[\begin{matrix} \frac{-l_{1} \mathbf{s}_{l}^{\top} \mathbf{l}}{\left(l_{1}^{2}+l_{2}^{2}\right)^{\left(\frac{3}{2}\right)}}+\frac{u_{s}}{\left(l_{1}^{2}+l_{2}^{2}\right)^{\left(\frac{1}{2}\right)}} & \frac{-l_{2} \mathbf{s}_{l}^{\top} \mathbf{l}}{\left(l_{1}^{2}+l_{2}^{2}\right)^{\left(\frac{3}{2}\right)}}+\frac{v_{s}}{\left(l_{1}^{2}+l_{2}^{2}\right)^{\left(\frac{1}{2}\right)}} & \frac{1}{\left(l_{1}^{2}+l_{2}^{2}\right)^{\left(\frac{1}{2}\right)}} \\ \frac{-l_{1} \mathbf{e}_{l}^{\top} \mathbf{l}}{\left(l_{1}^{2}+l_{2}^{2}\right)^{\left(\frac{3}{2}\right)}}+\frac{e_{s}}{\left(l_{1}^{2}+l_{2}^{2}\right)^{\left(\frac{1}{2}\right)}} & \frac{-l_{2} \mathbf{e}_{l}^{\top} \mathbf{l}}{\left(l_{1}^{2}+l_{2}^{2}\right)^{\left(\frac{3}{2}\right)}}+\frac{v_{e}}{\left(l_{1}^{2}+l_{2}^{2}\right)^{\left(\frac{1}{2}\right)}} & \frac{1}{\left(l_{1}^{2}+l_{2}^{2}\right)^{\left(\frac{1}{2}\right)}} \end{matrix}\right]_{2\times3} \end{align}$

第二项 $\frac{\partial \mathbf{l}^{c_{i}}}{\partial \mathcal{L}^{c_{i}}}$ （像素坐标到相机归一化坐标，相差一个映射矩阵），因为

$\mathbf{l} = \mathcal{K}\mathbf{n} \\ \mathcal{L} = \left[\begin{matrix} \mathbf{n} & \mathbf{d}\end{matrix}\right]$

所以：

$\begin{align} \frac{\partial \mathrm{l}^{c_{i}}}{\partial \mathcal{L}_{i}^{c_{i}}}&=\left[ \begin{matrix} \frac{\partial \mathbf{l}}{\mathbf{n}} &\frac{\partial \mathbf{l}}{\mathbf{d}} \end{matrix} \right] \\&=\left[ \begin{array}{ll}{\mathcal{K}} & {0}\end{array}\right]_{3 \times 6} \end{align}$

最后一项矩阵包含两个部分，一个是相机坐标系下线特征对的旋转和平移的误差导数，第二个是直线对正交表示的四个参数增量的导数

第一部分中，

$\delta \mathbf{x}_{i}=\left[\delta \mathbf{p}, \delta \boldsymbol{\theta}, \delta \mathbf{v}, \delta \mathbf{b}_{a}^{b_{i}}, \delta \mathbf{b}_{g}^{b_{i}}\right]$

在VIO中，如果要计算线特征的重投影误差，需要将在世界坐标系 $w$ 下的线特征变换到IMU坐标系 $b$ 下，再用外参数 $\bf{T}_{bc}$ 变换到相机坐标系 $c$ 下。所以

$\begin{aligned} \mathcal{L}_{c} &=\mathcal{T}_{b c}^{-1} \mathcal{T}_{w b}^{-1} \mathcal{L}_{w} \\ &=\mathcal{T}_{b c}^{-1}\left[ \begin{matrix} \mathbf{R}_{w b}^{\top}\left(\mathbf{n}^{w}+\left[\mathbf{d}^{w}\right] \times \mathbf{p}_{wb}\right)\\ \mathbf{R}_{wb}^{\top}\mathbf{d}^w \end{matrix} \right]_{6 \times 1} \end{aligned}$

其中
$\cal{T}_{bc} = \left[ \begin{array}{cc}{\mathbf{R}_{bc}} & {\left[\mathbf{p}_{bc }\right]_{\times} \mathbf{R}_{bc}} \\ {\mathbf{0}} & {\mathbf{R}_{bc}}\end{array}\right]\\ \cal{T}_{bc}^{-1} = \left[\begin{matrix} \bf{R}_{bc}^{\top} &- \bf{R}_{bc}^{\top} [p_{bc}]_{\times} \\0&\ \bf{R}_{bc}^{\top} \end{matrix}\right]$
$-[a]_{\times}b=[b]_{\times}a$
线特征 $\cal{L}$ 只优化状态变量中的位移和旋转，所以只需要对位移和旋转求导，其他都是零。下面我们来具体分析旋转和位移的求导。首先是线特征对旋转的求导：

$\begin{align} \frac{\partial \mathcal{L}_{c}}{\partial \delta \theta_{b b^{\prime}}} &=\cal{T}_{bc}^{-1}\left[ \begin{array}{c}{\frac{\partial\left(\mathbf{I}-\left[\delta \boldsymbol{\theta}_{b b^{\prime}}\right]_\times\right) \mathbf{R}_{w b}^{\top}\left(\mathbf{n}^{w}+\left[\mathbf{d}^{w}\right]_\times \mathbf{p}_{w b}\right)}{\partial \delta \boldsymbol{\theta}_{b b^{\prime}}} ]} \\ {\frac{\partial\left(\mathbf{I}-\left[\delta \boldsymbol{\theta}_{b b^{\prime}}\right]_{\times}^{\top}\right) \mathbf{R}_{w b}^{\top} \mathbf{d}^{w}}{\partial \delta \boldsymbol{\theta}_{b b^{\prime}}}}\end{array}\right] \\ &=\mathcal{T}_{b c}^{-1} \left[ \begin{array}{c}{\left[\mathbf{R}_{w b}^{\top}\left(\mathbf{n}^{w}+\left[\mathbf{d}^{w}\right]_\times \mathbf{p}_{w b}\right)\right]_\times ]} \\ {\left[\mathbf{R}_{w b}^{\top} \mathbf{d}^{w}\right]_\times}\end{array}\right]_{6 \times 3} \end{align}$

然后是线特征对位移的求导：

$\begin{align} \frac{\partial\cal{L}_c}{\partial\delta \bf{p}_{bb^{\prime}}} &=\mathcal{T}_{b c}^{-1} \left[ \begin{array}{c}{\frac{\partial \mathbf{R}_{w b}^{\top}\left(\mathbf{n}^{w}+\left[\mathbf{d}^{w}\right]_{ \times}\left(\mathbf{p}_{w b}+\delta \mathbf{p}_{b b^{\prime}}\right)\right)}{\partial \delta \mathbf{p}_{b b^{\prime}}}} \\ {\frac{\partial \mathbf{R}_{w b}^{\top} \mathbf{d}^{w}}{\partial \delta \mathbf{p}_{b b^{\prime}}}}\end{array}\right] \\&=\mathcal{T}_{b c}^{-1} \left[ \begin{array}{c}{\mathbf{R}_{w b}^{\top}\left[\mathbf{d}^{w}\right]_{ \times}} \\ {0}\end{array}\right]_{6 \times 3} \end{align}$

第二部分中 $\frac{\partial \mathcal{L}^{c_{i}}}{\partial \mathcal{L}^{w}} \frac{\partial \mathcal{L}^{w}}{\partial \delta \mathcal{O}}$ ，先解释第一个 $\frac{\partial \mathcal{L}^{c_{i}}}{\partial \mathcal{L}^{w}}$

$\mathcal{L}^c = \mathcal{T}_{wc}^{-1}\mathcal{L}^w$

所以 $\frac{\partial\cal{L}^{c_i}}{\partial\cal{L}^w} = \mathcal{T}_{wc}^{-1}$

然后后面的 $\frac{\partial \mathcal{L}^{w}}{\partial \delta \mathcal{O}}$ 有两种思路，先介绍第一种：

$\frac{\partial \mathcal{L}^{w}}{\partial \delta \mathcal{O}} = \left[\begin{matrix} \frac{\partial\cal{L}^w}{\partial \psi_1} & \frac{\partial\cal{L}^w}{\partial \psi_2} & \frac{\partial\cal{L}^w}{\partial \psi_3} & \frac{\partial\cal{L}^w}{\partial \phi} \end{matrix} \right] \\ \frac{\partial \cal{L}^w}{\partial\psi_1} = \frac{\partial\cal{L}^w}{\partial \bf{U}}\frac{\partial \bf{U}}{\partial\psi_1} \\ \frac{\partial \cal{L}^w}{\partial\phi} = \frac{\partial\cal{L}^w}{\partial \bf{w}}\frac{\partial \bf{w}}{\partial\phi_1}$

其中 $\cal{L}$ 对 $\bf{U}$ 和 $\mathbf{w}=[w_1,w_2]$ 求导，因为 $\mathcal{L}^w = \left[ \begin{matrix} w_1\bf{u}^{\top}_1&w_2\bf{u}^{\top}_2 \end{matrix}\right]^{\top}$ ，所以

$\begin{align} \frac{\partial\cal{L}}{\partial\bf{U}} &= \left[\begin{matrix} \frac{\partial\cal{L}}{\partial\bf{U}_1} & \frac{\partial\cal{L}}{\partial\bf{U}_2} & \frac{\partial\cal{L}}{\partial\bf{U}_3} \end{matrix}\right]_{6\times9} \\ &=\left[\begin{matrix} w_{1(3\times3)}&0&0\\0&w_{2(3\times3)}&0\end{matrix}\right] \end{align}$

$\begin{align} \frac{\partial\cal{L}}{\partial\bf{w}} &= \left[\begin{matrix} \frac{\partial\cal{L}}{\partial w_1} & \frac{\partial\cal{L}}{\partial w_2} \end{matrix}\right]_{6\times2} \\ &=\left[\begin{matrix}\bf{u}_1&0 \\0&\bf{u}_2 \end{matrix}\right] \end{align}$

然后是 $\bf{U}$ 对 $\psi$ 和 $\bf{W}$ 对 $\phi$ 的求导，

因为 $\begin{aligned} \mathbf{U}^{\prime} & \approx \mathbf{U}\left(\mathbf{I}+[\delta \psi]_{ \times}\right) \end{aligned}$ ，所以

$\left[\begin{matrix} \bf{u}_1&\bf{u}_2 & \bf{u}_3 \end{matrix}\right]^{\prime} = \left[\begin{matrix} \bf{u}_1&\bf{u}_2 & \bf{u}_3 \end{matrix}\right] + \left[\begin{matrix} \bf{u}_1&\bf{u}_2 & \bf{u}_3 \end{matrix}\right]_{\times}\delta\psi \\\frac{ \left[\begin{matrix} \bf{u}_1&\bf{u}_2 & \bf{u}_3 \end{matrix}\right]^{\prime} - \left[\begin{matrix} \bf{u}_1&\bf{u}_2 & \bf{u}_3 \end{matrix}\right]}{\delta\psi} = \left[\begin{matrix} \bf{u}_1&\bf{u}_2 & \bf{u}_3 \end{matrix}\right]_{\times}\\ \frac{\partial\bf{U}}{\partial\psi_1} = \left[\begin{matrix} 0&\bf{u}_3 & -\bf{u}_2 \end{matrix}\right]\\ \frac{\partial\bf{U}}{\partial\psi_2} = \left[\begin{matrix} -\bf{u}_3&0 & \bf{u}_1 \end{matrix}\right]\\ \frac{\partial\bf{U}}{\partial\psi_1} = \left[\begin{matrix} \bf{u}_2 & -\bf{u}_1&0 \end{matrix}\right]\\ \frac{\partial\bf{w}}{\partial\phi} = \left[\begin{matrix} -w_2\\w_1 \end{matrix}\right]$

所以，可得

$\begin{align} \frac{\partial \mathcal{L}^{w}}{\partial \delta \mathcal{O}} &= \left[\begin{matrix} \frac{\partial\cal{L}^w}{\partial \psi_1} & \frac{\partial\cal{L}^w}{\partial \psi_2} & \frac{\partial\cal{L}^w}{\partial \psi_3} & \frac{\partial\cal{L}^w}{\partial \phi} \end{matrix} \right] \\ &= \left[\begin{matrix} \frac{\partial\cal{L}^w}{\partial\bf{U}}\frac{\partial\bf{U}}{\partial \psi_1} & \frac{\partial\cal{L}^w}{\partial\bf{U}}\frac{\partial\bf{U}}{\partial \psi_2} & \frac{\partial\cal{L}^w}{\partial\bf{U}}\frac{\partial\bf{U}}{\partial \psi_3} & \frac{\partial\cal{L}^w}{\partial \bf{w}}\frac{\partial \bf{w}}{\partial \phi} \end{matrix} \right] \\ &=\left[\begin{matrix}0&-w_1\bf{u}_3&w_1\bf{u}_2&-w_2\bf{u}_1\\w_2\bf{u}_3 &0&-w_2\bf{u}_1&w_1\bf{u}_2 \end{matrix} \right]_{6\times4} \end{align}$

古路

关注

25
点赞
踩
14

收藏

觉得还不错? 一键收藏
0
评论
pl_vio线特征·part I

然而, 使用由法线向量和方向向量表示的 3D 线, 可以简单地从两个几何视图执行三角测量, 并且也可以方便地对线几何变换进行建模。此外，正交表示和普吕克坐标可以相互转换，这意味着我们可以在 SLAM 系统中出于不同的目的同时采用它们。的定义, 这四个 DoF 包括来自旋转矩阵 (将线坐标变换到相机坐标系) 的 3 个 DoF, 以及来自距离。是由直线和坐标原点确定的平面法向量。当在两个不同的摄像机视图中观察到新的线地标时，可以轻松计算出普吕克坐标。匹配的结果，对应关系，其实就是存储的全局ID信息。
复制链接

扫一扫