广西科技大学学报

2014, v.25(03) 59-62+86

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

基于时间策略的连续时间Markov过程验证
Model checking Continuous time Markov Process based on timed Schedulers

黄镇谨;陈波;欧阳浩;

摘要(Abstract):

对系统模型进行验证是保证系统安全的一个关键.连续时间Markov过程可以刻画复杂并发系统的随机、概率、不确定性特征.提出时间依赖策略下连续时间Markov过程验证方法,将连续时间Markov过程转换成为交互式马尔科夫链,给出模型的转换方法及不确定性选择策略的转换方法,最终通过求解交互式马尔科夫链的时间可达概率最值实现对连续时间Markov过程模型的验证.理论分析表明,提出的方法具有可行性.

关键词(KeyWords): 马尔科夫决策过程;交互式马尔科夫链;时间有界可达概率;时间策略

Abstract:

Keywords:

基金项目(Foundation): 广西自然科学基金项目(2013GXNSFBA019280);; 同济大学嵌入式与服务计算教育部重点实验室开放课题基金(2011-02);; 广西高校科学技术研究项目(LX2014186)资助

作者(Author): 黄镇谨;陈波;欧阳浩;

Email:

参考文献(References):

文章评论(Comment):

序号(No.) 时间(Time) 反馈人(User) 邮箱(Email) 标题(Title) 内容(Content)
反馈人(User) 邮箱地址(Email)
反馈标题(Title)
反馈内容(Content)
扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享