[논문 리뷰] Quaternions and Attitude Representation

Hardik Parwana, Mangal Kothari|arXiv (Cornell University)|2017. 08. 29.

Inertial Sensor and Navigation참고 문헌 4인용 수 15

한 줄 요약

이 논문은 항공우주공학 분야에서 자세 표현 방법을 종합적으로 비교하며, 구면좌표계의 특이점이 없는 유클리드 각도와 회전 행렬의 대안으로 쿼터니언을 중심으로 다룬다. 쿼터니언의 수학적 정의, 이를 회전 행렬 및 유클리드 각도와의 관계, 기구 고정 문제(gimbal lock)를 방지하고 효율적인 자세 보간 및 변환 조합을 가능하게 하는 장점을 설명한다.

ABSTRACT

The attitude space has been parameterized in various ways for practical purposes. Different representations gain preferences over others based on their intuitive understanding, ease of implementation, formulaic simplicity, and physical as well as mathematical complications involved in using them. This technical note gives a brief overview and discusses the quaternions, which are fourth dimensional extended complex numbers and used to represent orientation. Their relationship to other modes of attitude representation such as Euler angles and Axis-Angle representation is also explored and conversion from one representation to another is explained. The conventions, intuitive understanding and formulas most frequently used and indispensable to any quaternion application are stated and wherever possible, derived.

연구 동기 및 목표

• 다양한 자세 표현 방식, 즉 회전 행렬, 유클리드 각도, 쿼터니언, 축/각 파arameterization의 장단점을 분석하고 비교하는 것.
• 유클리드 각도에서 발생하는 수학적 특이점 문제, 즉 기구 고정 문제를 특정하게 규명하고, 특히 기울기 각도가 90°일 때 발생하는 원인을 설명하는 것.
• 고체역학에서 3차원 자세를 표현하는 데 있어 안정적이고 계산 효율적이며 특이점이 없는 대안으로 쿼터니언을 정립하는 것.
• 표준 자세 순서(예: 321)에 대해 쿼터니언과 유클리드 각도 간의 명시적 변환 공식을 유도하여 항공우주 및 로봇 공학 분야에서의 실용적 구현 가능성을 확보하는 것.

제안 방법

• SO(3), 즉 행렬식이 +1인 3×3 직교행렬의 특수직교군을 기초로 하는 자세 표현으로서의 회전 행렬을 사용한다.
• 321 자세 순서를 기반으로 각속도와 유클리드 각도 변화율 간의 수학적 관계를 유도하며, 자세 행렬의 자코비안 행렬이 특이해지는 조건을 통해 θ = 90°에서의 특이점을 보여준다.
• 특이점이 없는 자세 표현을 위해 4개의 매개변수를 가진 쿼터니언 q = q₀ + q₁i + q₂j + q₃k를 도입하며, ||q|| = 1의 제약 조건을 만족시킨다.
• 쿼터니언에서의 자세 행렬을 R = [q₀² + q₁² - q₂² - q₃², ...]의 공식을 통해 유도함으로써 쿼터니언을 SO(3)로 매핑한다.
• 쿼터니언 곱을 통해 자세의 조합을 수립하며, 국소 자세는 오른쪽 곱으로 누적된다: q = qϕ ∘ qθ ∘ qψ.
• 반각(trigonometric) 항등식을 활용한 유클리드 각도에서 쿼터니언으로의 변환 공식을 제공하며, 예를 들어 q₀ = cos(ϕ/2)cos(θ/2)cos(ψ/2) - sin(ϕ/2)sin(θ/2)sin(ψ/2)와 같다.

실험 결과

연구 질문

• RQ1 왜 유클리드 각도는 기구 고정 문제를 겪는가? 그리고 이 특이점이 발생하는 수학적 조건은 무엇인가?
• RQ2 쿼터니언은 어떻게 유클리드 각도 표현에서 발생하는 특이점 문제를 제거하면서도 최소한의 매개변수로 유지하는가?
• RQ3 표준 321 자세 순서에서 쿼터니언, 자세 행렬, 유클리드 각도 간의 정확한 수학적 관계는 무엇인가?
• RQ4 쿼터니언 곱을 사용하여 다중 자세 조합을 어떻게 효율적으로 수행하고 유클리드 각도 표현에서 발생하는 불연속성 문제를 피할 수 있는가?
• RQ5 동적 자세 제어 시스템에서 자세 행렬이나 유클리드 각도에 비해 쿼터니언을 사용할 때의 계산 및 수치적 이점은 무엇인가?

주요 결과

• 유클리드 각도는 기울기 각도가 90°일 때 특이점을 보이며, 자세 행렬의 자코비안 행렬이 특이해져 역변환을 정의할 수 없게 되고, 무한대가 되는 탄젠트 및 secant 항목이 발생한다.
• 쿼터니언은 SO(3)를 이중 커버링(double-covering) 방식으로 표현함으로써 특이점을 피한다. 즉, q와 -q는 동일한 자세를 나타내므로 모든 자세에서 연속적인 매개변수화가 보장된다.
• 쿼터니언으로 유도된 자세 행렬은 쿼터니언 성분이 유클리드 각도의 반각 사인 및余弦으로 계산될 경우 표준 321 유클리드 자세 행렬과 정확히 일치한다.
• 쿼터니언에서 유클리드 각도로의 변환은 arcsin(2(q₀q₂ + q₁q₃))과 같은 역삼각함수를 통해 가능하며, 사분면의 모호함을 적절히 처리해야 한다.
• 쿼터니언 기반 자세 조합은 수치적으로 안정적이고 효율적이며, 불연속성이 없는 부드러운 보간과 변환의 연결을 가능하게 한다.
• 논문은 쿼터니언이 자세 조합 과정에서 비싼 삼각함수 연산을 피함으로써 유클리드 각도보다 계산 효율성이 높으며, 매개변수 수와 제약 조건 처리 측면에서 자세 행렬보다도 더 효율적임을 확인한다.