基于时间策略的连续时间Markov过程验证

• 作者: 欧阳浩 陈波 黄镇谨
• 来源期刊: 广西工学院学报
• 学科: 工学
• 关键词: 马尔科夫决策过程 交互式马尔科夫链 时间有界可达概率 时间策略
• 年，卷（期）: 2014,（3）
• 页码范围: 59-62,86
• 页数: 5页
• 分类号: TP301
• 字数: 3353字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄镇谨	广西科技大学计算机工程学院	17	65	5.0	7.0
2	欧阳浩	广西科技大学计算机工程学院	19	82	6.0	8.0
3	陈波	广西科技大学计算机工程学院	20	63	5.0	7.0