Successful implementation of many control strategies is mainly based on accurate
knowledge of the system and its parameters. Besides the stochastic nature of the systems …

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 …

We show that the state reduction problem for fuzzy automata is related to the problem of
finding a solution to a particular system of fuzzy relation equations in the set of all fuzzy …

We continue the study of (isotone) Galois connections, also called adjunctions, in the
framework of fuzzy preordered structures, which generalize fuzzy preposets by considering …

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 …

We show that the methodology for deciding the existence and computation of the greatest
simulations and bisimulations, developed in the framework of fuzzy automata (Ćirić et al …

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, by using T-norms, we define the concept of fuzzy congruence on lattice X and if
Y be another lattice, then we introduce the concept of fuzzy congruence on the product X× Y …