将一般离散事件系统中谓词的控制不变性理论推广到模糊离散事件系统中。给出了模糊离散事件系统中谓词的珟Σ_u-不变度和谓词的控制不变度的定义;证明了对于预先给定的谓词,一定存在状态反馈控制器,使得给定谓词的控制不变度最大。
In this paper,we generalize the control-invariance from crisp discrete event systems to fuzzy discrete event systems.We define the degree of Σ_u-invariance and the degree of controlinvariance in fuzzy discrete event systems.It is proven that for the previously given predicate,there must exist a state feedback controller such that the control-invariance degree of the above predicate is largest.