模糊离散事件系统的状态反馈控制

State-feedback Control of the Fuzzy Discrete Event Systems

在模糊离散事件系统中,首先定义了模糊谓词,给出了模糊谓词变换以及模糊谓词的控制不变和Σ_u-不变的定义,并证明了模糊谓词的控制不变和Σ_u-不变的等价性;其次,给出了模糊可控谓词的定义,并证明了对于预先给定的模糊谓词,存在一个状态反馈控制器使得闭环系统的可达模糊谓词等于该给定模糊谓词的充要条件是该模糊谓词是可控的。

In this paper, firstly, some definitions of fuzzy predicates and fuzzy predicate transforms of the fuzzy discrete event systems are presented. Then, we introduce a fuzzy Σ_u-invariance predicate and a fuzzy control-invariance predicate. Next, we prove that the Σ_u-invariance predicate and the control-invariance predicate are equivalent. Finally, a fuzzy controllable predicate is defined and it is proved that there exists a fuzzy state-feedback controller such that the reachable fuzzy predicate of the closed-loop system equals to a given fuzzy predicate if and only if the given fuzzy predicate is controllable.