.png){kind=icon}
返回
Implicit Reward Structures for Implicit Reliability Models
.png){kind=icon}
PRE
AI
DOI：10.1109/TR.2022.3190915.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
A new methodology for effective definition and efficient evaluation of dependability-related properties is proposed. The analysis targets the systems composed of a large number of components, each one modeled implicitly through high-level formalisms, such as stochastic Petri nets. Since the component models are implicit, the reward structure that characterizes the dependability properties has to be implicit as well. Therefore, we present a new formalism to specify those reward structures. The focus here is on component models that can be mapped to stochastic automata with one or several absorbing states so that the system model can be mapped to a stochastic automata network with one or several absorbing states. Correspondingly, the new reward structure defined on each component's model is mapped to a reward vector so that the dependability-related properties of the system are expressed through a newly introduced measure defined starting from those reward vectors. A simple, yet representative, case study is adopted to show the feasibility of the method.
Keyword:
Markov processes
Transient analysis
Synchronization
Petri nets
Context modeling
Analytical models
Absorption
Markov process
implicit modeling
reliability modeling
tensor trains
期刊
IF:
5.7
论文数:
2.8K
被引数:
8.5K
机构
引用论文
分享收藏Molecular Modeling of the Structural and Dynamical Changes in Calcium Channel TRPV5 Induced by the African-Specific A563T Variation.png)
Biochemistry
OAAI
BiochemistryIF0
OAAI分享收藏GENETICS OF NATURAL POPULATIONS. XVI. ALTITUDINAL AND SEASONAL CHANGES PRODUCED BY NATURAL SELECTION IN CERTAIN POPULATIONS OF DROSOPHILA PSEUDOOBSCURA AND DROSOPHILA PERSIMILISGeneticsOAAI
GeneticsIF0
OAAI分享收藏
查看更多内容