cs.ROMar 16, 2026
SaveOn the Derivation of Tightly-Coupled LiDAR-Inertial Odometry with VoxelMap
Abstract
This note presents a concise mathematical formulation of tightly-coupled LiDAR-Inertial Odometry within an iterated error-state Kalman filter framework using a VoxelMap representation. Rather than proposing a new algorithm, it provides a clear and self-contained derivation that unifies the geometric modeling and probabilistic state estimation through consistent notation and explicit formulations. The document is intended to serve both as a technical reference and as an accessible entry point for a foundational understanding of the system architecture and estimation principles.
Figures & tables
Figure 1: System overview of the VoxelMap-based LIO framework. LiDAR and IMU measurements are preprocessed and fused within an iterated error-state Kalman filter. The estimated pose registers points to the global frame and incrementally updates the VoxelMap.
| Symbols | Meaning |
|---|---|
| The scan-end time of the -th LiDAR scan. | |
| The -th IMU sample time in a LiDAR scan. | |
| The -th feature point’s sample time in a LiDAR scan. | |
| The IMU body frame at the time , and . | |
| The LiDAR body frame at the time and . | |
| The ground-true, propagated, and updated value of . |
Table 1: Important Notations.
Figure 2: The uncertainty model of the registered point.
Figure 3: The Uncertainty model of the plane normal.
Figure 4: The forward and backward propagation.
More in this topic
LiDAR Odometry
LiDAR odometry (light detection and ranging) estimates a robot’s motion by aligning successive laser scans, often with inertial data.
See all 46 papers