[논문 리뷰] Special Orthogonal Group SO(3), Euler Angles, Angle-axis, Rodriguez Vector and Unit-Quaternion: Overview, Mapping and Challenges

Hashim A. Hashim|arXiv (Cornell University)|2019. 09. 14.

Aerospace Engineering and Control Systems인용 수 27

한 줄 요약

이 논문은 3차원 공간에서 자세 표현을 SO(3), 올리어 각도, 축-각도, 로드리게스 벡터, 단위 허수 파arameterization을 사용하여 종합적으로 개요한다. 이 표현들 간의 사상, 핵심 역학 및 오차 모델의 유도, 올리어 각도의 특이점과 단위 허수의 유일성 부재와 같은 핵심 과제를 밝히며 항공우주 및 로봇 공학 응용 분야에서 견고한 필터 및 제어 설계를 위한 필수 도구를 제공한다.

ABSTRACT

The attitude of a rigid-body in the three dimensional space has a unique and global definition on the Special Orthogonal Group SO (3). This paper gives an overview of the rotation matrix, attitude kinematics and parameterization. The four most frequently used methods of attitude representations are discussed with detailed derivations, namely Euler angles, angle-axis parameterization, Rodriguez vector, and unit-quaternion. The mapping from one representation to others including SO (3) is given. Also, important results which could be useful for the process of filter and/or control design are given. The main weaknesses of attitude parameterization using Euler angles, angle-axis parameterization, Rodriguez vector, and unit-quaternion are illustrated. Keywords: Special Orthogonal Group 3, Euler angles, Angle-axis, Rodriguez Vector, Unit-quaternion, SO(3), Mapping, Parameterization, Attitude, Control, Filter, Observer, Estimator, Rotation, Rotational matrix, Transformation matrix, Orientation, Transformation, Roll, Pitch, Yaw, Quad-rotor, Unmanned aerial vehicle, Robot, spacecraft, satellite, UAV, Underwater vehicle, autonomous, system, Pose, literature review, survey, overview, comparison, comparative study, body frame, identity, origin, dynamics, kinematics, Lie group, inertial frame, zero, filter, control, estimate, observation, measurement, 3D, three dimensional space, advantage, disadvantage.

연구 동기 및 목표

• 3차원 공간에서 가장 일반적인 자세 파arameterization인 SO(3), 올리어 각도, 축-각도, 로드리게스 벡터, 단위 허수를 통합적으로 개괄하는 것.
• 모든 주요 자세 표현 간의 명시적 사상 유도 및 제공으로, 파arameterization 간의 원활한 변환을 가능하게 하는 것.
• 각 파arameterization 방법의 기본적 한계 및 과제(특이점, 비유일성 등)를 식별하고 분석하는 것.
• 각 표현에 대해 자세 오차 역학, 측정 모델, 업데이트 법칙을 유도함으로써 견고한 필터 및 제어 설계를 지원하는 것.

제안 방법

• 직교 변환과 로드리게스 공식을 사용하여 SO(3)에서 각 파arameterization으로의 회전 행렬 사상 유도.
• 삼각함수 및 벡터 항등식을 사용하여 올리어 각도, 축-각도, 로드리게스 벡터, 단위 허수 간의 정방향 및 역방향 사상 수립.
• quaternion 곱셈과 벡터 외적을 사용하여 단위 허수 자세 역학과 센서 측정 모델을 연속 및 이산 시간 형태로 개발.
• 로그 매핑과 탄성 공간 투영을 사용하여 로드리게스 벡터와 단위 허수 기반 자세 오차 역학 정의.
• 벡터 기반의 vee 연산자와 반대칭 행렬 표현을 사용하여 회전 행렬을 각속도 및 오차 상태로 변환.
• SO(3) 상의 정규화된 유클리드 거리로 자세 오차 지표 정의하여 회전군의 구조에 영향을 받지 않는 특성 확보.

실험 결과

연구 질문

• RQ1 다양한 자세 파arameterization(올리어 각도, 축-각도, 로드리게스 벡터, 단위 허수)은 SO(3)와 상호간에 어떻게 사상되는가?
• RQ2 각 파arameterization에서 자세의 진화를 지배하는 동역학 방정식은 무엇이며, 특히 단위 허수와 로드리게스 벡터의 경우 어떻게 되는가?
• RQ3 각 표현 방식에서 내재된 특이점과 비유일성 문제점은 무엇이며, 이는 추정 및 제어 시스템에 어떤 영향을 미치는가?
• RQ4 관측기 및 필터 설계에 활용하기 위해 다양한 파arameterization 간에 일관된 자세 오차 및 오차 역학을 어떻게 정의할 수 있는가?
• RQ5 이러한 사상과 한계는 실시간 제어 및 추정 응용 분야에 실질적인 영향을 미치는가?

주요 결과

• SO(3) 상의 회전 행렬 표현은 올리어 각도와 로드리게스 벡터와 달리 유일하고 전역적이며 특이점이 없는 3차원 자세의 기술을 제공한다.
• 올리어 각도는 특정 구성(예: 피치 = ±90°)에서 기구 잠금(gimbal lock) 현상으로 인해 자유도 하나를 상실한다.
• 로드리게스 벡터는 자세 회전 역행 시 0°에서, 축-각도 표현은 180°에서 분모가 0이 되어 역행 사상에서 특이점이 발생한다.
• 단위 허수는 특이점을 피하지만, q와 -q가 동일한 회전을 나타내므로 추정에서 오차 수렴에 어려움을 겪는다.
• 단위 허수에서 로드리게스 벡터로의 사상은 ρ = q/q₀ (q₀ ≠ 0) 로 주어지며, 역방향 사상은 특이점 방지를 위해 정규화가 필요하다.
• 단위 허수 업데이트 법칙은 연속 시간 역학 dQ/dt = (1/2)Q ⊗ ω를 사용하여 유도되며, 여기서 ω는 각속도 벡터로, 필터 내에서 안정적인 통합이 가능하다.