A Multistep Extending Truncation Method towards Model Construction of Infinite-State Markov Chains | Zendy

Kemin Wang | Zendy; Yongbin Wang | Zendy; Zhengtao Jiang | Zendy; Wenlong Fu | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Multistep Extending Truncation Method towards Model Construction of Infinite-State Markov Chains

Author(s) -

Kemin Wang,

Yongbin Wang,

Zhengtao Jiang,

Wenlong Fu

Publication year - 2014

Publication title -

mathematical problems in engineering

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.262

H-Index - 62

eISSN - 1026-7077

pISSN - 1024-123X

DOI - 10.1155/2014/764819

Subject(s) - truncation (statistics) , markov chain , model checking , state (computer science) , mathematics , computer science , markov process , markov model , algorithm , mathematical optimization , statistics , machine learning

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research