[論文レビュー] Linear State Feedback Stabilization on Time Scales

Billy Jackson, John M. Davis+2 more|ArXiv.org|Oct 16, 2009

Stability and Controllability of Differential Equations参考文献 30被引用数 6

ひとこと要約

本稿では、任意の時刻スケール上での力学的システムの安定化を目的とした一般化された線形状態フィードバック制御フレームワークを提示する。これは、古典的な連続的および離散的制御理論を拡張するものである。Gramianに基づく手法を非一様およびハイブリッドな時刻ドメインに適応させることで、所定の減衰率を満たす均一な指数的安定性を保証する状態フィードバックゲインの存在を証明した。実験的実装を通じて、可変グレインネスを持つ時刻スケールを用いたモータ制御システムへの適用が確認された。

ABSTRACT

For a general class of dynamical systems (of which the canonical continuous and uniform discrete versions are but special cases), we prove that there is a state feedback gain such that the resulting closed-loop system is uniformly exponentially stable with a prescribed rate. The methods here generalize and extend Gramian-based linear state feedback control to much more general time domains, e.g. nonuniform discrete or a combination of continuous and discrete time. In conclusion, we discuss an experimental implementation of this theory.

研究の動機と目的

• 連続的および一様な離散的時刻ドメインにとどまらない、一般の時刻スケール（非一様およびハイブリッド系を含む）への線形状態フィードバック制御理論の拡張を目的とする。
• 任意の時刻スケール上での所定の減衰率を満たす均一な指数的安定性を保証する状態フィードバックゲインが成立する条件を確立すること。
• Gramianに基づく制御手法を時刻スケールへ一般化し、統一的なフレームワーク内で安定性解析と制御器設計を可能にすること。
• 可変グレインネスを持つ時刻スケールを用いたモータ制御システムへのリアルタイム実装を通じて、理論的枠組みの妥当性を検証すること。

提案手法

• 本稿では時刻スケール微積分を用い、任意の時刻ドメイン上での動的モデルを記述するためのデルタ微分および前方ジャンプ作用素を定義する。
• 将来の時刻スケール構造を有限ウィンドウ $ \mathcal{C}(t) = \sigma^k(t) $ 内で利用するウィンドウ付きGramianに基づくアプローチにより、時変フィードバックゲイン $ K(t) $ を計算する。
• 指数的安定性と所定の減衰率 $ \alpha $ を満たすために、時刻スケール上での一般化されたラプラス方程式を解くことにより制御器設計を実施する。
• フィードバック制御則は $ u(t) = K(t)x(t) + N(t)r(t) $ として実装され、$ N(t) \equiv 1 $ であり、組み込みハードウェア上の高精度タイマーを用いてリアルタイムで実行される。
• 本手法は3つの異なる時刻スケールでテストされた：可変グレインネス（80–90ms その後 10–20ms）、一様にランダムなグレインネス（80–150ms）、および大きなギャップを有する（リアルタイムのデッドライン違反を模擬）。
• ステップ応答シミュレーションを用いて性能を評価し、ウィンドウサイズ $ k $ および減衰率パラメータ $ \alpha $ に対する安定化時間の依存性を分析した。

実験結果

リサーチクエスチョン

• RQ1 非一様およびハイブリッド領域を含む任意の時刻スケール上でも、均一な指数的安定性を保証する線形状態フィードバック制御器を設計可能か？
• RQ2 時変フィードバックゲイン $ K(t) $ は将来の時刻スケール構造にどのように依存するか。因果性に与える影響は何か？
• RQ3 ウィンドウサイズ $ k $ および減衰率パラメータ $ \alpha $ は、閉ループ系の安定化時間および制御入力にどのような影響を及ぼすか？
• RQ4 可変的またはランダムなグレインネスおよび時刻スケール上の大きなギャップといった実用的制約下でも、制御器の性能はどのように変化するか？
• RQ5 制限された計算リソースを持つリアルタイムハードウェア上でも、理論的枠組みをどの程度実装可能か？

主な発見

• 任意の時刻スケール上での線形系に対して、所定の減衰率 $ \alpha $ を満たす均一な指数的安定性を保証する状態フィードバックゲイン $ K(t) $ が存在する。
• 本制御器は、可変グレインネス、ランダムグレインネス、および大きなギャップを有する3つの異なる時刻スケール上において、2次モータ系を安定化した。
• 可変グレインネスの場合、安定化時間はウィンドウサイズ $ k $ に強く依存したが、$ \alpha $ への依存性はそれほど顕著でなかった。これは $ k $ が重要なチューニングパラメータであることを示唆する。
• ランダムグレインネスの場合、$ k $ と $ \alpha $ の両方が安定化時間に顕著な影響を及ぼし、性能チューニングにより複雑なトレードオフが存在することを示した。
• ギャップ発生時においても、必要な入力電流の最適推定値を計算することで、欠落した制御ポイントに対してもロバストネスを示した。
• 計算複雑性および将来の時刻スケール構造への非因果的依存性が存在するにもかかわらず、リアルタイム実験で安定した性能を達成した。これにより理論的枠組みの妥当性が実証された。