Campus Units

Electrical and Computer Engineering

Document Type

Conference Proceeding

Conference

Pacific Rim International Symposium on Fault-Tolerant Systems

Publication Version

Accepted Manuscript

Link to Published Version

https://doi.org/10.1109/PRFTS.1997.640129

Publication Date

1997

Journal or Book Title

Proceedings Pacific Rim International Symposium on Fault-Tolerant Systems

First Page

78

Last Page

84

DOI

10.1109/PRFTS.1997.640129

Conference Title

Pacific Rim International Symposium on Fault-Tolerant Systems

Conference Date

December 15-16, 1997

City

Taipei, Taiwan

Abstract

A large number of systems are implemented using regular interconnected topologies. Markov analysis of such systems results in large state spaces. We explore symmetry, in particular rotational and permutational, of such systems to achieve a significant reduction in the size of the state space required to analyze them. The resulting much smaller state spaces allow analyses of very large systems. We define equivalent classes of states and develop an algorithm to generate small state spaces and the corresponding Markov chain for systems with permutation symmetries. The state space generation process is also simplified. We demonstrate our technique using several examples. Our technique is very useful in the exact analysis of large systems.

Comments

This is a manuscript of a proceeding published as Somani, Arun K. "Reliability modeling of structured systems: Exploring symmetry in state-space generation." In Proceedings Pacific Rim International Symposium on Fault-Tolerant Systems (1997): 78-84. DOI: 10.1109/PRFTS.1997.640129. Posted with permission.

Rights

© 1997 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

Copyright Owner

IEEE

Language

en

File Format

application/pdf

Published Version

Share

Article Location

 
COinS