Abstract:Fuzzy transition systems offer a robust framework for modeling and analyzing systems with inherent uncertainties and imprecision, which are prevalent in real-world scenarios. As their extension, nondeterministic fuzzy transition systems (NFTSs) have been studied in a considerable number of works. Wu et al. (2018) provided an algorithm for computing the greatest crisp bisimulation of a finite NFTS $\mathcal{S} = \langle S, A, \delta \rangle$, with a time complexity of order $O(|S|^4 \cdot |\delta|^2)$ under the assumption that $|\delta| \geq |S|$. Qiao {\em et al.} (2023) provided an algorithm for computing the greatest fuzzy bisimulation of a finite NFTS $\mathcal{S}$ under the Gödel semantics, with a time complexity of order $O(|S|^4 \cdot |\delta|^2 \cdot l)$ under the assumption that $|\delta| \geq |S|$, where $l$ is the number of fuzzy values used in $\mathcal{S}$ plus 1. In this work, we provide efficient algorithms for computing the partition corresponding to the greatest crisp bisimulation of a finite NFTS $\mathcal{S}$, as well as the compact fuzzy partition corresponding to the greatest fuzzy bisimulation of $\mathcal{S}$ under the Gödel semantics. Their time complexities are of the order $O((size(\delta) \log{l} + |S|) \log{(|S| + |\delta|)})$, where $l$ is the number of fuzzy values used in $\mathcal{S}$ plus 2. When $|\delta| \geq |S|$, this order is within $O(|S| \cdot |\delta| \cdot \log^2{|\delta|})$. The reduction of time complexity from $O(|S|^4 \cdot |\delta|^2)$ and $O(|S|^4 \cdot |\delta|^2 \cdot l)$ to $O(|S| \cdot |\delta| \cdot \log^2{|\delta|})$ is a significant contribution of this work. In addition, we introduce nondeterministic fuzzy labeled transition systems, which extend NFTSs with fuzzy state labels, and we define and provide results on simulations and bisimulations between them.

Algorithmic and Logical Characterizations of Bisimulations for Non-Deterministic Fuzzy Transition Systems

Modal Characterisations of Probabilistic and Fuzzy Bisimulations.

Bisimulations for Fuzzy Transition Systems Revisited

Bisimulations for Fuzzy-Transition Systems

Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices

Approximate Bisimulations for Fuzzy-Transition Systems.

BISIMILARITY FOR FUZZY DOUBLY LABELED TRANSITION SYSTEMS

Distribution-Based Behavioral Distance for Nondeterministic Fuzzy Transition Systems

Fuzzy Bisimulations for Nondeterministic Fuzzy Transition Systems

Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation

Depth-Bounded Fuzzy Simulations and Bisimulations between Fuzzy Automata

Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics

Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems

Characterising Probabilistic Alternating Simulation for Concurrent Games

Characterising Probabilistic Processes Logically

Bisimulations for probabilistic linear lambda calculi

Labeled Fuzzy Approximations Based on Bisimulations

Depth-Bounded Fuzzy Bisimulation for Fuzzy Modal Logic

Characterising Probabilistic Processes Logically ( Extended

A Behavioral Distance for Fuzzy-Transition Systems.

Limited Approximate Bisimulations and the Corresponding Rough Approximations