scientific article; zbMATH DE number 6612705

MaRDI QIDQ2994262zbMATH OpenFDO

Authors Hengyang Wu, Li-Ping Sun

Publication date 10 August 2016

zbMATH Keywords

bisimulationclosed setfuzzy transition systemrelation lifting

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Bisimulations for fuzzy transition systems revisited
• Fuzzy simulations and bisimulations between fuzzy automata
• Bisimulations for fuzzy automata
• Logical characterizations of simulation and bisimulation for fuzzy transition systems
• Approximate bisimulation relations for fuzzy automata
• Labeled fuzzy approximations based on bisimulations
• Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
• Computation of the greatest simulations and bisimulations between fuzzy automata
• Characterization and computation of approximate bisimulations for fuzzy automata
• Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics

Cited in

(5)

• Bisimulations for fuzzy transition systems revisited
• Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
• Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
• Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems
• Logical characterizations of simulation and bisimulation for fuzzy transition systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2994262)