Bisimulations and logical characterizations on continuous-time markov decision processes
文献类型：会议论文
| 作者 | Song, Lei (1) ; Zhang, Lijun (2) ; Godskesen, Jens Chr. (3) |
| 出版日期 | 2014 |
| 会议名称 | 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014 |
| 会议日期 | January 20, 2014 - January 21, 2014 |
| 会议地点 | San Diego, CA, United states |
| 页码 | 98-117 |
| 中文摘要 | In this paper we study strong and weak bisimulation equivalences for continuous-time Markov decision processes (CTMDPs) and the logical characterizations of these relations with respect to the continuous-time stochastic logic (CSL). For strong bisimulation, it is well known that it is strictly finer than the CSL equivalence. In this paper we propose strong and weak bisimulations for CTMDPs and show that for a subclass of CTMDPs, strong and weak bisimulations are both sound and complete with respect to the equivalences induced by CSL and the sub-logic of CSL without next operator respectively. We then consider a standard extension of CSL, and show that it and its sub-logic without X can be fully characterized by strong and weak bisimulations respectively over arbitrary CTMDPs. © 2014 Springer-Verlag Berlin Heidelberg. |
| 英文摘要 | In this paper we study strong and weak bisimulation equivalences for continuous-time Markov decision processes (CTMDPs) and the logical characterizations of these relations with respect to the continuous-time stochastic logic (CSL). For strong bisimulation, it is well known that it is strictly finer than the CSL equivalence. In this paper we propose strong and weak bisimulations for CTMDPs and show that for a subclass of CTMDPs, strong and weak bisimulations are both sound and complete with respect to the equivalences induced by CSL and the sub-logic of CSL without next operator respectively. We then consider a standard extension of CSL, and show that it and its sub-logic without X can be fully characterized by strong and weak bisimulations respectively over arbitrary CTMDPs. © 2014 Springer-Verlag Berlin Heidelberg. |
| 收录类别 | EI |
| 会议录出版地 | Springer Verlag, Tiergartenstrasse 17, Heidelberg, D-69121, Germany |
| 语种 | 英语 |
| ISSN号 | 3029743 |
| ISBN号 | 9783642540127 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/16606]  |
| 专题 | 软件研究所_软件所图书馆_会议论文 |
| 推荐引用方式 GB/T 7714 | Song, Lei ,Zhang, Lijun ,Godskesen, Jens Chr. . Bisimulations and logical characterizations on continuous-time markov decision processes[C]. 见:15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014. San Diego, CA, United states. January 20, 2014 - January 21, 2014. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。