论文部分内容阅读
本文首先给出了模糊离散事件系统中模糊谓词的定义.将一般离散事件系统中的最弱前置条件和最强后置条件推广到模糊离散事件系统中.证明了在一般离散事件系统中,对于给定谓词,先将其转换为最弱前置条件再将其转换为最强后置条件,与先将其转换为最强后置条件再将其转换为最弱前置条件结果相同,均为原给定谓词.并且将上述定理推广到模糊离散事件系统中.证明了任意模糊状态属于给定谓词的程度,等于这个模糊状态属于将该谓词先转换为最弱前置条件再转换为最强后置条件得到谓词的程度,并且大于这个模糊状态属于将该谓词先转换为最强后置条件再转换为最弱前置条件后得到谓词的程度. 其次,给出了模糊离散事件系统中谓词的∑~u-不变度的定义,以及谓词在一般控制器控制下的控制不变度的定义.证明了两个相关定理:其一,对于给定谓词,一定存在一个一般控制器,使得其∑~u-不变度与一般控制器控制下的控制不变度相等.其二,对于任意给定的谓词,一定存在一个一般控制器,使得其在一般控制器控制下的控制不变度达到最大. 最后,进一步研究了在模糊控制器控制下系统中谓词的控制不变度,证明了对于任意给定的谓词,一定存在一个模糊控制器,使得其在该模糊控制器控制下控制不变度达到最大.