Bounding Aggregations for Transient and Stationary Performance Analysis of Subnetworks

We consider large queueing networks for which transient and stationary probability distributions are very difficult or impossible to obtain due to the state space explosion problem. In performance analysis, we need in general to study only a part of the network (a node or a path). Thus, we propose to define bounding systems that lead to compute bounds on performance measures of the considered subsystem. The original large state space is mapped into a smaller space to overcome the state space explosion problem, and bounds both on stationary and on transient performance measures are computed from these reduced-size models. This approach provides an interesting solution for complex networks since we have a trade-off between the quality of the bounds and the state space size, thus the computational complexity. As an application, we study a general multi-server queueing network, with finite capacity queues. We define bounding systems to compute blocking probabilities. The influence of parameters on the precision of the computed bounds are studied through some numerical examples in order to give more insights into the proposed approach.

[1]  T. Kamae,et al.  Stochastic Inequalities on Partially Ordered Spaces , 1977 .

[2]  Guy Pujolle,et al.  Introduction to queueing networks , 1987 .

[3]  Gerardo Sanz,et al.  Markovian couplings staying in arbitrary subsets of the state space , 2002, Journal of Applied Probability.

[4]  Nigel Thomas,et al.  Mean value analysis for a class of PEPA models , 2011, Comput. J..

[5]  A. Müller,et al.  Comparison Methods for Stochastic Models and Risks , 2002 .

[6]  William A. Massey A FAMILY OF BOUNDS FOR THE TRANSIENT BEHAVIOR OF A JACKSON NETWORK , 1986 .

[7]  William J. Stewart,et al.  Introduction to the numerical solution of Markov Chains , 1994 .

[8]  Servet Martínez,et al.  Stochastic domination and Markovian couplings , 2000 .

[9]  M. Doisy,et al.  A coupling technique for stochastic comparison of functions of Markov Processes , 2000, Adv. Decis. Sci..

[10]  Jean-Michel Fourneau,et al.  An Algorithmic Approach to Stochastic Bounds , 2002, Performance.

[11]  Jane Hillston,et al.  Fluid flow approximation of PEPA models , 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).

[12]  Moshe Shaked,et al.  Stochastic orders and their applications , 1994 .

[14]  William A. Massey,et al.  Stochastic ordering for Markov processes on partially ordered spaces with applications to queueing networks , 1991 .

[15]  Laurent Truffet Reduction techniques for discrete-time Markov chains on totally ordered state space using stochastic comparisons , 2000, Journal of Applied Probability.

[16]  H. Castel-Taleb,et al.  Aggregated bounding Markov processes applied to the analysis of tandem queues , 2007, Valuetools 2007.

[17]  H. Thorisson Coupling, stationarity, and regeneration , 2000 .