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

On the performance, availability and energy consumption modelling of clustered IoT systems

“…Spectral Expansion is a well-known exact solution method for steady state analysis of two-dimensional Markov processes in semi-infinite or finite lattice strips. It has successfully been used to solve performance and dependability problems arising in computing and communication systems [8], [13], [37]. A detailed study of spectral expansion technique can be found in [7], [13].…”

“…It has successfully been used to solve performance and dependability problems arising in computing and communication systems [8], [13], [37]. A detailed study of spectral expansion technique can be found in [7], [13]. In this approach, transition matrices A, A j , B, B j , C, and C j are derived from the performability model presented in figure 3 and used to solve the two-dimensional Markov process X which evolves with the following transitions:…”

Sequential and Parallel Algorithms for the State Space Exploration

“…Many solutions have been proposed for the state explosion problem [7,12]. In this section, we present three solutions.…”

“…Model checking techniques suffer from a major problem known as the state explosion problem [4,7,16]. This problem occurs when the state space to be explored is large and cannot be explored by the algorithms for a lack of capacity memory resources or an important time because the memory space needed to carry out exploration is higher than the memory space contained in the machine.…”

Hierarchical Space Merging Algorithm for Analysis of Two Stage Queueing Network with Feedback

“…There are several studies which investigated the two-phase model of an open queueing network with instantaneous feedback [4][5][6][7][8]. In these studies, the authors show that analysis of the characteristics of the integrated cellular networks and WLANs (Wireless Local Area Network, WLAN) needs to investigate similar models.…”