Detecting and exploiting symmetry in discrete-state Markov models

IEEE Transactions on Reliability

Volumn 56, Issue 4, 2007, Pages 643-654

  Obal II, W Douglas ^a   McQuinn, Michael G ^a   Sanders, William H ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

Graph theory; Group theory; Markov processes; State space methods

Indexed keywords

GRAPH THEORY; GROUPWARE; MARKOV PROCESSES; MATHEMATICAL MODELS; STATE SPACE METHODS;

GROUP THEORY;

COMPUTER SYSTEMS;

EID: 36949036887     PISSN: 00189529     EISSN: None     Source Type: Journal    
DOI: 10.1109/TR.2007.909761     Document Type: Article

References (34)

1. G. Clark, T. Courtney, D. Daly, D. Deavours, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. Webster, "The Möbius modeling tool," in Proc. of the 9th International Workshop on Petri Nets and Performance Models, 2001, pp. 241-250.
2. D. M. Nicol, W. H. Sanders, and K. S. Trivedi, "Model-based evaluation: From dependability to security," IEEE Trans. Dependable Sec. Comput. vol. 1, no. 1, pp. 48-65, 2004.
3. N. Park and F. Lombardi, "Analysis of stratified testing for multichip module systems," IEEE Trans. Reliability, 2002.
4. A. Ramesh, D. Twigg, U. Sandadi, and T. Sharma, "Reliability analysis of systems with operation-time management," IEEE Trans. Reliability 2002.
5. X. Teng, H. Pham, and D. Jeske, "Reliability modeling of hardware and software interactions, and its applications," IEEE Trans. Reliability, 2006.
6. M. Davio, "Kronecker products and shuffle algebra," IEEE Trans. on Computers, vol. C-30, Feb. 1981.
7. B. Plateau and K. Atif, "Stochastic automata network for modeling parallel systems," IEEE Trans. Software Engineering, vol. 17, no. 10, pp. 1093-1108, October 1991.
8. B. Plateau and J.-M. Fourneau, "A methodology for solving Markov models of parallel systems," Journal of Parallel and Distributed Computing vol. 12, no. 4, pp. 370-387, August 1991.
9. P. Buchholz and P. Kemper, "Numerical analysis of stochastic marked graph nets," in Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995, pp. 32-41.
10. P. Buchholz, "Equivalence relations for stochastic automata networks," in Proc. of the 2nd International Workshop on the Numerical Solution of Markov Chains, Raleigh, North Carolina, January 1995.
11. S. Donatelli, "Superposed stochastic automata: A class of stochastic Petri nets with parallel solution and distributed state space," Performance Evaluation, vol. 18, no. 1, pp. 21-36, July 1993.
12. P. Kemper, "Numerical analysis of superposed GSPNs," IEEE Trans. Software Engineering, vol. 22, no. 9, pp. 615-628, September 1996.
13. D. Deavours and W. H. Sanders, "'On-the-fly' solution techniques for stochastic Petri nets and extensions," in Proceedings of the 7th International Workshop on Petri Nets and Performance Models (PNPM '97 St. Malo, France, June 3-6, 1997, pp. 132-141.
14. D. Deavours and W. H. Sanders, "An efficient disk-based tool for solving very large Markov models," in Computer Performance Evaluation: Proceedings of the 9th International Conference on Modeling Techniques and Tools (TOOLS '97), St. Malo, France, June 1997, pp. 58-71.
15. G. Ciardo and A. S. Miner, "Storage alternative for large structured state spaces," in Proc. of the 9th Int. Conf. of Modeling Techniques and Tools for Computer Performance Evaluation, 1997.
16. S. Derisavi, P. Kemper, and W. H. Sanders, "Lumping matrix diagram representations of Markov models," in Proc. of the 2005 Int. Conf. on Dependable Systems and Networks, 2005.
17. E. de Souza e Silva and P. M. Ochoa, "State space exploration in Markov models," Performance Evaluation Review, vol. 20, no. 1, pp. 152-166, June 1992.
18. B. R. Haverkort, "In search of probability mass: Probabilistic evaluation of high-level specified Markov models," The Computer Journal, vol. 38, no. 7, pp. 521-529, 1995.
19. B. E. Aupperle and J. F. Meyer, "Fault-tolerant BIBD networks," in Proc. of the 18th International Symposium on Fault-Tolerant Computing (FTCS-18), Tokyo, Japan, 1988, pp. 306-311.
20. B.E. Aupperle and J. F. Meyer, "State space generation for degradable multi-processor systems," in 21st International Symposium on Fault-Tolerant Computing (FTCS-21), 1991, pp. 308-315.
21. P. Buchholz, "Hierarchical Markovian models: Symmetries and reduction," Performance Evaluation, vol. 22, no. 1, pp. 93-110, February 1995.
22. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad, "Stochastic well-formed colored nets and symmetric modeling applications," IEEE Trans. on Computers, pp. 1343-1360, November 1993.
23. J. Hillston, A Compositional Approach to Performance Modeling, ser. Distinguished Dissertations in Computer Science. Cambridge, UK: Cambridge University Press, 1996.
24. W. H. Sanders and J. F. Meyer, "Reduced base model construction methods for stochastic activity networks," IEEE Journal on Selected Areas in Communication, vol. 9, no. 1, pp. 25-36, January 1991.
25. A. K. Somani, "Reliability modeling of structured systems: Exploring symmetry in state-space generation," in Proc. of the 9-th Pacific Rim Conference, Dec. 1997.
26. G. Ciardo and K. S. Trivedi, "A decomposition approach for stochastic reward net models," Performance Evaluation, vol. 18, pp. 37-59, 1993.
27. W. Obal, II, "Measure-adaptive state-space construction methods," Ph.D. dissertation,, The University of Arizona,, 1998.
28. J. S. Leon, "Permutation group algorithms based on partitions, I: Theory and algorithms," Journal of Symbolic Computation, vol. 12, pp. 533-583, 1991.
29. B. D. McKay, "Practical graph isomorphism," Congressus Numerantium vol. 30, pp. 45-87, 1981.
30. T. Miyazaki, "The complexity of Mckay's canonical labeling algorithm," in DIMACS Series on Discrete Mathematics and Theoretical Computer Science.:, 1996.
31. P. T. Darga, M. H. Liffiton, K. A. Sakallah, and I. L. Markov, "Exploiting structure in symmetry generation for CNF," in Proc. of the 41st Design Automation Conference, June 2004, pp. 530-534.
32. G. Butler, Fundamental Algorithms for Permutation Groups, ser. Lecture Notes in Computer Science.: Springer-Verlag, 1991, vol. 559.
33. S. H. Murray, The Schreier-Sims Algorithm 2003.
34. [Online]. Available: http://mathworld.wolfram.com/Isomorphic-Graphs.html