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. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1016/j.ijar.2018.04.010 | International Journal of Approximate Reasoning |
Keywords | Field | DocType |
Bisimulation,Fuzzy transition system,Modal logic,Logical characterization | Transition system,Discrete mathematics,Fuzzy logic,Theoretical computer science,Equivalence (measure theory),Bisimulation,Modal logic,Fixed point,Fuzzy control system,Mathematics | Journal |
Volume | Issue | ISSN |
99 | 1 | 0888-613X |
Citations | PageRank | References |
1 | 0.36 | 16 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hengyang Wu | 1 | 46 | 8.35 |
Taolue Chen | 2 | 599 | 53.41 |
Tingting Han | 3 | 98 | 7.34 |
YiXiang Chen | 4 | 209 | 36.98 |