A hybrid approach to minimize state space explosion problem for the solution of two stage tandem queues

Ever E., Gemikonakli O., KOÇYİĞİT A., Gemikonakli E.

JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, vol.36, no.2, pp.908-926, 2013 (SCI-Expanded) identifier identifier

  • Publication Type: Article / Article
  • Volume: 36 Issue: 2
  • Publication Date: 2013
  • Doi Number: 10.1016/j.jnca.2012.10.006
  • Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Page Numbers: pp.908-926
  • Keywords: Computer network performance, Fault tolerant systems, Queuing analysis, Performability modeling, Two stage open networks, State space explosion, SPECTRAL EXPANSION SOLUTION, EFFICIENT TECHNIQUE, MARKOV-MODELS, PERFORMABILITY, FINITE
  • Middle East Technical University Affiliated: Yes


Two stage open queuing networks are used for modeling the subsystem-behaviour in computers and communication networks, mass storage devices, memory servers, and queuing analysis of wireless mobile cellular networks. The queuing analysis of wireless systems is essential in order to quantify the impact of different factors on quality of service (QoS); performance measures so that wireless protocols can be designed and/or tuned in an optimal manner. In that sense two stage open queuing systems are particularly important to model handoff phenomena, especially for the integration of two different systems such as cellular and wireless local area networks (WLANs). Analytical solutions for two-dimensional Markov processes suffer from the state space explosion problem. The numerical difficulties caused by large state spaces, make it difficult to handle multiple servers at the second stage of a tandem queuing system together with server failures and repairs. This study presents a new approach to analytical modeling of open networks offering improvements in alleviating this problem. The proposed solution is a hybrid version, which combines well known spectral expansion, and hierarchical Markov reward rate approaches. Using this approach, two-stage open networks with multiple servers, breakdowns, and repairs at the second stage and feedback can be modeled as three-dimensional Markov processes and solved for performability measures. Comparative results show that the new algorithm used for solution, provides a high degree of accuracy, and it is computationally more efficient than the existing approaches. The proposed model is capable of solving other three-dimensional Markov processes. (C) 2012 Elsevier Ltd. All rights reserved.