![](/images/graphics-bg.png)
A Multistep Extending Truncation Method towards Model Construction of Infinite-State Markov Chains
Joint Authors
Wang, Kemin
Wang, Yongbin
Jiang, Zhengtao
Fu, Wenlong
Source
Mathematical Problems in Engineering
Issue
Vol. 2014, Issue 2014 (31 Dec. 2014), pp.1-6, 6 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2014-01-12
Country of Publication
Egypt
No. of Pages
6
Main Subjects
Abstract EN
The model checking of Infinite-State Continuous Time Markov Chains will inevitably encounter the state explosion problem when constructing the CTMCs model; our method is to get a truncated model of the infinite one; to get a sufficient truncated model to meet the model checking of Continuous Stochastic Logic based system properties, we propose a multistep extending advanced truncation method towards model construction of CTMCs and implement it in the INFAMY model checker; the experiment results show that our method is effective.
American Psychological Association (APA)
Wang, Kemin& Wang, Yongbin& Jiang, Zhengtao& Fu, Wenlong. 2014. A Multistep Extending Truncation Method towards Model Construction of Infinite-State Markov Chains. Mathematical Problems in Engineering،Vol. 2014, no. 2014, pp.1-6.
https://search.emarefa.net/detail/BIM-497016
Modern Language Association (MLA)
Wang, Kemin…[et al.]. A Multistep Extending Truncation Method towards Model Construction of Infinite-State Markov Chains. Mathematical Problems in Engineering No. 2014 (2014), pp.1-6.
https://search.emarefa.net/detail/BIM-497016
American Medical Association (AMA)
Wang, Kemin& Wang, Yongbin& Jiang, Zhengtao& Fu, Wenlong. A Multistep Extending Truncation Method towards Model Construction of Infinite-State Markov Chains. Mathematical Problems in Engineering. 2014. Vol. 2014, no. 2014, pp.1-6.
https://search.emarefa.net/detail/BIM-497016
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-497016