Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems

DOI10.1016/j.fss.2017.02.008zbMath1380.68302OpenAlexW2594800718MaRDI QIDQ1697986

Hengyang Wu, Yu-xin Deng, Yi-Xiang Chen, Tian-Ming Bu

Publication date: 21 February 2018

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2017.02.008

zbMATH Keywords

modal logicbisimulationfuzzy transition systemlogical characterizationlogical metric

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) 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 (7)

Bisimulations for fuzzy transition systems revisited ⋮ 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 ⋮ Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures ⋮ Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Coalgebras for fuzzy transition systems
• Bisimulations for fuzzy automata
• Nondeterministic fuzzy automata with membership values in complete residuated lattices
• Probabilistic logical characterization
• 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
• Bisimulation through probabilistic testing
• Fuzzy sets as a basis for a theory of possibility
• A behavioural pseudometric for probabilistic transition systems
• Contrapositive symmetry of fuzzy implications
• Bisimulations for weighted automata over an additively idempotent semiring
• Bisimulation for labelled Markov processes
• Similarity relations and fuzzy orderings
• Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions
• Bisimulations for non-deterministic labelled Markov processes
• LATTICED SIMULATION RELATIONS AND GAMES
• Algebraic laws for nondeterminism and concurrency
• Logical Characterizations of Bisimulations for Discrete Probabilistic Systems

This page was built for publication: Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems