[論文レビュー] An ergodic control problem for many-server multi-class queueing systems with help

Anup Biswas|arXiv (Cornell University)|Feb 10, 2015

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

ひとこと要約

本稿は、ハーフィン＝ウッズ領域における、クロストレーニングされたサーバーを備えた多数サーバー多クラスキューイングシステム（M/M/N+M）におけるエルゴディック制御問題を研究する。価値関数の漸近的収束を確立し、状態に依存する制御集合を有する制御付き拡散過程の極限を特定し、凸多項式成長コストのもとで極限エルゴディック制御問題が完全に解けることを証明する。

ABSTRACT

A $M/M/N+M$ queueing network is considered with $d$ independent customer classes and $d$ server pools in Halfin-Whitt regime. Class $i$ customers have priority for service in pool $i$ for $i=1, ..., d$, and may access other pool if the pool has an idle server. We formulate an ergodic control problem where the running cost is given by a non-negative convex function with polynomial growth. We show that the limiting controlled diffusion is governed by a control set that depends on the state. We provide a complete analysis for the limiting ergodic control problem and establish asymptotic convergence of the value functions for the queueing model.

研究の動機と目的

• 柔軟なスタッフ編成と優先順位サービスを備えた多数サーバー多クラスキューイングシステムのモデル化と分析。
• 非負の凸走行コスト（多項式成長）を有するエルゴディック制御問題の定式化。
• ハーフィン＝ウッズ領域における制御付き拡散過程の極限を導出。
• 極限拡散過程を支配する状態に依存する制御集合の特定。
• 有限キューイングモデルの価値関数が拡散極限に漸近的に収束することの確立。

提案手法

• d個の顧客クラスとd個のサーバープールを有するキューイングモデルを定式化。各クラスは専用プールで優先サービスを受けるが、他のプールの空いているサーバーも利用可能。
• サーバー数Nを無限大にスケーリングするハーフィン＝ウッズの過負荷領域でシステムを分析。
• 関数中心極限定理の議論を用いて制御付き拡散過程の極限を導出。
• 極限拡散過程における制御集合が現在の状態に依存することを特定。これは利用可能なサーバープールを反映している。
• 凸解析および粘性解の技法を用いて極限エルゴディック制御問題を解く。
• 有限キューイングシステムの価値関数が極限拡散制御問題の価値関数に漸近的に収束することを証明。

実験結果

リサーチクエスチョン

• RQ1 サーバープールの状態に依存する利用可能性が、多クラスキューイングシステムのエルゴディック制御にどのように影響するか？
• RQ2 クロスサービスの柔軟性を有する多数サーバー多クラスシステムにおける制御付き拡散過程の極限構造は何か？
• RQ3 多項式成長コストのもとで、有限キューイングシステムの価値関数は拡散制御問題によって漸近的に近似可能か？
• RQ4 状態に依存する制御を伴う極限エルゴディック制御問題の可解性を保証する条件は何か？
• RQ5 優先順位構造とサーバーの柔軟性は、長期平均コスト最小化にどのように影響するか？

主な発見

• 極限制御付き拡散過程は、現在の状態に依存する制御集合によって支配され、各プールにおける空いているサーバーの可用性を反映している。
• 極限エルゴディック制御問題は完全に可解であり、最適制御が存在し、価値関数が適切に定義されている。
• 有限キューイングシステムの価値関数は、拡散極限の価値関数に漸近的に収束する。
• 走行コストは非負の凸関数であり、多項式成長を有するため、極限において正規性と可積分性が保証される。
• 解析により、ハーフィン＝ウッズ領域では、柔軟な多クラスシステムのエルゴディック制御に対して取り扱いやすい拡散近似が得られることを確認した。
• 状態に依存する制御集合は、実際に利用可能な（空いている）サーバーのみに割り当て可能な現実的な特徴を捉えており、非定数の制約制御をもたらす。