[論文レビュー] Quaternions and Attitude Representation

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

Inertial Sensor and Navigation参考文献 4被引用数 15

ひとこと要約

本論文は、航空宇宙工学分野における姿勢表現手法の包括的比較を提供し、オイラー角や回転行列の代替手段として特異点のないクォータニオンに焦点を当てる。クォータニオンの数学的定式化、回転行列およびオイラー角との関係、およびジンバルロックを回避し、効率的な回転補間と変換合成を可能にする利点を示している。

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.

研究の動機と目的

• 回転行列、オイラー角、クォータニオン、および軸/角度パrameterization を含む、さまざまな姿勢表現手法の長所と短所を分析・比較すること。
• オイラー角における数学的特異点問題、特にピッチ角が 90° のときに発生するジンバルロックを特定・説明すること。
• 剛体力学における3次元回転を表現するための、頑健で計算効率が良く、特異点のない代替手法としてクォータニオンを確立すること。
• 標準的な回転シーケンス（例：321）におけるクォータニオンとオイラー角の間の明示的変換式を導出することにより、航空宇宙およびロボット工学分野での実装を可能にすること。

提案手法

• SO(3)、3×3 の直交行列で構成され、行列式が +1 である特殊直交群を基本的な回転表現として用いる。
• 321 回転シーケンスを用いて、角速度とオイラー角の微分との数学的関係を導出し、ヤコビアン行列が特異になることにより、θ = 90° で特異点が生じることを示す。
• クォータニオンを 4 パrameter 表現 q = q₀ + q₁i + q₂j + q₃k として導入し、||q|| = 1 の制約を課すことにより、特異点のない回転をパラメータライズする。
• クォータニオンから回転行列を導出する式 R = [q₀² + q₁² - q₂² - q₃², ...] を用い、クォータニオンを SO(3) にマッピングする。
• クォータニオン乗算を用いて回転の合成を確立し、局所回転を右乗算により合成する：q = qϕ ∘ qθ ∘ qψ。
• 半角三角関数恒等式を用いて、オイラー角からクォータニオンへの明示的変換式を提供する。たとえば、q₀ = cos(ϕ/2)cos(θ/2)cos(ψ/2) - sin(ϕ/2)sin(θ/2)sin(ψ/2) である。

実験結果

リサーチクエスチョン

• RQ1 なぜオイラー角はジンバルロックを起こすのか？ そして、この特異点を引き起こす数学的条件は何か？
• RQ2 クォータニオンは、オイラー角表現に存在する特異点をどのように回避しつつ、最小パラメータ数を維持できるのか？
• RQ3 標準的な 321 回転シーケンスにおいて、クォータニオン、回転行列、オイラー角との正確な数学的関係は何か？
• RQ4 クォータニオン乗算を用いることで、複数の回転を効率的に合成し、オイラー角パラメータライゼーションで見られる不連続性を回避できるのか？
• RQ5 動的姿勢制御システムにおいて、回転行列やオイラー角と比較して、クォータニオンが持つ計算的および数値的利点は何か？

主な発見

• オイラー角はピッチ角が 90° のときに特異点を示し、回転行列のヤコビアンが特異になる。これは無限大の正接および正割項により、逆変換が定義不能になるためである。
• クォータニオンは SO(3) を二重被覆する表現を提供することで、この特異点を回避する。q と -q が同じ回転を表すため、すべての方向に対して連続的なパラメータライゼーションが保証される。
• クォータニオンから導出される回転行列は、クォータニオン成分がオイラー角の半角正弦および余弦から計算された場合、標準的な 321 オイラー回転行列と一致する。
• クォータニオンからオイラー角への変換は、逆三角関数を用いて可能である。たとえば、θ = sin⁻¹(2(q₀q₂ + q₁q₃)) であり、象限の曖昧さを適切に処理する必要がある。
• クォータニオンを用いた回転の合成は、数値的に安定しており、不連続性のない滑らかな補間と変換の連結を可能にする。
• 本論文は、クォータニオンがオイラー角よりも回転合成における高価な三角関数演算を回避するため、計算的により効率的であることを確認している。また、パラメータ数と制約処理の観点から、回転行列よりも優れている。