[논문 리뷰] Equivariant Systems Theory and Observer Design

Robert Mahony, Tarek Hamel외 1명|arXiv (Cornell University)|2020. 06. 15.

Robotics and Sensor-Based Localization참고 문헌 50인용 수 25

한 줄 요약

이 논문은 비선형 시스템의 관측기 설계를 위한 기초 프레임워크를 제안하며, 동치계 시스템 이론과 리군 대칭성을 활용하여 동차 공간 위의 비선형 시스템에 대해 설계한다. 동치성 입력 확장과 상승된 오차 동역학을 도입하여 안정적이고 거의 전역적인 관측기 설계를 가능하게 하며, 핵심 결과로 오차 동역학이 상태 다양체 자체가 아닌 대칭군 상의 대칭을 유지하는 구조를 통해 분리되고 안정화될 수 있음을 보여준다.

ABSTRACT

A wide range of system models in modern robotics and avionics applications admit natural symmetries. Such systems are termed equivariant and the structure provided by the symmetry is a powerful tool in the design of observers. Significant progress has been made in the last ten years in the design of filters and observers for attitude and pose estimation, tracking of homographies, and velocity aided attitude estimation, by exploiting their inherent Lie-group state-space structure. However, little work has been done for systems on homogeneous spaces, that is systems on manifolds on which a Lie-group acts rather than systems on the Lie-group itself. Recent research in robotic vision has discovered symmetries and equivariant structure on homogeneous spaces for a host of problems including the key problems of visual odometry and visual simultaneous localisation and mapping. These discoveries motivate a deeper look at the structure of equivariant systems on homogeneous spaces. This paper provides a comprehensive development of the foundation theory required to undertake observer and filter design for such systems.

연구 동기 및 목표

• 현대 로봇공학 및 항공전자 분야에서 흔히 나타나는 동차 상태 공간을 가진 시스템에 대한 관측기 설계를 위한 통합 이론적 기초를 마련하는 것.
• 시각적 오도메트리 및 SLAM과 같은 문제에서 널리 발생하는 동차 다양체 위의 시스템에 대해 체계적인 관측기 설계 방법의 부재를 해결하는 것.
• 특히 관측기 설계에서 대칭성과 동치성의 사용을 체계화하며, 동역학을 대칭군으로 올려 오차 분석을 단순화하는 것.
• 동치성 확장을 통해 상태 공간의 기하학적 구조를 활용함으로써 관측기의 안정성과 성능을 크게 향상시킬 수 있음을 보여주는 것.
• SO(3), SE(3), SL(3) 등 다양한 시스템과 TSO(3), TSE(3)와 같은 새로운 구조를 포함한 광범위한 시스템 클래스에 적용 가능한 일반적인 방법론을 제공하는 것.

제안 방법

• 논문은 동차 공간 위의 시스템을 대칭 리군 위의 해당 시스템으로 매핑하는 '시스템 라이프트' 개념을 도입하여 군의 구조를 통해 분석이 가능하도록 한다.
• 입력이 군 작용에 따라 일관되게 변형되는 동치성 입력 확장을 정의하여, 동역학 내에서 대칭성이 유지되도록 한다.
• 오차 동역학은 고리 표현과 군 작용의 미분을 통해 군 작용에 의해 표현되며, 이는 불변 오차 표현을 가능하게 한다.
• 핵심적 혁신은 오차 동역학을 변환된 입력 w(t) = ψ_X^{-1}(v(t))를 통해 관측기 상태에만 의존하는 형태로 변환하는 동치성 라이프트 Λ: M × V → g의 사용이다.
• 결과적으로 얻어진 오차 동역학(식 48)은 전체 상태로부터 분리되어 오직 오차 e와 변환된 입력 w(t)에만 의존하므로 안정화가 용이하다.
• 비선형 혁신 함수 Δ_t에 의해 관측기 아키텍처가 정의되며, 이는 확장된 칼만 필터 원리 또는 구조적 비선형 설계 원칙에 기반한 설계 선택을 반영한다.

실험 결과

연구 질문

• RQ1 상태 공간이 리군이 아닌 동차 다양체인 시스템에 대해 관측기 설계를 어떻게 체계적으로 일반화할 수 있는가?
• RQ2 동치성과 군 대칭성이 비선형 시스템에 대해 안정적이고 전역 수렴 가능한 관측기 설계를 가능하게 하는 역할은 무엇인가?
• RQ3 시스템을 대칭군으로 라이프트함으로써 전체 시스템 상태로부터 오차 동역학을 어떻게 분리할 수 있는가?
• RQ4 불변 오차가 존재하기 위한 조건는 무엇이며, 이를 통해 관측기를 안정화시킬 수 있는가?
• RQ5 시스템의 입력을 어떻게 동치성적으로 확장하여 관측기 동역학 내에서 대칭성을 유지할 수 있는가?

주요 결과

• 논문은 동차 공간 위의 어떤 운동학적 시스템이라도 대칭군으로 라이프트함으로써 동치성 관측기를 구성할 수 있음을 입증한다. 이는 안정된 오차 동역학을 가능하게 한다.
• 라이프트된 프레임워크에서 표현된 오차 동역학은 오직 오차 e와 변환된 입력 w(t)에만 의존하며, 전체 상태와는 독립적이므로 안정화가 간편하다.
• 불변 오차의 존재를 증명하였으며, 이 오차가 적절한 혁신 함수 설계 시 전역적으로 안정된 관측기를 정의하는 데 사용될 수 있음을 보여준다.
• 제안된 방법론은 IEKF 및 MEKF와 같은 기존 접근법을 동차 공간 위의 시스템으로 일반화하여, 이들의 적용 범위를 리군 상태 공간을 초월하도록 확장한다.
• 이 프레임워크는 관측기의 거의 전역적 점근적 안정성을 가능하게 하며, 이는 이전의 시각 SLAM 및 속도 보조 자세 추정 연구에서 입증된 linе.
• 이 이론은 로봇공학 및 항공전자 분야에서 동차 다양체 위의 대칭성을 보이는 새로운 문제들에 대한 관측기 설계를 위한 기초를 제공한다.