基于决策过程的广义可能性计算树逻辑模型检测

摘要：

本文研究了广义可能性计算树逻辑模型检测算法及其在系统验证中的应用,特别是在非确定性系统验证中的应用.首先引入作为系统模型的广义可能性决策过程和描述系统属性的广义可能性计算树逻辑,然后给出基于广义可能性决策过程的广义可能性计算树逻辑模型检测算法.该算法最大的优点是利用决策过程中的调度,将模型检测问题转换为多项式时间内模糊矩阵的运算或模糊矩阵不动点的计算.最后通过一个实例说明了广义可能性计算树逻辑模型检测在非确定性系统中的应用.

关键词：非确定性系统、广义可能性决策过程、调度、广义可能性计算树逻辑、模型检测

所属期刊栏目：46

分类号：TP301;O177.91;TN912.34

资助基金：国家自然科学基金;国家自然科学基金;国家自然科学基金;高等学校博士学科点专项科研基金;高等学校博士学科点专项科研基金

在线出版日期：2016-12-15（万方平台首次上网日期，不代表论文的发表时间）

页码：1591-1607