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 …

In this paper we introduce a new method for determinization of fuzzy finite automata with
membership values in complete residuated lattices. In comparison with the previous …

The Myhill–Nerode theory is a branch of the algebraic theory of languages and automata in
which formal languages and deterministic automata are studied through right congruences …

Abstract Systems of fuzzy relation equations and inequalities in which an unknown fuzzy
relation is on the one side of the equation or inequality are linear systems. They are the most …

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 …

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 …

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 …