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 …

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 …

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 …

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 …

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 …

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 …

The supervisory control theory of fuzzy discrete-event systems (FDESs) for fuzzy language
equivalence has been developed. However, in a way, language equivalence has limited …

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 …