Modeling and Specification of Nondeterministic Fuzzy Discrete-Event Systems.

Yongzhi Cao,Yoshinori Ezawa,Guoqing Chen,Haiyu Pan
DOI: https://doi.org/10.1007/978-3-030-40814-5_6
2020-01-01
Abstract:Most of the published research on fuzzy discrete-event systems (FDESs) has focused on systems that are modeled as deterministic fuzzy automata. In fact, nondeterminism in FDESs occurs in many practical situations and can be used to represent underspecification or incomplete information. In this paper, we pay attention to the modeling and specification of nondeterministic FDESs (NFDESs). We model NFDESs by a new kind of fuzzy automata. To describe adequately the behavior of NFDESs, we introduce the concept of bisimulation, which is a finer behavioral measure than fuzzy language equivalence. Further, we propose the notion of nondeterministic fuzzy specifications (NFSs) to specify the behavior of NFDESs and introduce a satisfaction relation between NFDESs and NFSs. If such a relation exists, then at least one knows that there is no unwanted behavior in the system.
What problem does this paper attempt to address?