Table of Contents
Fetching ...

Efficient Invariant Kalman Filter for Inertial-based Odometry with Large-sample Environmental Measurements

Xinghan Li, Haoying Li, Guangyang Zeng, Qingcheng Zeng, Xiaoqiang Ren, Chao Yang, Junfeng Wu

TL;DR

This work tackles the problem of globally optimal pose estimation for inertial-based odometry under non-linear measurements by developing an Efficient Invariant Kalman Filter (EIKF) that operates on the Lie group $SE_2(3)$. It combines a Gauss-Newton on Lie groups (LGN) update with a $\ oot{n}$-consistent initialization derived from large environmental measurements, yielding an update with $O(n)$ complexity and asymptotic MMSE optimality. The approach provides $\ oot{n}$-consistent pose estimators for camera (PnP) and LiDAR (ICP), enabling robust initialization and improved convergence in large-sample environmental measurement scenarios. Extensive simulations and real-data experiments across VIO, LIO, and LVIO demonstrate superior accuracy and runtime efficiency compared to state-of-the-art filters like IEKF and InEKF, with open-source code for replication.

Abstract

A filter for inertial-based odometry is a recursive method used to estimate the pose from measurements of ego-motion and relative pose. Currently, there is no known filter that guarantees the computation of a globally optimal solution for the non-linear measurement model. In this paper, we demonstrate that an innovative filter, with the state being $SE_2(3)$ and the $\sqrt{n}$-\textit{consistent} pose as the initialization, efficiently achieves \textit{asymptotic optimality} in terms of minimum mean square error. This approach is tailored for real-time SLAM and inertial-based odometry applications. Our first contribution is that we propose an iterative filtering method based on the Gauss-Newton method on Lie groups which is numerically to solve the estimation of states from a priori and non-linear measurements. The filtering stands out due to its iterative mechanism and adaptive initialization. Second, when dealing with environmental measurements of the surroundings, we utilize a $\sqrt{n}$-consistent pose as the initial value for the update step in a single iteration. The solution is closed in form and has computational complexity $O(n)$. Third, we theoretically show that the approach can achieve asymptotic optimality in the sense of minimum mean square error from the a priori and virtual relative pose measurements (see Problem~\ref{prob:new update problem}). Finally, to validate our method, we carry out extensive numerical and experimental evaluations. Our results consistently demonstrate that our approach outperforms other state-of-the-art filter-based methods, including the iterated extended Kalman filter and the invariant extended Kalman filter, in terms of accuracy and running time.

Efficient Invariant Kalman Filter for Inertial-based Odometry with Large-sample Environmental Measurements

TL;DR

This work tackles the problem of globally optimal pose estimation for inertial-based odometry under non-linear measurements by developing an Efficient Invariant Kalman Filter (EIKF) that operates on the Lie group . It combines a Gauss-Newton on Lie groups (LGN) update with a -consistent initialization derived from large environmental measurements, yielding an update with complexity and asymptotic MMSE optimality. The approach provides -consistent pose estimators for camera (PnP) and LiDAR (ICP), enabling robust initialization and improved convergence in large-sample environmental measurement scenarios. Extensive simulations and real-data experiments across VIO, LIO, and LVIO demonstrate superior accuracy and runtime efficiency compared to state-of-the-art filters like IEKF and InEKF, with open-source code for replication.

Abstract

A filter for inertial-based odometry is a recursive method used to estimate the pose from measurements of ego-motion and relative pose. Currently, there is no known filter that guarantees the computation of a globally optimal solution for the non-linear measurement model. In this paper, we demonstrate that an innovative filter, with the state being and the -\textit{consistent} pose as the initialization, efficiently achieves \textit{asymptotic optimality} in terms of minimum mean square error. This approach is tailored for real-time SLAM and inertial-based odometry applications. Our first contribution is that we propose an iterative filtering method based on the Gauss-Newton method on Lie groups which is numerically to solve the estimation of states from a priori and non-linear measurements. The filtering stands out due to its iterative mechanism and adaptive initialization. Second, when dealing with environmental measurements of the surroundings, we utilize a -consistent pose as the initial value for the update step in a single iteration. The solution is closed in form and has computational complexity . Third, we theoretically show that the approach can achieve asymptotic optimality in the sense of minimum mean square error from the a priori and virtual relative pose measurements (see Problem~\ref{prob:new update problem}). Finally, to validate our method, we carry out extensive numerical and experimental evaluations. Our results consistently demonstrate that our approach outperforms other state-of-the-art filter-based methods, including the iterated extended Kalman filter and the invariant extended Kalman filter, in terms of accuracy and running time.
Paper Structure (46 sections, 11 theorems, 106 equations, 10 figures, 5 tables, 3 algorithms)

This paper contains 46 sections, 11 theorems, 106 equations, 10 figures, 5 tables, 3 algorithms.

Key Result

Lemma 1

For any $x^\wedge,y^\wedge\in\mathfrak{se}_2(3)$, their matrix exponentials is compounded by the following approximation: Here, ${\mathrm{dexp}}_x$ is known as the left Jacobian of $x^\wedge\in\mathfrak{se}_2(3)$, and its inverse has the form: where the operator $\mathrm{ad}_x(y^\wedge)$ is defined in eqn:definition_of_adjoint_differential.

Figures (10)

  • Figure 1: Fig. \ref{['fig:architecture']} depicts the architecture of efficient invariant Kalman filter (EIKF). In LEM scenarios, EIKF solves Problems \ref{['prob:predict problem']} and \ref{['prob:new update problem']}, which are approximate to exact predict and update (Problems \ref{['prob:update problem']} and \ref{['prob:original predict problem']}) for sequential Bayesian filtering. Fig. \ref{['fig:efficiency']} is a snapshot of the LiDAR-Visual-Inertial odometry with EIKF in the zzz_day_02 sequence of the public dataset mcdviral2023. EIKF represented by the yellow line outperforms other filtering methods in terms of accuracy (see specific performance metrics in Table \ref{['table:exp_LVIO']}).
  • Figure 2: The estimated trajectories, time analysis and RMSEs of orientation and position through IEKF, InEKF, EIKF-C and EIKF-I for VIO. The initial position deviation is set to $[0.5m, 0.5m, 0.5m]$, and the initial attitude deviation is set to $[\frac{\pi}{6}, \frac{\pi}{6}, -\frac{\pi}{6}]$ ($[\text{roll}, \text{pitch}, \text{yaw}]$). The entire trajectory is generated using $70\sin{(0.15t)},80\sin{(0.15t)},7\sin{(0.75t)}.$. We allow a maximum of three iterations for IEKF and EIKF-I. All methods successfully converge, but exhibit different average RMSE values over the entire evolution. Indeed, EIKF-C demonstrates superior performance in low cost as other filterings do, small RMSE and a fast convergence rate, with just a single iteration in update of the time period from $t=0$ to $30$.
  • Figure 3: RMSEs for orientation and position, versus different numbers of landmarks, are compared among IEKF, InEKF, EIKF-C, and EIKF-I. EIKFs outperform others in terms of both asymptotic convergence rate and the average RMSE.
  • Figure 4: RMSEs for orientation and position, versus different levels of noises, are compared among IEKF, InEKF, EIKF-C, and EIKF-I.
  • Figure 5: RMSEs for orientation and position, versus different scales of initial deviations, are compared among IEKF, InEKF, EIKF-C, and EIKF-I.
  • ...and 5 more figures

Theorems & Definitions (21)

  • Lemma 1: Theorem 5.3 in Hall2004LieGL
  • Lemma 2
  • Definition 1: Consistency in statistical theory
  • Definition 2: $\sqrt{n}$-consistency
  • Definition 3: Efficiency
  • Lemma 3: Dynamics of uncertainty
  • Remark 1: State estimation with estimated biases
  • Remark 2: Existing works in $SE_2(3)$
  • Remark 3: Refinement of InEKF
  • Theorem 1
  • ...and 11 more