Diffusion approximations for open multiclass queueing networks: sufficient conditions involving state space collapse

Certain diffusion processes known as semimartingale reflecting Brownian motions (SRBMs) have been shown to approximate many single class and some multiclass open queueing networks under conditions of heavy traffic. While it is known that not all multiclass networks with feedback can be approximated in heavy traffic by SRBMs, one of the outstanding challenges in contemporary research on queueing networks is to identify broad categories of networks that can be so approximated and to prove a heavy traffic limit theorem justifying the approximation. In this paper, general sufficient conditions are given under which a heavy traffic limit theorem holds for open multiclass queueing networks with head-of-the-line (HL) service disciplines, which, in particular, require that service within each class is on a first-in-first-out (FIFO) basis. The two main conditions that need to be verified are that (a) the reflection matrix for the SRBM is well defined and completely- S, and (b) a form of state space collapse holds. A result of Dai and Harrison shows that condition (a) holds for FIFO networks of Kelly type and their proof is extended here to cover networks with the HLPPS (head-of-the-line proportional processor sharing) service discipline. In a companion work, Bramson shows that a multiplicative form of state space collapse holds for these two families of networks. These results, when combined with the main theorem of this paper, yield new heavy traffic limit theorems for FIFO networks of Kelly type and networks with the HLPPS service discipline.

[1]  Yu. V. Prokhorov Convergence of Random Processes and Limit Theorems in Probability Theory , 1956 .

[2]  A. Skorokhod Limit Theorems for Stochastic Processes , 1956 .

[3]  P. Billingsley,et al.  Convergence of Probability Measures , 1969 .

[4]  D. Iglehart,et al.  Multiple channel queues in heavy traffic. II: sequences, networks, and batches , 1970, Advances in Applied Probability.

[5]  D. Iglehart,et al.  Multiple channel queues in heavy traffic. I , 1970, Advances in Applied Probability.

[6]  W. Whitt Weak convergence theorems for priority queues: preemptive-resume discipline , 1971, Journal of Applied Probability.

[7]  D. Iglehart,et al.  The Equivalence of Functional Central Limit Theorems for Counting Processes and Associated Partial Sums , 1971 .

[8]  J. Harrison,et al.  Reflected Brownian Motion on an Orthant , 1981 .

[9]  Martin I. Reiman,et al.  Open Queueing Networks in Heavy Traffic , 1984, Math. Oper. Res..

[10]  Martin I. Reiman,et al.  Some diffusion approximations with state space collapse , 1984 .

[11]  Dimitri P. Bertsekas,et al.  Data Networks , 1986 .

[12]  O. Nerman,et al.  An alternative proof of Lorden&s renewal inequality , 1986 .

[13]  Ruth J. Williams,et al.  A boundary property of semimartingale reflecting Brownian motions , 1988 .

[14]  M. Reiman A multiclass feedback queue in heavy traffic , 1988 .

[15]  J. Michael Harrison,et al.  Brownian Models of Queueing Networks with Heterogeneous Customer Populations , 1988 .

[16]  Zhang Hanqin,et al.  MULTIPLE CHANNEL QUEUES IN HEAVY TRAFFIC , 1990 .

[17]  A. Bernard,et al.  Regulations dÉterminates et stochastiques dans le premier “orthant” de RN , 1991 .

[18]  P. Dupuis,et al.  On Lipschitz continuity of the solution mapping to the Skorokhod problem , 1991 .

[19]  William P. Peterson,et al.  A Heavy Traffic Limit Theorem for Networks of Queues with Multiple Customer Types , 1991, Math. Oper. Res..

[20]  T. Lindvall Lectures on the Coupling Method , 1992 .

[21]  J. M. Harrison,et al.  Brownian Models of Feedforward Queueing Networks: Quasireversibility and Product Form Solutions , 1992 .

[22]  J. Michael Harrison,et al.  Brownian models of multiclass queueing networks: Current status and open problems , 1993, Queueing Syst. Theory Appl..

[23]  R. J. Williams,et al.  Existence and uniqueness of semimartingale reflecting Brownian motions in an orthant , 1993 .

[24]  Yang Wang,et al.  Nonexistence of Brownian models for certain multiclass queueing networks , 1993, Queueing Syst. Theory Appl..

[25]  J. Harrison,et al.  The QNET Method for Two-Moment Analysis of Closed Manufacturing Systems , 1993 .

[26]  W. Whitt Large Fluctuations in a Deterministic Multiclass Network of Queues , 1993 .

[27]  Hong Chen,et al.  Diffusion approximations for open queueing networks with service interruptions , 1993, Queueing Syst. Theory Appl..

[28]  Robert J. Plemmons,et al.  Nonnegative Matrices in the Mathematical Sciences , 1979, Classics in Applied Mathematics.

[29]  M. Bramson Instability of FIFO Queueing Networks with Quick Service Times , 1994 .

[30]  M. Bramson Instability of FIFO Queueing Networks , 1994 .

[31]  D. Ramaswamy Scheduling Queueing Networks: Stability, Performance Analysis, and Design , 1994 .

[32]  P. Suresh Kumar,et al.  Scheduling queueing networks: stability, performance analysis and design , 1995 .

[33]  Maury Bramson,et al.  Two badly behaved queueing networks , 1995 .

[34]  Elena Yudovina,et al.  Stochastic networks , 1995, Physics Subject Headings (PhySH).

[35]  John Michael Harrison,et al.  Balanced fluid models of multiclass queueing networks: a heavy traffic conjecture , 1995 .

[36]  Jim Dai Stability of open multiclass queueing networks via fluid models , 1995 .

[37]  J. Dai On Positive Harris Recurrence of Multiclass Queueing Networks: A Unified Approach Via Fluid Limit Models , 1995 .

[38]  S. Fotopoulos Stochastic modeling and analysis of manufacturing systems , 1996 .

[39]  Maury Bramson,et al.  Convergence to equilibria for fluid models of head-of-the-line proportional processor sharing queueing networks , 1996, Queueing Syst. Theory Appl..

[40]  Hong Chen,et al.  Diffusion approximations for re-entrant lines with a first-buffer-first-served priority discipline , 1996, Queueing Syst. Theory Appl..

[41]  Ruth J. Williams,et al.  A multiclass closed queueing network with unconventional heavy traffic behavior , 1996 .

[42]  Ruth J. Williams,et al.  Existence and Uniqueness of Semimartingale Reflecting Brownian Motions in Convex Polyhedrons , 1996 .

[43]  Maury Bramson,et al.  Convergence to equilibria for fluid models of FIFO queueing networks , 1996, Queueing Syst. Theory Appl..

[44]  C. Zhou,et al.  The QNET Method for Re-Entrant Queueing Networks with Priority Disciplines , 1997, Oper. Res..

[45]  Maury Bramson,et al.  Stability of two families of queueing networks and a discussion of fluid limits , 1998, Queueing Syst. Theory Appl..

[46]  Ruth J. Williams,et al.  An invariance principle for semimartingale reflecting Brownian motions in an orthant , 1998, Queueing Syst. Theory Appl..

[47]  Maury Bramson,et al.  State space collapse with application to heavy traffic limits for multiclass queueing networks , 1998, Queueing Syst. Theory Appl..

[48]  J. Dai,et al.  A heavy traffic limit theorem for a class of open queueing networks with finite buffers ∗ , 1999 .

[49]  Hong Chen,et al.  Diffusion Approximations for Some Multiclass Queueing Networks with FIFO Service Disciplines , 2000, Math. Oper. Res..