BIROn - Birkbeck Institutional Research Online

    Bisimulations for Fuzzy Transition Systems revisited

    Wu, H. and Chen, Taolue and Han, Tingting and Chen, Y. (2018) Bisimulations for Fuzzy Transition Systems revisited. International Journal of Approximate Reasoning 99 , pp. 1-11. ISSN 0888-613X.

    ijar18.2.4.pdf - Author's Accepted Manuscript
    Available under License Creative Commons Attribution Non-commercial No Derivatives.

    Download (450kB) | Preview


    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. 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.


    Item Type: Article
    Keyword(s) / Subject(s): Bisimulation, Fuzzy transition system, Modal logic, Logical characterization
    School: School of Business, Economics & Informatics > Computer Science and Information Systems
    Research Centres and Institutes: Data Analytics, Birkbeck Institute for
    Depositing User: Tingting Han
    Date Deposited: 30 Apr 2018 12:47
    Last Modified: 11 Jun 2021 03:53


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item