TY - JOUR
T1 - Equivariant Filter Design for Kinematic Systems on Lie Groups
AU - Mahony, Robert
AU - Trumpf, Jochen
N1 - Publisher Copyright:
Copyright © 2021 The Authors. This is an open access article under the CC BY-NC-ND license.
PY - 2021/6/1
Y1 - 2021/6/1
N2 - It is known that invariance and equivariance properties for systems on Lie groups can be exploited in the design of high performance and robust observers and filters for real- world robotics applications such as inertial navigation or simultaneous localization and mapping (SLAM). This paper proposes an analysis framework that allows any kinematic system on a Lie group to be embedded in a natural manner into an equivariant kinematic system. This framework allows us to characterise the properties of, and relationships between, invariant systems, group affine systems, and equivariant systems. We propose a new filter design, the Equivariant Filter (EqF), that exploits the equivariance properties of the system embedding and can be applied to any kinematic system on a Lie group. The EqF specializes to the Invariant Extended Kalman Filter (IEKF) in the case where the observed system is group affine or invariant.
AB - It is known that invariance and equivariance properties for systems on Lie groups can be exploited in the design of high performance and robust observers and filters for real- world robotics applications such as inertial navigation or simultaneous localization and mapping (SLAM). This paper proposes an analysis framework that allows any kinematic system on a Lie group to be embedded in a natural manner into an equivariant kinematic system. This framework allows us to characterise the properties of, and relationships between, invariant systems, group affine systems, and equivariant systems. We propose a new filter design, the Equivariant Filter (EqF), that exploits the equivariance properties of the system embedding and can be applied to any kinematic system on a Lie group. The EqF specializes to the Invariant Extended Kalman Filter (IEKF) in the case where the observed system is group affine or invariant.
KW - Equivariant filter (eqf)
KW - Equivariant systems theory
KW - Nonlinear observers
UR - http://www.scopus.com/inward/record.url?scp=85117926332&partnerID=8YFLogxK
U2 - 10.1016/j.ifacol.2021.06.148
DO - 10.1016/j.ifacol.2021.06.148
M3 - Conference article
AN - SCOPUS:85117926332
SN - 2405-8963
VL - 54
SP - 253
EP - 260
JO - IFAC-PapersOnLine
JF - IFAC-PapersOnLine
IS - 9
T2 - 24th International Symposium on Mathematical Theory of Networks and Systems, MTNS 2020
Y2 - 23 August 2021 through 27 August 2021
ER -