Bisimulations have been widely used in many areas of computer science to model
equivalence between various systems, and to reduce the number of states of these systems …

Weakly linear systems of fuzzy relation inequalities and equations have recently emerged
from research in the theory of fuzzy automata. From the general aspect of the theory of fuzzy …

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 …

Recently, two types of simulations (forward and backward simulations) and four types of
bisimulations (forward, backward, forward–backward, and backward–forward bisimulations) …

In contrast with the existing approaches to exact bisimulation for fuzzy systems, we introduce
a robust notion of behavioral distance to measure the behavioral similarity of …

In this paper we study systems of fuzzy relation inequalities and equations of the form U∘
Vi≤ Vi∘ U (i∈ I), where U is an unknown and Vi (i∈ I) are given fuzzy relations, the dual …

In our recent paper we have established close relationships between state reduction of a
fuzzy automaton and resolution of a particular system of fuzzy relation equations. In that …

In this paper we study subsystems, reverse subsystems and double subsystems of a fuzzy
transition system. We characterize them in terms of fuzzy relation inequalities and equations …

In this paper we introduce and study the concepts of a uniform fuzzy relation and a (partially)
uniform F-function. We give various characterizations and constructions of uniform fuzzy …

In this paper we provide further improvements of determinization methods for fuzzy finite
automata. These methods perform better than all previous determinization methods for fuzzy …