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

来源 :控制理论与应用 | 被引量 : 0次 | 上传用户:csincis
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
模型检测中,Markov决策过程可以建模具有不确定性的系统,然而状态空间爆炸问题将会影响系统验证的成败与效率,互模拟等价可以用于系统状态的简约.在强互模拟关系的基础上,给出Markov决策过程模型弱互模拟等价关系的概念,导出了连续时间Markov决策过程及其内嵌离散时间Markov决策过程互模拟等价关系的内在联系;在强互模拟等价关系逻辑特征保持的基础上,给出弱互模拟等价关系下的逻辑保持性质,证明了弱互模拟等价的两个状态,同时满足除下一步算子外的连续随机逻辑公式,从而可以将原模型中的验证问题转换为简约后模型
其他文献
目的:分析自身免疫性胰腺炎(autoimmune pancreatitis,AIP)患者的影像学表现、临床特征、血清学检查及病理学结果。方法:从2004年12月-2008年11月,回顾分析了5例AIP病例,其中3男2女,
本文研究了通信时延和联合连通切换拓扑条件下的多刚体系统分布式姿态一致性控制问题. 通过构建有效的辅助向量并选择合适的Lyapunov-Krasovskii函数, 分别对恒定通信时延和
自2001年起,经过4年多的改革,我国各级政府已建立起以国库单一账户体系为基础、以财政资金缴拨由国库集中收付为主要形式的财政国库管理制度,并对传统的审计模式产生了重大影响
我们来看一道高考数学题——2008年高考数学江苏卷第14题:  已知f(x)=ax3-3x 1对于x∈[-1,1]总有f(x)≥0成立,则a= .  一、多解  解法1:(构造函数法)(略)  解法2:(最值思想)  ∵x∈[-1,1]时,f(x)≥0恒成立,∴f(1)=a-3 1≥0a≥2,而f′(x)=3ax2-3,由导数的性质可知f(x)在区间(-1,-),(,1)上分别增函数,在区间(-,
随着时代的进步,社会对于残疾人的生活质量也有了更多的关注。由于残疾人因病致残、因残致贫现象的存在,残疾人自身要求参与社会生活的呼声也越来越强烈。改革开放后,残疾人
研宄输出测量数据丢失情况下二维线性离散系统的H_∞。滤波问题.首先,将数据丢失现象描述为随机伯努利序列,在此基础上建立二维系统状态估计误差的随机动态方程.其次,定义随
目的:研究内切圆面积(internal tangential circular area,CA)在中央型腰椎管狭窄中的诊断价值。方法:对200例正常成人及183例中央型腰椎管狭窄患者行腰2.5椎管CT检查。每个椎间隙
有关资料表明,在移动支付领域,支付宝和微信是掌上银行的最大的竞争对手。通过绑定银行卡,用户可以利用支付宝和微信完成各种线上以及线下的交易,基本可以绕过银行提供的服务
对未知参数进行估计时,得到的结果与激励系统所选用的输入信号有较大的关系.针对一类参数可线性化系统,本文提出了一种利用多维同步正交信号和直接配点法设计最优输入信号的
目的:调整CR后处理参数,分析其对不同解剖结构显示效果的影响,为临床实际应用作出更具针对性的选择提供理论依据。方法:抽取39例髋关节正位影像资料,以关节面、骨小梁、肌间隙