连续时间Markov决策过程互模拟等价及逻辑保持

• 作者: 杨娟 王智文 陆阳 黄镇谨
• 来源期刊: 控制理论与应用
• 关键词: 马尔科夫链 马尔科夫决策过程 互模拟等价关系 逻辑保持
• 年，卷（期）: 2016,（8）
• 所属期刊栏目: 论文与报告
• 页码范围: 1031-1038
• 页数: 8页
• 分类号: TP302
• 语种: 中文
• DOI: 10.7641/CTA.2016.50812

摘要

模型检测中,Markov决策过程可以建模具有不确定性的系统,然而状态空间爆炸问题将会影响系统验证的成败与效率,互模拟等价可以用于系统状态的简约.在强互模拟关系的基础上,给出Markov决策过程模型弱互模拟等价关系的概念,导出了连续时间Markov决策过程及其内嵌离散时间Markov决策过程互模拟等价关系的内在联系;在强互模拟等价关系逻辑特征保持的基础上,给出弱互模拟等价关系下的逻辑保持性质,证明了弱互模拟等价的两个状态,同时满足除下一步算子外的连续随机逻辑公式,从而可以将原模型中的验证问题转换为简约后模型的验证问题,提高验证的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆阳	合肥工业大学计算机与信息学院	147	1309	19.0	29.0
2	王智文	广西科技大学计算机与通信工程学院	21	48	4.0	5.0
3	黄镇谨	合肥工业大学计算机与信息学院	11	49	4.0	6.0
7	杨娟	合肥工业大学计算机与信息学院	47	121	5.0	8.0