A micro Lie theory for state estimation in robotics

12/04/2018
by   Joan Solà, et al.
0

A Lie group is an old mathematical abstract object dating back to the XIX century, when mathematician Sophus Lie laid the foundations of the theory of continuous transformation groups. As it often happens, its usage has spread over diverse areas of science and technology many years later. In robotics, we are recently experiencing an important trend in its usage, at least in the fields of estimation, and particularly in motion estimation for navigation. Yet for a vast majority of roboticians, Lie groups are highly abstract constructions and therefore difficult to understand and to use. This may be due to the fact that most of the literature on Lie theory is written by and for mathematicians and physicists, who might be more used than us to the deep abstractions this theory deals with. In estimation for robotics it is often not necessary to exploit the full capacity of the theory, and therefore an effort of selection of materials is required. In this paper, we will walk through the most basic principles of the Lie theory, with the aim of conveying clear and useful ideas, and leave a significant corpus of the Lie theory behind. Even with this mutilation, the material included here has proven to be extremely useful in modern estimation algorithms for robotics, especially in the fields of SLAM, visual odometry, and the like. Alongside this micro Lie theory, we provide a vast reference of formulas for the major Lie groups used in robotics, including most jacobian matrices and the way to easily manipulate them. We also present a new C++ template-only library implementing all the functionality described here.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/02/2020

The Geometry and Kinematics of the Matrix Lie Group SE_K(3)

Currently state estimation is very important for the robotics, and the u...
research
12/08/2021

Formalising Lie algebras

Lie algebras are an important class of algebras which arise throughout m...
research
09/02/2021

Optimization and Sampling Under Continuous Symmetry: Examples and Lie Theory

In the last few years, the notion of symmetry has provided a powerful an...
research
09/28/2020

Shrinkage Estimation of the Frechet Mean in Lie groups

Data in non-Euclidean spaces are commonly encountered in many fields of ...
research
08/01/2021

Elements of Differential Geometry in Lean: A Report for Mathematicians

We report on our experience formalizing differential geometry with mathl...
research
05/21/2023

Kernel Stein Discrepancy on Lie Groups: Theory and Applications

Distributional approximation is a fundamental problem in machine learnin...
research
03/07/2019

Reparameterizing Distributions on Lie Groups

Reparameterizable densities are an important way to learn probability di...

Please sign up or login with your details

Forgot password? Click here to reset