模糊线性时序逻辑的可实现性

• 作者: 李永明 范艳焕
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 模糊线性时序逻辑 模糊Büchi自动机 可实现性 模糊博弈
• 年，卷（期）: 2018,（2）
• 所属期刊栏目: 学术论文
• 页码范围: 341-346
• 页数: 6页
• 分类号: TP301.2
• 字数: 8091字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2018.02.012

摘要

模糊线性时序逻辑(fuzzy linear temporal logic)被应用于刻画模糊系统的规范语言,其可实现性(realiz-ability)用于判断满足该时序逻辑公式的开放系统模型是否存在.模糊线性时序逻辑可实现性和系统合成(synthesis)的基本思想是:给定模糊线性时序逻辑公式,判断是否存在满足该公式的系统.如果存在,则构造满足该公式的最优系统.为了检验模糊线性时序逻辑的可实现性,首先引入模糊Büchi博弈的定义,作为检验模糊线性时序逻辑公式是否可实现的模型.其次通过归约的方法,研究模糊Büchi博弈的性质(最优无记忆策略存在性.最后验证模糊线性时序逻辑的可实现性并且给出其系统合成的过程,并说明它们的时间复杂度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李永明	陕西师范大学计算机科学学院	165	505	12.0	16.0
2	范艳焕	陕西师范大学计算机科学学院	3	8	2.0	2.0