Matches in SemOpenAlex for { <https://semopenalex.org/work/W2010835523> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2010835523 endingPage "654" @default.
- W2010835523 startingPage "643" @default.
- W2010835523 abstract "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 group theory, and graph theory are used to develop procedures for automatically detecting, and exploiting all symmetries in the composed model. We discuss the necessary algorithms to detect and exploit model symmetry, and provide a proof that the theory generates an equivalent model. After a thorough analysis of the added complexity, a state-space generator which implements these algorithms within Mobius is then presented." @default.
- W2010835523 created "2016-06-24" @default.
- W2010835523 creator A5018382706 @default.
- W2010835523 creator A5059543984 @default.
- W2010835523 creator A5074285069 @default.
- W2010835523 date "2007-12-01" @default.
- W2010835523 modified "2023-09-27" @default.
- W2010835523 title "Detecting and Exploiting Symmetry in Discrete-State Markov Models" @default.
- W2010835523 cites W1557545083 @default.
- W2010835523 cites W1566679152 @default.
- W2010835523 cites W1976057993 @default.
- W2010835523 cites W2015952670 @default.
- W2010835523 cites W2027876313 @default.
- W2010835523 cites W2061270859 @default.
- W2010835523 cites W2089086379 @default.
- W2010835523 cites W2093419235 @default.
- W2010835523 cites W2109828309 @default.
- W2010835523 cites W2112922653 @default.
- W2010835523 cites W2116492031 @default.
- W2010835523 cites W2118129665 @default.
- W2010835523 cites W2121451727 @default.
- W2010835523 cites W2122006570 @default.
- W2010835523 cites W2123172289 @default.
- W2010835523 cites W2126835091 @default.
- W2010835523 cites W2127277550 @default.
- W2010835523 cites W2129052104 @default.
- W2010835523 cites W2136685010 @default.
- W2010835523 cites W2143039561 @default.
- W2010835523 cites W2146432221 @default.
- W2010835523 cites W2146920072 @default.
- W2010835523 cites W2150507951 @default.
- W2010835523 cites W2153851383 @default.
- W2010835523 cites W2159443917 @default.
- W2010835523 cites W2681991495 @default.
- W2010835523 cites W4205799781 @default.
- W2010835523 cites W4206542816 @default.
- W2010835523 cites W45613378 @default.
- W2010835523 doi "https://doi.org/10.1109/tr.2007.909761" @default.
- W2010835523 hasPublicationYear "2007" @default.
- W2010835523 type Work @default.
- W2010835523 sameAs 2010835523 @default.
- W2010835523 citedByCount "11" @default.
- W2010835523 countsByYear W20108355232012 @default.
- W2010835523 countsByYear W20108355232013 @default.
- W2010835523 countsByYear W20108355232014 @default.
- W2010835523 crossrefType "journal-article" @default.
- W2010835523 hasAuthorship W2010835523A5018382706 @default.
- W2010835523 hasAuthorship W2010835523A5059543984 @default.
- W2010835523 hasAuthorship W2010835523A5074285069 @default.
- W2010835523 hasConcept C11413529 @default.
- W2010835523 hasConcept C114614502 @default.
- W2010835523 hasConcept C119857082 @default.
- W2010835523 hasConcept C165696696 @default.
- W2010835523 hasConcept C2524010 @default.
- W2010835523 hasConcept C33923547 @default.
- W2010835523 hasConcept C38652104 @default.
- W2010835523 hasConcept C41008148 @default.
- W2010835523 hasConcept C80444323 @default.
- W2010835523 hasConcept C88230418 @default.
- W2010835523 hasConcept C96469262 @default.
- W2010835523 hasConcept C98763669 @default.
- W2010835523 hasConceptScore W2010835523C11413529 @default.
- W2010835523 hasConceptScore W2010835523C114614502 @default.
- W2010835523 hasConceptScore W2010835523C119857082 @default.
- W2010835523 hasConceptScore W2010835523C165696696 @default.
- W2010835523 hasConceptScore W2010835523C2524010 @default.
- W2010835523 hasConceptScore W2010835523C33923547 @default.
- W2010835523 hasConceptScore W2010835523C38652104 @default.
- W2010835523 hasConceptScore W2010835523C41008148 @default.
- W2010835523 hasConceptScore W2010835523C80444323 @default.
- W2010835523 hasConceptScore W2010835523C88230418 @default.
- W2010835523 hasConceptScore W2010835523C96469262 @default.
- W2010835523 hasConceptScore W2010835523C98763669 @default.
- W2010835523 hasIssue "4" @default.
- W2010835523 hasLocation W20108355231 @default.
- W2010835523 hasOpenAccess W2010835523 @default.
- W2010835523 hasPrimaryLocation W20108355231 @default.
- W2010835523 hasRelatedWork W1527191935 @default.
- W2010835523 hasRelatedWork W1571778697 @default.
- W2010835523 hasRelatedWork W1986413652 @default.
- W2010835523 hasRelatedWork W2393933887 @default.
- W2010835523 hasRelatedWork W2944843666 @default.
- W2010835523 hasRelatedWork W2963528939 @default.
- W2010835523 hasRelatedWork W2964604098 @default.
- W2010835523 hasRelatedWork W2997512100 @default.
- W2010835523 hasRelatedWork W4255056815 @default.
- W2010835523 hasRelatedWork W4321593474 @default.
- W2010835523 hasVolume "56" @default.
- W2010835523 isParatext "false" @default.
- W2010835523 isRetracted "false" @default.
- W2010835523 magId "2010835523" @default.
- W2010835523 workType "article" @default.