Modelling of Fuzzy Discrete Event Systems Based on a Generalized Linguistic Variable and Their Generalized Possibilistic Kriple Structure Representation

In order to provide a model checking method and convenient and efficient modeling mechanism for the fuzzy discrete event system (FDES), we apply the generalized possibilistic Kriple structure and generalized linguistic variable with three different forms of negations to FDES, respectively. First, we study how to transfer a FDES to the generalized possibilistic Kriple structure and propose the transformation method. Second, the linguistic variable is extended to the generalized linguistic variable by introducing three different forms of negations, so that FDES is modeled conveniently and efficiently based on the generalized linguistic variable. Finally, some cases are given to demonstrate the methods that are presented in this paper.