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 Schools and Departments > School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Tingting Han
    Date Deposited: 30 Apr 2018 12:47
    Last Modified: 27 Jul 2019 04:19
    URI: http://eprints.bbk.ac.uk/id/eprint/22277

    Statistics

    Downloads
    Activity Overview
    58Downloads
    51Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item