Testability of Fuzzy Discrete Event Systems

Summary: Aiming at the testability of fuzzy discrete event systems, a testability determination method based on indistinguishable strings is proposed.First, the concept of indistinguishable string is introduced to describe the same observable behavior for any minimal observable event; then an observer based on minimal observable event is constructed, and an indistinguishable string and a non-unit loop in the observer are established.Correspondence, and thus obtain the necessary and sufficient conditions for fuzzy measurability.At the same time, an algorithm to verify the testability of fuzzy discrete event system is also given.The application of the measurability of fuzzy discrete event system is illustrated through the analysis of examples.

Keywords: Discrete Event System   Fuzzy Automata   Indistinguishable strings  Testability  

0 Introduction