In this paper we consider a class of quasi-birth-and-death
processes for which explicit solutions can be obtained for the
rate matrix R and the associated matrix G. The probabilistic
interpretations of these matrices allow us to describe their
elements in terms of paths on the two-dimensional lattice. Then
determining explicit expressions for the matrices becomes
equivalent to solving a lattice path counting problem, the
solution of which is derived using path decomposition, Bernoulli
excursions, and hypergeometric functions. A few applications are
provided, including classical models for which we obtain some new
results.
Primary Subjects: 60J25, 60J05, 60C05, 33C45
Secondary Subjects: 06B99, 42C10, 60K25, 60J22
References
Abramowitz, M. and Stegun, I. A. (1964). Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. US Government Printing Office, Washington, D.C.
Mathematical Reviews (MathSciNet):
MR167642
Adan, I. J. B. F. and Weiss, G. (2006). Analysis of a simple Markovian re-entrant line with infinite supply of work under the LBFS policy. \QS 54, 169--183.
Adan, I. J. B. F. and van der Wal, J. (1998). Combining make to order and make to stock. OR Spektrum 20, 73--81.
Cobham, A. (1954). Priority assignment in waiting line problems. \OR 2, 70--76.
Cohen, J. W. (1987). A two-queue, one-server model with priority for the longer queue. \QS 2, 261--283.
Mathematical Reviews (MathSciNet):
MR925183
Dunford, N. and Schwartz, J. T. (1958). Linear Operators. Part I: General Theory. John Wiley, New York.
Dunford, N. and Schwartz, J. T. (1963). Linear Operators. Part II: Spectral Theory. Self Adjoint Operators in Hilbert Space. John Wiley, New York.
Mathematical Reviews (MathSciNet):
MR188745
Dunford, N. and Schwartz, J. T. (1971). Linear Operators. Part III: Spectral Operators. John Wiley, New York.
Flatto, L. (1989). The longer queue model. Prob. Eng. Inf. Sci. 3, 537--559.
Jaiswal, N. K. (1968). Priority Queues (Math. Sci. Eng. 50). Academic Press, London.
Mathematical Reviews (MathSciNet):
MR237014
Latouche, G. and Ramaswami, V. (1999). Introduction to Matrix Analytic Methods in Stochastic Modeling. Society for Industrial and Applied Mathematics, Philadelphia, PA.
van Leeuwaarden, J. S. H. and Winands, E. M. M. (2006). Quasi-birth-and-death processes with an explicit rate matrix. Stoch. Models 22, 77--98.
Liu, D. and Zhao, Y. Q. (1997). Determination of explicit solutions for a general class of Markov processes. In Matrix-Analytic Methods in Stochastic Models (Lecture Notes Pure Appl. Math. 183), Dekker, New York, pp. 343--357.
Nelson, R. D. and Squillante, M. S. (1996). Stochastic analysis of affinity scheduling and load balancing in parallel processing systems. In Proc. 5th INFORMS Computer Science Technical Section Conference on Computer Science and Operations Research: Recent Advances in the Interface (January 1996).
Neuts, M. F. (1981). Matrix-Geometric Solutions in Stochastic Models. Johns Hopkins Press, Baltimore, MD.
Mathematical Reviews (MathSciNet):
MR618123
Neuts, M. F. (1989). Structured Stochastic Matrices of M/G/1 Type and Their Applications. Marcel Dekker, New York.
Ramaswami, V. and Latouche, G. (1986). A general class of Markov processes with explicit matrix-geometric solutions. OR Spektrum 8, 209--218.
Mathematical Reviews (MathSciNet):
MR869006
Schrage, L. E. (1967). The queue M/G/1 with feedback to lower priority queues. \MS 13, 466--474.
Squillante, M. S. (1998). Matrix-analytic methods in stochastic parallel-server scheduling models. In Advances in Matrix Analytic Methods for Stochastic Models, Notable, New Jersey, pp. 311--340.
Squillante, M. S. (2005). Stochastic analysis of resource allocation in parallel processing systems. In Computer System Performance Modeling in Perspective: A Tribute to the Work of Prof. K. C. Sevcik, Imperial College Press, London, pp. 227--256.
Squillante, M. S. and Nelson, R. D. (1991). Analysis of task migration in shared-memory multiprocessors. In Proc. ACM SIGMETRICS (May 1991), ACM Press, New York, pp. 143--155.
Takács, L. (1991). A Bernoulli excursion and its various applications. ÅP 23, 557--585.
Tweedie, R. L. (1982). Operator-geometric stationary distributions for Markov chains, with application to queueing models. ÅP 14, 368--391.
Mathematical Reviews (MathSciNet):
MR650129
Zheng, Y. and Zipkin, P. H. (1990). A queueing model to analyze the value of centralized inventory information. \OR 38, 296--307.