Limited bisimulations for nondeterministic fuzzy transition systems

TL;DR

This paper extends the concept of limited approximate bisimulation to nondeterministic fuzzy transition systems, providing a new theoretical framework, an algorithm for similarity measurement, and a logical characterization.

Contribution

It introduces $k$-limited $eta$-bisimulation for NFTSs, offers an algorithm for computing similarity, and establishes a logical framework for these bisimulations.

Findings

Developed a fixed point characterization of $k$-limited $eta$-bisimilarity.

Designed an $O(2k^2|V|^6| ightarrow|^2)$ algorithm for similarity computation.

Established a logical characterization of $k$-limited $eta$-bisimilarity.

Abstract

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 $k$-limited $\alpha$-bisimulation by using an approach of relational lifting, where $k$ is a natural number and $\alpha\in[0,1]$. To give the algorithmic characterization, a fixed point characterization of $k$-limited $\alpha$-bisimilarity is first provided. Then $k$-limited $\alpha$-bisimulation vector with $i$-th element being a $(k-i+1)$-limited $\alpha$-bisimulation is introduced to investigate conditions for two states to be $k$-limited $\alpha$-bisimilar, where $1\leq i\leq k+1$. 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 $|V|$ is the number of states of the NFTS and $\left|\lra\right|$ is the greatest number of transitions from states. Finally, the relationship between $k$-limited $\alpha$-bisimilar and $\alpha$-bisimulation under $\widetilde{S}$ is showed, and by which, a logical characterization of $k$-limited $\alpha$-bisimilarity is provided.