期刊文献+

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

Bisimulation equivalence relation and logic preservation for continue time Markov decision process
在线阅读 下载PDF
分享 导出
摘要 模型检测中,Markov决策过程可以建模具有不确定性的系统,然而状态空间爆炸问题将会影响系统验证的成败与效率,互模拟等价可以用于系统状态的简约.在强互模拟关系的基础上,给出Markov决策过程模型弱互模拟等价关系的概念,导出了连续时间Markov决策过程及其内嵌离散时间Markov决策过程互模拟等价关系的内在联系;在强互模拟等价关系逻辑特征保持的基础上,给出弱互模拟等价关系下的逻辑保持性质,证明了弱互模拟等价的两个状态,同时满足除下一步算子外的连续随机逻辑公式,从而可以将原模型中的验证问题转换为简约后模型的验证问题,提高验证的效率. Markov decision process can be employed to model complex systems with nondeterministic choice in model checking. However, whether system verification can be performed successfully and effectively is influenced by the emergence of state space explosion. Bisimulation equivalence can be views as a feasible states reduction approach. Based on the concept of strong bisimulation, the definition of weak bisimulation on Markov decision process are proposed, then the inherent link of bisimulation equivalence between continue time markov decision process and its embedded discrete time decision process is derived. Meanwhile, based on Logic characterization preservation of strong bisimulation, the relation between the weak bisimulation equivalence and the continue stochastic logic equivalence for continue time Markov decision process is proved, which shows that weak bisimulation coincides with logical equivalence excepted the next-step operator.
作者 黄镇谨 陆阳 杨娟 王智文 Huang, Zhen-Jin[1,2]; Lu, Yang[1]; Yang, Juan[1]; Wang, Zhi-Wen[2]
出处 《控制理论与应用》 EI CAS CSCD 北大核心 2016年第8期1031-1038,共8页 Control Theory & Applications
基金 国家自然科学基金项目(61462008, 61070220), 安徽省自然科学基金项目(1608085QF149), 广西省高校科学技术研究项目(LX2014186)资助.
关键词 马尔科夫链 马尔科夫决策过程 互模拟等价关系 逻辑保持 Markov chains Markov decision process bisimulation equivalence relation logic preservation
作者简介 通信作者. E-mail: schzj@163.com; Tel.: +86 772-2685975.黄镇谨(1975–), 男, 博士研究生, 主要研究方向为形式化方法、性能分析等, E-mail: schzj@163.com;陆阳(1967–), 男, 教授, 博士生导师, 主要研究方向为智能控制、神经网络, E-mail: Luyang@126.com;杨娟(1983–), 女, 在合肥工业大学作博士后研究工作, 主要研究方向为神经网络, E-mail: yangjuan6985@163.com;王智文(1969–), 男, 教授, 主要研究方向为人工智能, E-mail:wsw69@126.com.
  • 相关文献
投稿分析

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部 意见反馈