Phase Type and Matrix Exponential Distributions in Stochastic Modeling

Since their introduction, properties of Phase Type (PH) distributions have been analyzed and many interesting theoretical results found. Thanks to these results, PH distributions have been profitably used in many modeling contexts where non-exponentially distributed behavior is present. Matrix Exponential (ME) distributions are distributions whose matrix representation is structurally similar to that of PH distributions but represent a larger class. For this reason, ME distributions can be usefully employed in modeling contexts in place of PH distributions using the same computational techniques and similar algorithms, giving rise to new opportunities. They are able to represent different dynamics, e.g., faster dynamics, or the same dynamics but at lower computational cost. In this chapter, we deal with the characteristics of PH and ME distributions, and their use in stochastic analysis of complex systems. Moreover, the techniques used in the analysis to take advantage of them are revised.

[1]  Gianfranco Ciardo,et al.  Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation , 2001, TACAS.

[2]  Peter Buchholz,et al.  Stochastic Petri nets with Low variation matrix exponentially distributed firing time , 2011 .

[3]  Robert M. Marmorstein,et al.  Saturation Unbound , 2003, TACAS.

[4]  Edmund M. Clarke,et al.  Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..

[5]  J. Ben Atkinson,et al.  Modeling and Analysis of Stochastic Systems , 1996 .

[6]  Kishor S. Trivedi,et al.  Non-Markovian Modeling of a BladeCenter Chassis Midplane , 2014, EPEW.

[7]  A. Bobbio,et al.  Kronecker representation of stochastic Petri nets with discrete PH distributions , 1998, Proceedings. IEEE International Computer Performance and Dependability Symposium. IPDS'98 (Cat. No.98TB100248).

[8]  Peter Buchholz,et al.  Stochastic Petri nets with matrix exponentially distributed firing times , 2010, Perform. Evaluation.

[9]  Lester Lipsky,et al.  Queueing Theory: A Linear Algebraic Approach , 1992 .

[10]  Bo Friis Nielsen,et al.  Quasi-Birth-and-Death Processes with Rational Arrival Process Components , 2010 .

[11]  D. Cox The analysis of non-Markovian stochastic processes by the inclusion of supplementary variables , 1955, Mathematical Proceedings of the Cambridge Philosophical Society.

[12]  Gianfranco Ciardo,et al.  Efficient Reachability Set Generation and Storage Using Decision Diagrams , 1999, ICATPN.

[13]  Kishor S. Trivedi Probability and Statistics with Reliability, Queuing, and Computer Science Applications , 1984 .

[14]  Mogens Bladt,et al.  Point processes with finite-dimensional conditional probabilities , 1999 .

[15]  Leonard Kleinrock,et al.  Queueing Systems: Volume I-Theory , 1975 .

[16]  Robert K. Brayton,et al.  Algorithms for discrete function manipulation , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

[17]  Francesco Longo,et al.  Two-layer symbolic representation for stochastic models with phase-type distributed events , 2015, Int. J. Syst. Sci..