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 …

Bisimulations are established forms of behavioral equivalences for discrete event systems.
Recently, bisimulations have been introduced to fuzzy transition systems (FTSs) and …

In this article, we define-approximate simulations and bisimulations for fuzzy automata over
complete Heyting algebras. The value presents the degree of language similarity or equality …

Bisimulation techniques have been recently introduced to fuzzy transition systems to
compare their behavior. When studying bisimulation, one of the most popular methods is …

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 …

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 …

This paper intends to contribute with a new fuzzy modal logic to model and reason about
transition systems involving uncertainty in behaviours. Our formalism supports fuzziness at …

Simulations and bisimulations are well-established notions in crisp/fuzzy automata theory
and are widely used to compare the behaviors of automata. Their main drawback is that they …