Sciweavers

Share
PRDC
2006
IEEE

Detecting and Exploiting Symmetry in Discrete-state Markov Models

11 years 7 months ago
Detecting and Exploiting Symmetry in Discrete-state Markov Models
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. The problem of how best to exploit symmetry in models has received much attention from the modeling community, but no solution has garnered widespread support, primarily because each solution is limited in terms of either the types of symmetry that can be exploited or the difficulty of translating from the system description to the model formalism. We propose a new method for detecting and exploiting model symmetry in which 1) models retain the structure of the system, and 2) all symmetry inherent in the structure of the model can be detected and exploited for the purposes of state-space reduction. Composed models are constructed from models through specification of connections between models that correspond to shared state fragments. The composed model is interpreted as an undirected graph, and results from...
W. Douglas Obal II, Michael G. McQuinn, William H.
Added 12 Jun 2010
Updated 12 Jun 2010
Type Conference
Year 2006
Where PRDC
Authors W. Douglas Obal II, Michael G. McQuinn, William H. Sanders
Comments (0)
books