[論文レビュー] Performance Evaluation of Switched Discrete Event Systems

Long Wang|ArXiv.org|Feb 17, 2002

Petri Nets in System Modeling参考文献 4被引用数 4

ひとこと要約

本稿では、最大加法代数を用いたスイッチング型離散イベントシステムの性能評価フレームワークを提案し、非可約性および正の対角成分の条件下で、このようなシステムが漸近的周期的挙動を示すことを示している。主な結果は、最大加法代数における積行列の固有値がシステムの長期的性能を決定することであり、固有値の計算により性能評価が可能になる。

ABSTRACT

This paper discusses the asymptotic periodic behavior of a class of switched discrete event systems, and shows how to evaluate the asymptotic performance of such systems.

研究の動機と目的

• スイッチング則に従って制御されるスイッチング型離散イベントシステムの漸近的周期的挙動を分析すること。
• 最大加法代数を用いた、このようなシステムの性能評価手法を開発すること。
• スイッチング型システムの挙動が周期的かつ予測可能になる条件を確立すること。
• 二つのサブシステム間の単純な交互切り替えを超えた一般のスイッチング則への分析を拡張すること。

提案手法

• 最大加法代数における行列積の列挙としてスイッチング型システムをモデル化すること。
• 周期的な状態サンプリング（例：2ステップごと）を用いて、スイッチング型システムを非スイッチング型システムに変換すること。
• 非可約行列に関する最大加法代数の補題を適用し、周期的漸近的挙動を導出すること。
• 積行列（例：$ A_2A_1 $）の固有値を性能指標として使用すること。
• 個々の行列が非ゼロの対角成分を持つ場合、積行列の非可約性を証明すること。
• 任意の周期的スイッチング則を想定した、複数サブシステムを含むスイッチングへのフレームワークの拡張。

実験結果

リサーチクエスチョン

• RQ1 スイッチング型離散イベントシステムが最大加法代数において、どのような条件下で漸近的周期的挙動を示すか？
• RQ2 最大加法代数における固有値を用いて、このようなシステムの性能をどのように評価できるか？
• RQ3 サブシステム間の切り替えによって形成される積行列の非可約性を保証する条件は何か？
• RQ4 積行列の固有値は、個々のサブシステム行列の固有値とどのように関係するか？
• RQ5 二つ以上のサブシステムを含む任意の周期的スイッチング則に対しても、このフレームワークを一般化できるか？

主な発見

• 積行列 $ A_2A_1 $ が非可約である限り、スイッチング型システムは $ X(k+d) = \lambda^d X(k) $（$ k \geq k_0 $）を満たす漸近的周期的挙動を示す。
• 積行列 $ A_2A_1 $ の固有値 $ \lambda $ は、その臨界回路の平均重みに等しく、漸近的性能周期を表す。
• もし $ A_1 $ も $ A_2 $ も対角成分が非-$ \epsilon $ であれば、$ A_2A_1 $ は非可約であり、一意の固有値が存在することが保証される。
• 積行列 $ AB $ の固有値は、個々の固有値の和を上回る場合がある。例えば、$ \lambda(AB) = 9 > \lambda(A) + \lambda(B) = 13/3 + 3 $ であり、非加法性が示される。
• 一般の周期的スイッチング則（$ m $ 個のサブシステム）において、変換後のシステム $ Y(k+1) = A_m^{l_m} \cdots A_1^{l_1} Y(k) $ は非可約であり、周期的挙動を示す。
• 個々の行列が非可約であっても、そのべき乗が可約になる場合がある（例：$ A^3 $ は可約）。これにより、解析における非ゼロ対角成分条件の妥当性が裏付けられる。