FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2119003854> ?p ?o ?g. }

• W2119003854 abstract "A model-based evaluation of a system’s design often considers to what degree components need to be available multiple times in order to reach a desired level of availability, reliability or dependability. Multiple components of the same kind then lead to models with regular structures and symmetries. In stochastic models, especially Markovian models, such regularities have been used to establish lumpability results. In this paper, we propose a procedure to detect symmetries in a Markovian model that is built in a compositional manner by sharing state variables. The symmetries give insight into a model and help to achieve a significant state space reduction, which alleviates the effects of the infamous state space explosion problem. The results extend existing work of Obal, McQuinn, and Sanders; in particular, we focus on variables in functional transition rates that commute in order to take additional symmetries into account. The overall approach contributes to Mobius, a multi-paradigm, multi-solution framework for the model-based dependability and performance assessment of systems." @default.
• W2119003854 created "2016-06-24" @default.
• W2119003854 creator A5056706172 @default.
• W2119003854 creator A5068689201 @default.
• W2119003854 date "2009-09-01" @default.
• W2119003854 modified "2023-09-24" @default.
• W2119003854 title "On the Detection of Symmetries in Compositional Markov Models" @default.
• W2119003854 cites W1561148808 @default.
• W2119003854 cites W1575484414 @default.
• W2119003854 cites W1869716833 @default.
• W2119003854 cites W194165418 @default.
• W2119003854 cites W1968402813 @default.
• W2119003854 cites W2010835523 @default.
• W2119003854 cites W2028717072 @default.
• W2119003854 cites W20432018 @default.
• W2119003854 cites W2044811734 @default.
• W2119003854 cites W2075379212 @default.
• W2119003854 cites W2096262342 @default.
• W2119003854 cites W2114710208 @default.
• W2119003854 cites W2146432221 @default.
• W2119003854 cites W2153851383 @default.
• W2119003854 cites W2158042562 @default.
• W2119003854 cites W2158196097 @default.
• W2119003854 cites W2161833190 @default.
• W2119003854 cites W2169174934 @default.
• W2119003854 cites W2323009482 @default.
• W2119003854 cites W2888753267 @default.
• W2119003854 cites W2031284254 @default.
• W2119003854 doi "https://doi.org/10.1109/qest.2009.47" @default.
• W2119003854 hasPublicationYear "2009" @default.
• W2119003854 type Work @default.
• W2119003854 sameAs 2119003854 @default.
• W2119003854 citedByCount "0" @default.
• W2119003854 crossrefType "proceedings-article" @default.
• W2119003854 hasAuthorship W2119003854A5056706172 @default.
• W2119003854 hasAuthorship W2119003854A5068689201 @default.
• W2119003854 hasConcept C105795698 @default.
• W2119003854 hasConcept C111919701 @default.
• W2119003854 hasConcept C115903868 @default.
• W2119003854 hasConcept C119857082 @default.
• W2119003854 hasConcept C121332964 @default.
• W2119003854 hasConcept C126255220 @default.
• W2119003854 hasConcept C159886148 @default.
• W2119003854 hasConcept C163258240 @default.
• W2119003854 hasConcept C163836022 @default.
• W2119003854 hasConcept C2524010 @default.
• W2119003854 hasConcept C2778572836 @default.
• W2119003854 hasConcept C33923547 @default.
• W2119003854 hasConcept C41008148 @default.
• W2119003854 hasConcept C43214815 @default.
• W2119003854 hasConcept C62520636 @default.
• W2119003854 hasConcept C72434380 @default.
• W2119003854 hasConcept C77019957 @default.
• W2119003854 hasConcept C80444323 @default.
• W2119003854 hasConcept C96469262 @default.
• W2119003854 hasConcept C98763669 @default.
• W2119003854 hasConceptScore W2119003854C105795698 @default.
• W2119003854 hasConceptScore W2119003854C111919701 @default.
• W2119003854 hasConceptScore W2119003854C115903868 @default.
• W2119003854 hasConceptScore W2119003854C119857082 @default.
• W2119003854 hasConceptScore W2119003854C121332964 @default.
• W2119003854 hasConceptScore W2119003854C126255220 @default.
• W2119003854 hasConceptScore W2119003854C159886148 @default.
• W2119003854 hasConceptScore W2119003854C163258240 @default.
• W2119003854 hasConceptScore W2119003854C163836022 @default.
• W2119003854 hasConceptScore W2119003854C2524010 @default.
• W2119003854 hasConceptScore W2119003854C2778572836 @default.
• W2119003854 hasConceptScore W2119003854C33923547 @default.
• W2119003854 hasConceptScore W2119003854C41008148 @default.
• W2119003854 hasConceptScore W2119003854C43214815 @default.
• W2119003854 hasConceptScore W2119003854C62520636 @default.
• W2119003854 hasConceptScore W2119003854C72434380 @default.
• W2119003854 hasConceptScore W2119003854C77019957 @default.
• W2119003854 hasConceptScore W2119003854C80444323 @default.
• W2119003854 hasConceptScore W2119003854C96469262 @default.
• W2119003854 hasConceptScore W2119003854C98763669 @default.
• W2119003854 hasLocation W21190038541 @default.
• W2119003854 hasOpenAccess W2119003854 @default.
• W2119003854 hasPrimaryLocation W21190038541 @default.
• W2119003854 hasRelatedWork W1492158240 @default.
• W2119003854 hasRelatedWork W1503800119 @default.
• W2119003854 hasRelatedWork W1977722682 @default.
• W2119003854 hasRelatedWork W2018999909 @default.
• W2119003854 hasRelatedWork W2105361165 @default.
• W2119003854 hasRelatedWork W2113763958 @default.
• W2119003854 hasRelatedWork W2127277550 @default.
• W2119003854 hasRelatedWork W2146819800 @default.
• W2119003854 hasRelatedWork W2157789269 @default.
• W2119003854 hasRelatedWork W2159967971 @default.
• W2119003854 hasRelatedWork W2167419136 @default.
• W2119003854 hasRelatedWork W2186994028 @default.
• W2119003854 hasRelatedWork W2778159661 @default.
• W2119003854 hasRelatedWork W2903667619 @default.
• W2119003854 hasRelatedWork W2938904807 @default.
• W2119003854 hasRelatedWork W2963182255 @default.
• W2119003854 hasRelatedWork W2963203002 @default.
• W2119003854 hasRelatedWork W2998145771 @default.
• W2119003854 hasRelatedWork W3152767234 @default.
• W2119003854 hasRelatedWork W84587889 @default.
• W2119003854 isParatext "false" @default.

• next