模糊离散事件系统的可测性

Detectability of Fuzzy Discrete Event Systems

  • 摘要: 针对模糊离散事件系统的可测性问题,提出一种基于不可区分串的可测性判定方法。首先引入不可区分串概念以刻画对任一极小可观测事件具有相同的可观察行为;然后构造一个基于极小可观测事件的观察器,建立不可区分串与观察器中非单元循环的一一对应关系,并由此得到模糊可测性的充要条件。同时,也给出一个验证模糊离散事件系统可测性算法。通过实例分析,说明模糊离散事件系统可测性的应用。

     

    Abstract: We propose a detectability method based on the concept of undistinguishable strings for the detection issue of fuzzy discrete event systems (FDES). First, the undistinguishable strings are introduced to characterize the same observable behavior for any minimal observable events. Then, an observer based on minimal observable events is constructed, and the one-to-one correspondence between the undistinguishable strings and the nonunit cycle of the observer is established, thus obtaining a necessary and sufficient condition for fuzzy detectability. An algorithm for verifying the detectability of FDES is also presented. The detectability applications of FDES are illustrated by an example analysis.

     

/

返回文章
返回