Skip to main content Accessibility help
  • Print publication year: 2017
  • Online publication date: August 2017

15 - Phase-Type Expansion

from Part IV - State-Space Models with Non-Exponential Distributions
[1] D., Cox, “A use of complex probabilities in the theory of stochastic processes,Proceedings of the Cambridge Philosophical Society, vol. 51, pp. 313–319, 1955.
[2] D., Cox, “The analysis of non-Markovian stochastic processes by the inclusion of supplementary variables,Proceedings of the Cambridge Philosophical Society, vol. 51, pp. 433–440, 1955.
[3] R., Sahner, K., Trivedi, and A., Puliafito, Performance and Reliability Analysis of Computer Systems: An Example-based Approach Using the SHARPE Software Package. Kluwer Academic Publishers, 1996.
[4] M., Neuts, Matrix Geometric Solutions in Stochastic Models. Johns Hopkins University Press, 1981.
[5] D., Cox and H., Miller, The Theory of Stochastic Processes. Chapman and Hall, 1965.
[6] S., Asmussen, O., Nerman, and M., Olsson, “Fitting phase-type distributions via the EM algorithm,Scandinavian Journal of Statistics, vol. 23, no. 4, pp. 419–441, 1996.
[7] A., Horváth and M., Telek, “PhFit: A general phase-type fitting tool,” in Computer Performance Evaluation: Modelling Techniques and Tools, Lecture Notes in Computer Science, vol. 2324, eds. T., Field, P., Harrison, J., Bradley, and U., Harder. Springer, 2002, pp. 82–91.
[8] H., Okamura, T., Dohi, and K. S., Trivedi, “A refined EM algorithm for PH distributions,Performance Evaluation, vol. 68, no. 10, pp. 938–954, 2011.
[9] G., Horváth and M., Telek, “BuTools 2: a rich toolbox for Markovian performance evaluation,” in Valuetools 2016 - Conf. on Performance Evaluation Methodologies and Tools, 2016.
[10] A., Bobbio, A., Horváth, M., Scarpa, and M., Telek, “Acyclic discrete phase type distributions: Properties and a parameter estimation algorithm,Performance Evaluation, vol. 54, no. 1, pp. 1–32, 2003.
[11] C., O'Cinneide, “Characterization of phase-type distributions,Stochastic Models, vol. 6, no. 1, pp. 1–57, 1990.
[12] C., O'Cinneide, “On non-uniqueness of representations of phase-type distributions,Stochastic Models, vol. 5, pp. 247–259, 1989.
[13] C., Commault and J., Chemla, “On dual and minimal phase-type representations,Stochastic Models, vol. 9, pp. 421–434, 1993.
[14] T., Osogami and M., Harchol-Balter, “Closed form solutions for mapping general distributions to quasi-minimal PH distributions,Performance Evaluation, vol. 63, no. 6, pp. 524–552, 2006.
[15] G., Horváth and M., Telek, “On the canonical representation of phase-type distributions,Performance Evaluation, vol. 66, no. 8, pp. 396–409, 2009.
[16] A., Cumani, “On the canonical representation of homogeneous Markov processes modelling failure-time distributions,Microelectronics and Reliability, vol. 22, pp. 583–602, 1982.
[17] A., Bobbio and A., Cumani, “Markov models: A new class of distributions for the analysis of lifetime data samples,” in Proc. 4th EUREDATA Conf.. Paper 10.3/1–13, 1983.
[18] D., Aldous and L., Shepp, “The least variable phase type distribution is Erlang,Stochastic Models, vol. 3, pp. 467–473, 1987.
[19] D., Assaf and B., Levikson, “Closure of phase type distributions under operations arising in reliability theory,The Annals of Probability, vol. 10, pp. 265–269, 1982.
[20] R., Maier and C., O'Cinneide, “A closure characterisation of phase-type distributions,Journal of Applied Probability, vol. 29, no. 1, pp. 92–103, 1992.
[21] A., Bobbio and K. S., Trivedi, “Computation of the distribution of the completion time when the work requirement is a PH random variable,Stochastic Models, vol. 6, pp. 133–149, 1990.
[22] A., Bobbio and L., Roberti, “Distribution of the minimal completion time of parallel tasks in multi-reward semi-Markov models,Performance Evaluation, vol. 14, pp. 239–256, 1992.
[23] W., Bux and U., Herzog, “The phase concept: Approximation of measured data and performance analysis,” in Computer Performance, eds. K., Chandy and M., Reiser. North-Holland, 1977, pp. 23–38.
[24] C., Singh, R., Billinton, and S., Lee, “The method of stages for non-Markovian models,IEEE Transactions on Reliability, vol. R-26, pp. 135–137, 1977.
[25] M., Johnson and M., Taaffe, “Matching moments to phase distributions: Mixtures of Erlang distribution of common order,Stochastic Models, vol. 5, pp. 711–743, 1989.
[26] L., Schmickler, “MEDA: Mixed Erlang distributions as phase-type representations of empirical distribution functions,Stochastic Models, vol. 8, pp. 131–156, 1992.
[27] A., Bobbio and A., Cumani, “ML estimation of the parameters of a PH distribution in triangular canonical form,” in Computer Performance Evaluation, eds. G., Balbo and G., Serazzi. Elsevier Science Publishers, 1992, pp. 33–46.
[28] A., Bobbio and M., Telek, “A benchmark for PH estimation algorithms: Results for acyclic-PH,Stochastic Models, vol. 10, pp. 661–677, 1994.
[29] A., Bobbio, A., Horváth, and M., Telek, “PhFit: A general phase-type fitting tool,” in Proc. Int. Conf. on Dependable Systems and Networks, 2002, p. 543.
[30] M., Telek, “A tool for fitting distributions of phase type.” [Online]. Available:∼telek/tools.htm
[31] A., Dempster, N., Laird, and D., Rubin, “Maximum likelihood from incomplete data via the EM algorithm,Journal of the Royal Statistical Society, vol. 39, pp. 1–38, 1977.
[32] A., Thumler, P., Buchholz, and M., Telek, “A novel approach for phase-type fitting with the EM algorithm,IEEE Transactions on Dependable and Secure Computing, vol. 3, pp. 245–258, 2006.
[33] M., Faddy, “Phase-type distributions for failure times,Mathematical and Computer Modelling, vol. 22, no. 10–12, pp. 63–70, 1995.
[34] A., Horváth and M., Telek, “Approximating heavy tailed behavior with phase type distributions,” in Proc. 3rd Int. Conf. on Matrix-Analytic Methods in Stochastic Models, MAM3. Notable Publications Inc, 2000, pp. 191–214.
[35] Y., Lu, A., Miller, R., Hoffmann, and C., Johnson, “Towards the automated verification of Weibull distributions for system failure rates,” in Proc. Int.Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2016), 2016.
[36] S., Distefano, F., Longo, and K. S., Trivedi, “Investigating dynamic reliability and availability through state-space models,Computers and Mathematics with Applications, vol. 64, no. 12, pp. 3701–3716, 2012.
[37] M., Neuts and K., Meier, “On the use of phase type distributions in reliability modelling of systems with two components,OR Spektrum, vol. 2, pp. 227–234, 1981.
[38] A., Bobbio and A., Cumani, “A Markov approach to wear-out modelling,Microelectronics and Reliability, vol. 23, pp. 113–119, 1983.
[39] D., Montoro-Cazorla and R., Pérez-Ocón, “A deteriorating two-system with two repair modes and sojourn times phase-type distributed,Reliability Engineering and System Safety, vol. 91, no. 1, pp. 1–9, 2006.
[40] U., Jensen, “Stochastic models of reliability and maintenance: An overview,” in Reliability and Maintenance of Complex Systems, ed. S., Özekici. NATO ASI Series, Springer, 1996, ch. 1, pp. 3–37.
[41] V., Kulkarni, V., Nicola, and K., Trivedi, “The completion time of a job on a multi-mode system,Advances in Applied Probability, vol. 19, pp. 932–954, 1987.
[42] M., Neuts, “Two further closure properties of PH-distributions,Asia-Pacific Journal of Operational Research, vol. 9, pp. 459–477, 1992.
[43] V., Ramaswami, “Algorithms for the multi-server queue with phase type service,Stochastic Models, vol. 1, no. 3, pp. 339–417, 1985.
[44] B., Sericola, F., Guillemin, and J. Boyer, “Sojourn times in the M/PH/1 processor sharing queue,Queueing Systems, vol. 50, no. 1, pp. 109–130, 2005.
[45] S., Asmussen, Markov Additive Models. Springer, 2003, pp. 302–339.
[46] S., Chakravarthy, Markovian Arrival Processes. John Wiley & Sons, 2010.
[47] D., Gross and C., Harris, Fundamentals of Queuing theory. John Wiley & Sons, 1985.
[48] S., Woolet, “Performance analysis of computer networks,” PhD Thesis, Department of Computer Science, Duke University, 1993.
[49] K., Trivedi, Probability and Statistics with Reliability, Queueing and Computer Science Applications, 2nd edn. John Wiley & Sons, 2001.
[50] A., Bobbio and M., Telek, “Non-exponential stochastic Petri nets: An overview of methods and techniques,Computer Systems: Science and Engineering, vol. 13, no. 6, pp. 339–351, 1998.
[51] J., Zhao, K., Trivedi, M., Grottke, J., Alonso, and Y., Wang, “Ensuring the performance of Apache HTTP server affected by aging,IEEE Transactions on Dependable and Secure Computing, vol. 11, no. 2, pp. 130–141, Mar. 2014.
[52] D., Chen and K. S., Trivedi, “Closed-form analytical results for condition-based maintenance,Reliability Engineering and System Safety, vol. 76, no. 1, pp. 43–51, 2002.
[53] G., Latouche and V., Ramaswami, Introduction to Matrix Analytic Methods in Stochastic Modeling. Society for Industrial and Applied Mathematics, 1999.
[54] B. V., Houdt, “A phase-type representation for the queue length distribution of a semi-Markovian queue,” in Proc. 7th Int. Conf. on Quantitative Evaluation of Systems, Sep 2010, pp. 49–58.
[55] J. E., Ruiz-Castro, R., Pérez-Ocón, and G., Fernández-Villodre, “Modelling a reliability system governed by discrete phase-type distributions,Reliability Engineering and System Safety, vol. 93, no. 11, pp. 1650–1657, 2008.
[56] A., Cumani, “ESP: A package for the evaluation of stochastic Petri nets with phase-type distributed transition times,” in Proc. Int. Workshop on Timed Petri Nets. IEEE Computer Society Press no. 674, 1985, pp. 144–151.
[57] P., Chen, S., Bruell, and G., Balbo, “Alternative methods for incorporating non-exponential distributions into stochastic timed Petri nets,” in Proc. Int. Workshop on Petri Nets and Performance Models (PNPM89). IEEE Computer Society, 1989, pp. 187–197.
[58] S., Haddad, P., Moreaux, and G., Chiola, “Efficient handling of phase-type distributions in generalized stochastic Petri nets,” in Proc. 18th Int. Conf. on Application and Theory of Petri Nets, ICATPN'97, LNCS 1248, eds. P., Azéma and G., Balbo. Springer Verlag, 1997, pp. 175–194.
[59] J., Brewer, “Kronecker products and matrix calculus in system theory,” IEEE Transactions on Circuits and Systems, vol. CAS-25, pp. 772–781, 1978.
[60] M., Davio, “Kronecker products and shuffle algebra,IEEE Transactions on Computers, vol. C-30, pp. 116–125, 1981.
[61] S., Donatelli, S., Haddad, and P., Moreaux, “Structured characterization of the Markov chain of a phase type SPN,” in Proc. 10th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation. Springer, 1998, pp. 243–254.
[62] M., Scarpa and A., Bobbio, “Kronecker representation of stochastic Petri nets with discrete PH distributions,” in Int. Computer Performance and Dependability Symp. (IPDS98). IEEE Computer Society Press, 1998, pp. 52–61.
[63] G., Ciardo and A., Miner, “A data structure for the efficient Kronecker solution of GSPNs,” in Proc. 8th Int. Conf. on Petri Nets and Performance Models (PNPM99). IEEE Computer Society, 1999, pp. 22–31.
[64] P., Buchholz, G., Ciardo, S., Donatelli and P., Kemper, “Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models,INFORMS Journal on Computing, vol. 12, no. 3, pp. 203–222, 2000.
[65] P., Buchholz and P., Kemper, “Kronecker based matrix representations for large Markov chains,” in Validation of Stochastic Systems, LNCS 2925, eds. M. S. B., Haverkort, H., Hermanns. Springer Verlag, 2004, pp. 256–295.