中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Title:
model checking conditional csl for continuous-time markov chains
Author: Gao Yang ; Xu Ming ; Zhan Naijun ; Zhang Lijun
Keyword: Automata theory ; Formal methods ; Stochastic systems
Source: Information Processing Letters
Issued Date: 2013
Volume: 113, Issue:1-2, Pages:44-50
Indexed Type: EI
Department: (1) State Key Lab. of Comp. Sci. Institute of Software Chinese Academy of Sciences China; (2) Department of Computer Science and Technology East China Normal University China; (3) Technical University of Denmark DTU Informatics Denmark
Abstract: 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.
English Abstract: 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.
Language: 英语
WOS ID: WOS:000312175200009
Citation statistics:
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/15206
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
Gao Yang,Xu Ming,Zhan Naijun,et al. model checking conditional csl for continuous-time markov chains[J]. Information Processing Letters,2013-01-01,113(1-2):44-50.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[Gao Yang]'s Articles
[Xu Ming]'s Articles
[Zhan Naijun]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[Gao Yang]‘s Articles
[Xu Ming]‘s Articles
[Zhan Naijun]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace