To facilitate queries over semi-structured data, various structural summaries have been
proposed. Structural summaries are derived directly from the data and serve as indices for …

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) …

Model-based development is an important paradigm for developing cyber-physical systems
(CPS). The underlying assumption is that the functional behavior of a model is related 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 …

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 …

The model of interaction of agents and environments is considered. Both agents and
environments are characterized by their behaviors represented as the elements of …