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.

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

    Download (450kB) | Preview

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

    Metadata

    Item Type: Article
    Keyword(s) / Subject(s): Bisimulation, Fuzzy transition system, Modal logic, Logical characterization
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Research Centres and Institutes: Data Analytics, Birkbeck Institute for
    Depositing User: Tingting Han
    Date Deposited: 30 Apr 2018 12:47
    Last Modified: 09 Aug 2023 12:43
    URI: https://eprints.bbk.ac.uk/id/eprint/22277

    Statistics

    Activity Overview
    6 month trend
    296Downloads
    6 month trend
    219Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item