[論文レビュー] A General Framework for Modeling and Online Optimization of Stochastic Hybrid Systems

Ali Kebarighotbi, Christos G. Cassandras|arXiv (Cornell University)|Mar 23, 2012

Advanced Queuing Theory Analysis参考文献 5被引用数 5

ひとこと要約

本稿では、タイマー状態とイベント固有のガード関数を統合することで、遷移のトリガーに起因する曖昧性を解消する一般化された確率的ハイブリッドオートマトン（SHA）フレームワークを提案する。これにより、オンライン最適化に適した一様な行列ベースの無限小パラメータ解析（IPA）が可能になる。主な貢献は、異なるイベントタイプ（例：外部的、内部的、誘発的）に対して個別に分析を行う必要がなく、一様に性能感度を推定できる、イベントに依存しない強固なIPA定式化の構築である。

ABSTRACT

We extend the definition of a Stochastic Hybrid Automaton (SHA) to overcome limitations that make it difficult to use for on-line control. Since guard sets do not specify the exact event causing a transition, we introduce a clock structure (borrowed from timed automata), timer states, and guard functions that disambiguate how transitions occur. In the modified SHA, we formally show that every transition is associated with an explicit element of an underlying event set. This also makes it possible to uniformly treat all events observed on a sample path of a stochastic hybrid system and generalize the performance sensitivity estimators derived through Infinitesimal Perturbation Analysis (IPA). We eliminate the need for a case-by-case treatment of different event types and provide a unified set of matrix IPA equations. We illustrate our approach by revisiting an optimization problem for single node finite-capacity stochastic flow systems to obtain performance sensitivity estimates in this new setting.

研究の動機と目的

• 従来の確率的ハイブリッドオートマトン（SHA）がオンライン制御において抱える限界、特にガード集合に起因する遷移トリガーの曖昧性を解消すること。
• 性能感度解析において、異なるイベントタイプ（例：外部的、内部的、誘発的）を個別に取り扱う必要を排除すること。
• 任意の確率的ハイブリッドシステムに適用可能な、一様な行列表記の無限小パラメータ解析（IPA）方程式の構築。
• 確率過程の下位確率法則から感度推定を分離することで、効率的かつリアルタイムの最適化を可能にすること。
• 有限容量キューイングシステムを用いてフレームワークを検証し、既知のIPA結果をより一般化された形で再現すること。

提案手法

• 遷移タイミングとイベントの因果関係を明示するために、タイマー状態と時計構造をシステムへの明示的入力として導入する。
• 従来のガード集合の代わりに、各遷移が定義されたイベント集合からの特定のイベントと明示的に関連付けられるガード関数を導入する。
• 各遷移が一意に特定のイベントによってトリガーされることを形式的に定義し、遷移が有効化されているがまだ発火していないかどうかの曖昧性を排除する。
• すべてのイベントタイプに一様に適用可能な、行列形式のIPA方程式を構築し、導出および実装を簡素化する。
• 変更されたSHAモデルを用いて、キュー長やワークロードなどの性能指標のサンプルパス導出推定器を導出する。
• フレームワークを単一ノードの有限容量キューイングシステムに適用し、感度推定の整合性と正確性を検証する。

実験結果

リサーチクエスチョン

• RQ1 確率的ハイブリッドオートマトンをどのように再構築すれば、各遷移が特定のイベントと明示的に関連付けられ、トリガー因果関係の曖昧性が解消されるか？
• RQ2 外部的、内部的、誘発的イベントの種別に依存せず、すべてのイベントタイプを一様に扱える、統一された行列ベースのIPA定式化を導出可能か？
• RQ3 下位の確率過程の確率分布に依存しない感度推定を可能にすることで、IPAの根本的な強健性が維持されるか？
• RQ4 提案されたフレームワークは、有限容量キューイングシステムに対する既存のIPA結果を再現できるか。また、それらを越えて一般化できるか？
• RQ5 複数の状態とイベントタイプを有する複雑なシステムに対しても、IPA方程式の行列形式がスケーラブルで計算的に実行可能か？

主な発見

• 提案されたフレームワークは、ガード関数を通じて各遷移に一意のイベントを関連付けることで、遷移トリガーの曖昧性を明確に解消し、サンプルパス上でのイベントレベルの正確な追跡を可能にする。
• すべてのイベントタイプに一様に適用可能な、IPA方程式の統一された行列表記が導出され、個別分類を必要とせずに一貫した感度推定が可能になる。
• 有限容量キューイングシステムにおけるキュー長およびワークロードの感度推定が、到着プロセスおよびサービスプロセスの分布に依存しないことが示され、IPAの根本的強健性が裏付けられる。
• フレームワークは、単一ノードキューイングシステムに対して既に確立されたIPA結果を再現し、それらと一貫性を保つことが検証された。
• 性能指標のサンプルパス導出推定器は、明示的なイベント駆動遷移を用いて導出されており、リアルタイムのオンライン最適化を可能にする。
• 感度推定を確率過程モデル化から分離することで、オンライン制御アルゴリズムの設計が簡素化される。