Phase Type and Matrix Exponential Distributions in Stochastic Modeling
暂无分享,去创建一个
[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..