Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6858767 | International Journal of Approximate Reasoning | 2018 | 11 Pages |
Abstract
Bisimulation is a well-known behavioral equivalence for discrete event systems, and has recently been adopted and developed in fuzzy systems. In this paper, we propose a new bisimulation, i.e., the group-by-group fuzzy bisimulation, for fuzzy transition systems. It relaxes the fully matching requirement of the bisimulation definition proposed by Cao et al. (2010) [2], and can equate more pairs of states which are deemed to be equivalent intuitively, but which cannot be equated in previous definitions. We carry out a systematic investigation on this new notion of bisimulation. In particular, a fixed point characterization of the group-by-group fuzzy bisimilarity is given, based on which, we provide a polynomial-time algorithm to check whether two states in a fuzzy transition system are group-by-group fuzzy bisimilar. Moreover, a modal logic, which is an extension of the Hennessy-Milner logic, is presented to completely characterize the group-by-group fuzzy bisimilarity.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Hengyang Wu, Taolue Chen, Tingting Han, Yixiang Chen,