Graph theory has been widely studied, resulting in numerous applications across various
felds. Among its many topics, Automata and Graph Grammar have emerged as signifcant …

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 …

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

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

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 …