×

Polynomial factorization for servers with semi-Markovian workload: Performance and numerical aspects of a verified solution technique. (English) Zbl 1075.65068

The authors propose a method to obtain verified solutions for the distribution of the workload of renewal and semi-Markov servers in discrete time using polynomial factorization. The method is applicable for queuing systems and servers in production lines and telecommunication networks. Interval arithmetic is used to obtain verified results for the workload distributions.

MSC:

65G30 Interval and finite arithmetic
65G20 Algorithms with automatic result verification
65H05 Numerical computation of solutions to single equations
60K15 Markov renewal processes, semi-Markov processes
12D05 Polynomials in real and complex fields: factorization

Software:

C-XSC 2.0; MPSolve
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Alefeld G., Introduction to Interval Computations (1983) · Zbl 0552.65041
[2] DOI: 10.1007/BF01159088 · Zbl 0666.60096
[3] DOI: 10.1007/978-1-4615-3130-2
[4] DOI: 10.1007/978-3-540-45232-4_14
[5] Chaudhry M.L., J. Opl. Res. Soc. 44 pp 1035– (1993)
[6] DOI: 10.1109/90.234855
[7] Engeln-Müllges G., Numerical Algorithms with C (1996) · Zbl 0857.65003
[8] DOI: 10.1023/B:NUMA.0000049461.33333.5b · Zbl 1114.90018
[9] DOI: 10.1016/S0166-5316(97)00003-5
[10] DOI: 10.1287/ijoc.15.4.412.24889 · Zbl 1238.90041
[11] DOI: 10.1016/j.laa.2003.12.013 · Zbl 1050.65007
[12] DOI: 10.1287/opre.37.1.141 · Zbl 0674.90037
[13] DOI: 10.2307/3214541 · Zbl 0716.60076
[14] Hammer R., Numerical Toolbox for Verified Computing I (1999)
[15] DOI: 10.1016/0166-5316(94)00024-E · Zbl 0875.68101
[16] DOI: 10.1016/S0166-5316(99)00067-X · Zbl 1052.68552
[17] DOI: 10.1023/A:1016658826166 · Zbl 1030.68689
[18] Haßlinger G., Internat. J. of Simulation 3 pp 25– (2002)
[19] Jansen J., Proceedings of the 2nd Internat (1998)
[20] Klatte R., C-XSC (1993)
[21] Kleinrock L., Queueing Systems 1 (1975) · Zbl 0334.60045
[22] DOI: 10.1023/A:1019148217045 · Zbl 0894.60086
[23] DOI: 10.1109/26.87217
[24] DOI: 10.1017/S0305004100027638
[25] Neuts M.F., Structured Stochastic Matrices of M/G/1 Type and Their Applications (1989)
[26] DOI: 10.1007/BF01158775 · Zbl 0820.90047
[27] DOI: 10.1023/A:1023672904130
[28] DOI: 10.1080/15326349908807154 · Zbl 0699.60090
[29] Traczinski D., Proc. 12. GI/ITG Conf. on Measuring Modeling and Evaluation of Comp. and Comm. Systems pp 245– (2004)
[30] DOI: 10.1080/15326349608807392 · Zbl 0858.60065
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.