model checking conditional csl for continuous-time markov chains
文献类型：期刊论文
| 作者 | Gao Yang ; Xu Ming ; Zhan Naijun ; Zhang Lijun |
| 刊名 | Information Processing Letters
 |
| 出版日期 | 2013 |
| 卷号 | 113期号:1-2页码:44-50 |
| 关键词 | Automata theory Formal methods Stochastic systems |
| ISSN号 | 0020-0190 |
| 中文摘要 | In this paper, we consider the model-checking problem of continuous-time Markov chains (CTMCs) with respect to conditional logic. To the end, we extend Continuous Stochastic Logic introduced in Aziz et al. (2000) [1] to Conditional Continuous Stochastic Logic (CCSL) by introducing a conditional probabilistic operator. CCSL allows us to express a richer class of properties for CTMCs. Based on a parameterized product obtained from the CTMC and an automaton extracted from a given CCSL formula, we propose an approximate model checking algorithm and analyse its complexity. Crown Copyright © 2012 Elsevier B.V. All rights reserved. |
| 英文摘要 | In this paper, we consider the model-checking problem of continuous-time Markov chains (CTMCs) with respect to conditional logic. To the end, we extend Continuous Stochastic Logic introduced in Aziz et al. (2000) [1] to Conditional Continuous Stochastic Logic (CCSL) by introducing a conditional probabilistic operator. CCSL allows us to express a richer class of properties for CTMCs. Based on a parameterized product obtained from the CTMC and an automaton extracted from a given CCSL formula, we propose an approximate model checking algorithm and analyse its complexity. Crown Copyright © 2012 Elsevier B.V. All rights reserved. |
| 收录类别 | EI |
| 语种 | 英语 |
| WOS记录号 | WOS:000312175200009 |
| 公开日期 | 2013-09-17 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/15206]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | Gao Yang,Xu Ming,Zhan Naijun,et al. model checking conditional csl for continuous-time markov chains[J]. Information Processing Letters,2013,113(1-2):44-50. |
| APA | Gao Yang,Xu Ming,Zhan Naijun,&Zhang Lijun.(2013).model checking conditional csl for continuous-time markov chains.Information Processing Letters,113(1-2),44-50. |
| MLA | Gao Yang,et al."model checking conditional csl for continuous-time markov chains".Information Processing Letters 113.1-2(2013):44-50. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。