Max-plus algebra in the history of discrete event systems - ScienceDirect Skip to main
contentSkip to article Elsevier logo Journals & Books Search RegisterSign in View PDF …

Approximate bisimulations for fuzzy automata have recently drawn attention of researches,
since they allow to correlate different fuzzy automata which behave equivalently only to the …

In this article, we introduce fuzzy minimax nets as a novel tool to compute the greatest fuzzy
bisimulation/simulation between two finite fuzzy labeled graphs. Fuzzy labeled graphs are a …

Simulations and bisimulations are known to be useful for abstracting and comparing formal
systems, and they have recently been introduced into fuzzy systems. In this study, we …

For the purpose of reducing the number of states of fuzzy automata, we study approximate
bisimulations of fuzzy automata under fuzzy similarity measures, which are induced by …

The similarity measure based on fuzzy bisimulation has the Hennessy-Milner property as a
strong logical foundation. It is useful for classification and clustering. In this work, we design …

Bisimulation is a well-known notion in modal logic and the theory of labeled transition
systems. It is used for characterizing indiscernibility between states and has important …

There are two kinds of bisimulation, namely crisp and fuzzy, between fuzzy structures such
as fuzzy automata, fuzzy labeled transition systems, fuzzy Kripke models and fuzzy …

Bisimulation is a well-known behavioral equivalence for discrete event systems and has
been developed in fuzzy systems quickly. In this paper, we adopt an approach of the …

Simulations and bisimulations between two fuzzy automata over a complete residuated
lattice were defined by Ćirić et al.(2012)[7],[8] as fuzzy relations between the sets of states of …