Making Space for Time: The Special Galilean Group and Its Application to Some Robotics Problems
Jonathan Kelly
TL;DR
Robotics often treats space and time separately and ignores temporal uncertainty. The paper proposes modeling motion with the 10‑dimensional special Galilean group $SGal(3)$, whose Lie algebra and a closed‑form $exp$ map enable a unified representation of spatial and temporal uncertainty via Gaussian perturbations in the tangent space and the $log$ map. Key contributions are (i) a concise description of $SGal(3)$ and its Lie algebra, (ii) a concrete perturbation framework for uncertainty, and (iii) guidance for applying $SGal(3)$ to preintegration, navigation, and calibration, with a focus on temporal delays and their impact on spatial estimates. The work argues that incorporating temporal uncertainty in robotics can improve state estimation and calibration in multisensor systems, with practical relevance to IMU-based fusion and time-stamped measurements.
Abstract
The special Galilean group, usually denoted SGal(3), is a 10-dimensional Lie group whose important subgroups include the special orthogonal group, the special Euclidean group, and the group of extended poses. We briefly describe SGal(3) and its Lie algebra and show how the group structure supports a unified representation of uncertainty in space and time. Our aim is to highlight the potential usefulness of this group for several robotics problems.
