[論文レビュー] Matching, linear systems, and the ball and beam

F. V. Andreev, David Auckly+4 more|ArXiv.org|Jun 17, 2000

Control and Stability of Dynamical Systems参考文献 12被引用数 10

ひとこと要約

本稿では、非ホロノミック系における制御則設計のためのλ法の初の実験的妥当性検証を提示している。非線形ボールアンドビーム系に適用し、無限次元の制御則族を生成する。この制御則族は、自然なリャプノフ関数が存在することを保証し、実験結果が理論的予測を裏付け、数値シミュレーションでは線形制御則と比較して特定のケースで同等または優れた性能を示した。

ABSTRACT

A recent approach to the control of underactuated systems is to look for control laws which will induce some specified structure on the closed loop system. This basic idea is used in several papers already. In this paper, we will describe one matching condition and an approach for finding all control laws that fit the condition. After an analysis of the resulting control laws for linear systems, we will present the results from an experiment on a ball and beam system.

研究の動機と目的

• 非ホロノミック力学系における制御則設計のためのλ法を実装し、実験的に妥当性を検証すること。
• λ法が、自然なリャプノフ関数を介して閉ループ安定性を保証する制御則を生成することを示すこと。
• 物理的ボールアンドビーム系上で、非線形λ法制御則と線形制御則の性能を比較すること。
• 線形時不変系に対する一致制御則族が、すべての線形状態フィードバック制御則を含むことの証明。
• 自由関数パラメータを用いた非線形制御則の体系的チューニングフレームワークの提供。

提案手法

• λ法は、変換行列 λ^k_i = g_ij * ĝ^jk を用いて、閉ループ系が所望の構造を持つことを保証する一致条件を導出する。
• 一致条件は、閉ループ系の力学が特定の目標形式と一致することを要請することにより導出され、クリストッフェル記号と質量行列を含む。
• 制御則は明示的に u_r = g_rk(Γ_ijk - Γ̂_ijk)ẋ^iẋ^j + (C_r - Ĉ_r) + g_rk(g^ki ∂V/∂q^i - ĝ^ki ∂V̂/∂q^i) として構築され、リャプノフ関数を介して安定性が保証される。
• 自由関数パラメータ（例：μ₁(α), h(y), w(y), Ĉ₂）を性能向上のためにチューニング可能であり、リャプノフ安定性を保証する制約が課される。
• リアルタイムデータ取得（300 Hz）を用いて、Quanserのボールアンドビームシステムに制御則を実装し、速度は前進差分で計算された。
• 非線形制御則は、その線形化が製造元の線形制御則と一致するようにチューニングされ、実験的比較が公平に行えるようにした。

実験結果

リサーチクエスチョン

• RQ1 λ法は、ボールアンドビームのような物理的非線形非ホロノミック系に対して安定化制御則を生成できるか？
• RQ2 線形時不変系に対する一致制御則族は、すべての線形状態フィードバック制御則を含むか？
• RQ3 実際の応用において、非線形λ法制御則の性能は線形制御則と比べてどうか？
• RQ4 λ法における自由関数パラメータをチューニングして、既存の線形制御器の挙動を再現できるか？
• RQ5 リャプノフ関数を介して安定性を保証する非線形制御則を体系的に設計する方法はあるか？

主な発見

• 実験結果は、非線形λ法制御則がボールアンドビーム系を安定化することを確認しており、数値シミュレーションの予測と一致した。
• 経験的観察から、線形制御則は非線形制御則よりも広い初期条件範囲で系を安定化することが分かった。
• 非線形制御則は、線形制御則が安定化に失敗する物理的に非現実的な初期条件（例：ẋ = 3.6 rad/sec）に対しても安定化を達成した。
• 非線形制御則の線形化は、製造元の線形制御則と一致するように成功裏にチューニングされ、実験的比較が公平に行えた。
• λ法は、すべての線形状態フィードバック制御則を含む無限次元の制御則族を生成する。
• リャプノフ関数 Ĥ = ½ĝ_ij ẋ^i ẋ^j + V̂ は、一致条件が満たされると、軌道に沿って減少することが保証される。