Connection-wise end-to-end performance analysis of queuing networks with MMPP inputs
Performance Evaluation
Departure Processes of BMAP/G/1 Queues
Queueing Systems: Theory and Applications
Output models of MAP/PH/1(/K) queues for an efficient network decomposition
Performance Evaluation
Approximation models of feed-forward G/G/1/N queueing networks with correlated arrivals
Performance Evaluation
ETAQA Truncation Models for the MAP/MAP/1 Departure Process
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Constructing a correlated sequence of matrix exponentials with invariant first-order properties
Operations Research Letters
Characterization of moments and autocorrelation in MAPs
ACM SIGMETRICS Performance Evaluation Review
Trace data characterization and fitting for Markov modeling
Performance Evaluation
KPC-Toolbox: Best recipes for automatic trace fitting using Markovian Arrival Processes
Performance Evaluation
Winter Simulation Conference
Hi-index | 0.00 |
Tools for performance evaluation often require techniques to match moments to continuous distributions or moments and correlation data to correlated processes. With respect to efficiency in applications, one is interested in low-dimensional (matrix) representations. For phase-type distributions (or matrix exponentials) of second order, analytic bounds could be derived earlier, which specify the space of permissible moments. In this paper, we add a correlation parameter to the first three moments of the marginal distribution to construct a Markovian arrival process of second order (MAP(2)). Exploiting the equivalence of correlated matrix-exponential sequences and MAPs in two dimensions, we present an algorithm that decides whether the correlation parameter is permissible with respect to the three moments and - if so - delivers a valid MAP(2) which matches the four parameters.We also investigate the restrictions imposed on the correlation structure of MAP(2)s with hyperexponential marginals. Analytic bounds for the envelope correlation region (i.e., for arbitrary third moment) and for the specific correlation region (i.e., for fixed third moment) are given.When there is no need for a MAP(2) representation (as in linear-algebraic queueing theory), the proposed procedure serves to check the validity of the constructed correlated matrix-exponential sequence.Numerical examples indicate how these results can be used to efficiently decompose queueing networks.