Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)最新文献_第4页

Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models 非马尔可夫模型分析中DBM域上状态密度函数的闭合形式推导

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) Pub Date : 1900-01-01 DOI: 10.1109/QEST.2007.23

A. Donaldson, Alice Miller, D. Parker

{"title":"Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models","authors":"A. Donaldson, Alice Miller, D. Parker","doi":"10.1109/QEST.2007.23","DOIUrl":"https://doi.org/10.1109/QEST.2007.23","url":null,"abstract":"Quantitative evaluation of models allowing multiple concurrent non-exponential timers requires enumeration and analysis of non-Markovian processes. In general, these processes may be not isomorphic to those obtained from the corresponding untimed models, due to implicit precedences induced by timing constraints on concurrent events. The analysis of stochastic Time Petri Nets (sTPNs) copes with the problem by covering the state space with stochastic classes, which extend Difference Bounds Matrix (DBM) theory with a state density function providing a measure of probability for the variety of states collected within a class. In this paper, we extend the theory of stochastic classes providing a close form calculus for the derivation of the state density function under the assumption that all transitions have an expolynomial distribution. The characterization provides insight on how the form of the state density function evolves when transitions fire and the stochastic class accumulates memory and provide the basis for an efficient implementation which drastically reduces analysis complexity.","PeriodicalId":249627,"journal":{"name":"Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121936030","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 22

The ipclib PEPA Library

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) Pub Date : 1900-01-01 DOI: 10.1109/QEST.2007.20

Allan Clark

引用次数: 27

CSL^TA: an Expressive Logic for Continuous-Time Markov Chains 连续时间马尔可夫链的表达逻辑

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) Pub Date : 1900-01-01 DOI: 10.1109/QEST.2007.40

S. Donatelli, S. Haddad, J. Sproston

引用次数: 22

GRIP: Generic Representatives in PRISM GRIP: PRISM中的通用代表

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) Pub Date : 1900-01-01 DOI: 10.1109/QEST.2007.30

L. Brenner, Paulo Fernandes, B. Plateau, Ihab Sbeity

引用次数: 48

Closed G-networks with Resets: product form solution 带复位的封闭g网络:产品形态解决方案

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) Pub Date : 1900-01-01 DOI: 10.1109/QEST.2007.39

J. Fourneau

引用次数: 9

Probabilistic Model-Checking Support for FMEA FMEA的概率模型检验支持

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) Pub Date : 1900-01-01 DOI: 10.1109/QEST.2007.18

Lars Grunske, R. Colvin, Kirsten Winter

引用次数: 9