[論文レビュー] On Stability of the Linearized Spacecraft Attitude Control System

Bin Zhou|arXiv (Cornell University)|Apr 1, 2015

Adaptive Control of Nonlinear Systems参考文献 11被引用数 4

ひとこと要約

本稿は、線形化された宇宙船ア装制御系の多項式的およびリャプノフ安定性の必要十分条件を提示し、飽和線形状態フィードバックを用いた半グローバルおよびグローバル安定化を可能にする。主な貢献は、慣性比と軌道動力学に基づくパラメータ依存の安定性解析であり、制御アクチュエータの飽和を考慮した安定性を保証する。

ABSTRACT

This note is concerned with the stability and stabilization of the linearized spacecraft attitude control system. Necessary and sufficient conditions are respectively provided to guarantee that the considered systems are polynomially stable and stable in the Lyapunov sense. These two classes of conditions guarantee that the linearized spacecraft attitude control system can be respectively stabilized semi-globally and globally by saturated linear state feedback.

研究の動機と目的

• 現実的なアクチュエータ制約下での線形化された宇宙船ア装制御系の安定性特性を分析すること。
• 宇宙船の慣性パラメータに基づいて、多項式的およびリャプノフ安定性の必要十分条件を特定すること。
• 半グローバルおよびグローバル安定化を保証する飽和線形状態フィードバック制御則の設計を可能にすること。
• アクチュエータの飽和効果を考慮することで、線形制御設計と実装のギャップを埋めること。
• 慣性比と軌道速度に基づいたパラメータ化された安定性評価フレームワークを提供すること。

提案手法

• 参照軌道の摂動を用いて非線形ア装モデルから線形化された宇宙船動力学を導出する。
• 相似変換を用いて回転運動を主軸に沿って分離するブロック対角形式に変換する。
• リャプノフ安定性理論を適用し、システム行列Aの固有値分布（非正の実部）に注目して分析する。
• ブロック構造を有する正定値解を有する構造化リャプノフ方程式を用いて安定性条件を検証する。
• 慣性比σ₁, σ₂, σ₃およびそれらの組み合わせφ₁, φ₂, φ₂²−16φ₁を含むパラメータ化された安定性条件を導入する。
• リャプノフ安定性下ではグローバル安定化が可能であり、多項式的安定性下では半グローバル安定化が可能であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 宇宙船の慣性パラメータにどのような条件下で線形化されたア装制御系は多項式的安定性を示すか？
• RQ2 線形化された系がいつリャプノフ安定となり、外部の摂動がなければ中立安定性を保証するか？
• RQ3 慣性比σ₁, σ₂, σ₃は線形化された系の安定性特性にどのように影響するか？
• RQ4 これらの安定性条件のもとで、飽和線形フィードバックはグローバルまたは半グローバル安定化を達成できるか？
• RQ5 軌道速度ω₀と慣性行列は、システムの固有値構造を決定づける役割を果たすか？

主な発見

• 線形化された系は、σ₂ ≥ 0、φ₁ = σ₁σ₃ ≥ 0、φ₂ = 3σ₁ + σ₃σ₁ + 1 ≥ 0、およびφ₂² − 16φ₁ ≥ 0であるときかつそのときに限り、多項式的安定である。
• システム行列Aの固有値は純虚数であり、s₁,₂ = ±√(3σ₂)ω₀i、s₃,₄ = ±√[(φ₂ + √(φ₂²−16φ₁))/2]ω₀i、s₅,₆ = ±√[(φ₂ − √(φ₂²−16φ₁))/2]ω₀i で与えられる。
• 同じ条件が満たされればリャプノフ安定性が達成され、リャプノフ方程式に正定値解が存在する。
• リャプノフ安定性下では、時間変動する周期的制御行列を含む状況でも、飽和線形状態フィードバックを用いてグローバルに安定化できる。
• 多項式的安定性下では、既知の制御理論に従い、飽和線形フィードバックにより半グローバルに安定化できる。
• 慣性比σ₁, σ₂, σ₃は互いに独立ではなく、2つの比β₁ = Jₓ/Jᵧおよびβ₂ = Jᵧ/J_zによって完全にパラメータ化可能である。