Bisimulations for fuzzy transition systems revisited

DOI10.1016/j.ijar.2018.04.010zbMath1451.68195OpenAlexW2801388205WikidataQ129887164 ScholiaQ129887164MaRDI QIDQ1648774

Taolue Chen, Tingting Han, Hengyang Wu, Yi-Xiang Chen

Publication date: 27 June 2018

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://eprints.bbk.ac.uk/id/eprint/22277/1/ijar18.2.4.pdf

zbMATH Keywords

modal logicbisimulationfuzzy transition systemlogical characterization

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices ⋮ Characterization and computation of approximate bisimulations for fuzzy automata ⋮ Fuzzy simulations and bisimulations between fuzzy automata ⋮ Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems ⋮ A fuzzy modal logic for fuzzy transition systems ⋮ Limited approximate bisimulations and the corresponding rough approximations ⋮ Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic

Cites Work

• 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
• Model checking computation tree logic over finite lattices
• Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
• Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
• Bisimulations for weighted automata over an additively idempotent semiring
• LATTICED SIMULATION RELATIONS AND GAMES

This page was built for publication: Bisimulations for fuzzy transition systems revisited