云南高校图书馆联盟文献共享服务平台- 互模拟等价

互模拟等价: 作品数：11被引量：14H指数：2; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：邓辉张双双赵锡英吴尽昭刘美玲更多>>; 相关机构：吉林大学广西民族大学上海交通大学北京交通大学更多>>; 相关期刊：《控制理论与应用》《软件学报》《兰州理工大学学报》《北京交通大学学报》更多>>; 相关基金：国家自然科学基金国家教育部博士点基金国家重点基础研究发展计划国家高技术研究发展计划更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

连续时间Markov决策过程互模拟等价及逻辑保持被引量：1: 《控制理论与应用》2016年第8期1031-1038,共8页黄镇谨陆阳杨娟王智文; 国家自然科学基金项目(61462008;61070220);安徽省自然科学基金项目(1608085QF149);广西省高校科学技术研究项目(LX2014186)资助~~; 模型检测中,Markov决策过程可以建模具有不确定性的系统,然而状态空间爆炸问题将会影响系统验证的成败与效率,互模拟等价可以用于系统状态的简约.在强互模拟关系的基础上,给出Markov决策过程模型弱互模拟等价关系的概念,导出了连续时间M...; 关键词：马尔科夫链马尔科夫决策过程互模拟等价关系逻辑保持