期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
模糊线性时序逻辑的可实现性 被引量:5
1
作者 范艳焕 李永明 《电子学报》 EI CAS CSCD 北大核心 2018年第2期341-346,共6页
模糊线性时序逻辑(fuzzy linear temporal logic)被应用于刻画模糊系统的规范语言,其可实现性(realizability)用于判断满足该时序逻辑公式的开放系统模型是否存在.模糊线性时序逻辑可实现性和系统合成(synthesis)的基本思想是:给定模糊... 模糊线性时序逻辑(fuzzy linear temporal logic)被应用于刻画模糊系统的规范语言,其可实现性(realizability)用于判断满足该时序逻辑公式的开放系统模型是否存在.模糊线性时序逻辑可实现性和系统合成(synthesis)的基本思想是:给定模糊线性时序逻辑公式,判断是否存在满足该公式的系统.如果存在,则构造满足该公式的最优系统.为了检验模糊线性时序逻辑的可实现性,首先引入模糊Büchi博弈的定义,作为检验模糊线性时序逻辑公式是否可实现的模型.其次通过归约的方法,研究模糊Büchi博弈的性质(最优无记忆策略存在性.最后验证模糊线性时序逻辑的可实现性并且给出其系统合成的过程,并说明它们的时间复杂度. 展开更多
关键词 模糊线性时序逻辑 模糊Büchi自动机 可实现性 模糊博弈
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部