Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems

Cites Work

Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Bisimulations for fuzzy automata
Nondeterministic fuzzy automata with membership values in complete residuated lattices
Logical characterizations of simulation and bisimulation for fuzzy transition systems
Computation of the greatest simulations and bisimulations between fuzzy automata
Nondeterministic fuzzy automata
Analysis and control of fuzzy discrete event systems using bisimulation equivalence
Metamathematics of fuzzy logic
Fuzzy approximations of fuzzy relational structures
Bisimulations for fuzzy transition systems revisited
Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
Logical characterizations of regular equivalence in weighted social networks
General decomposition of fuzzy relations: semi-tensor product approach
On networks over finite rings
A fuzzy modal logic for fuzzy transition systems
Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
Limited approximate bisimulations and the corresponding rough approximations
Rough set analysis of relational structures
A lattice-theoretical fixpoint theorem and its applications
Bisimulations of Probabilistic Boolean Networks
Approximate positional analysis of fuzzy social networks
System identification of fuzzy relation matrix models by semi-tensor product operations
Characterization and computation of approximate bisimulations for fuzzy automata
Modeling, analysis, and dynamics of Bayesian games via matrix-based method