5,370 research outputs found
Limited bisimulations for nondeterministic fuzzy transition systems
The limited version of bisimulation, called limited approximate bisimulation,
has recently been introduced to fuzzy transition systems (NFTSs). This article
extends limited approximate bisimulation to NFTSs, which are more general
structures than FTSs, to introduce a notion of -limited
-bisimulation by using an approach of relational lifting, where is
a natural number and . To give the algorithmic
characterization, a fixed point characterization of -limited
-bisimilarity is first provided. Then -limited -bisimulation
vector with -th element being a -limited -bisimulation is
introduced to investigate conditions for two states to be -limited
-bisimilar, where . Using these results, an
O(2k^2|V|^6\cdot\left|\lra\right|^2) algorithm is designed for computing the
degree of similarity between two states, where is the number of states of
the NFTS and \left|\lra\right| is the greatest number of transitions from
states. Finally, the relationship between -limited -bisimilar and
-bisimulation under is showed, and by which, a logical
characterization of -limited -bisimilarity is provided
- …