Approximate bisimulations for fuzzy-transition systems

DOI10.1016/J.FSS.2023.108533MaRDI QIDQ6932891zbMATH OpenFDO

Authors Sha Qiao, Ping Zhu, Witold Pedrycz

Publication date 8 September 2025

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

Full work available at URL https://doi.org/10.1016/J.FSS.2023.108533

zbMATH Keywords

\(\alpha\)-bisimulationbisimulationfuzzy similarity measurefuzzy transition systemlogical characterization

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• A calculus of communicating systems
• A lattice-theoretical fixpoint theorem and its applications
• A note on Trillas' CHC models
• Algebraic laws for nondeterminism and concurrency
• Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
• Analysis and control of fuzzy discrete event systems using bisimulation equivalence
• Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures
• Approximating labelled Markov processes
• Automata theory based on complete residuated lattice-valued logic
• Automata theory based on complete residuated lattice-valued logic. II
• Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
• Bisimulation relations for weighted automata
• Bisimulation through probabilistic testing
• Bisimulations for fuzzy automata
• Bisimulations for fuzzy transition systems revisited
• Coalgebras for fuzzy transition systems
• Computation of the greatest simulations and bisimulations between fuzzy automata
• Computation tree logic model checking based on multi-valued possibility measures
• Congruences and homomorphisms of fuzzy automata
• Fuzzy \(\epsilon\)-approximate regular languages and minimal deterministic fuzzy automata \(\epsilon\)-accepting them
• Fuzzy approximations of fuzzy relational structures
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 6174576 (Why is no real title available?)
• scientific article; zbMATH DE number 2199279 (Why is no real title available?)
• Lattice-valued simulations for quantitative transition systems
• Logical characterizations of simulation and bisimulation for fuzzy transition systems
• Metamathematics of fuzzy logic
• Model checking of linear-time properties in multi-valued systems
• Nondeterministic fuzzy automata
• Nondeterministic fuzzy automata with membership values in complete residuated lattices
• On the \(T_L\)-transitivity of fuzzy similarity measures
• Probabilistic logical characterization
• Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note
• Quantitative model checking of linear-time properties based on generalized possibility measures
• Simulation for lattice-valued doubly labeled transition systems
• Some new approaches to constructing similarity measures

Cited in

(7)

• Approximate bisimulations for Kripke models of fuzzy multimodal logics over complete Heyting algebras
• Breadth-first fuzzy bisimulations for fuzzy automata
• Incremental model checking for fuzzy computation tree logic
• Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems
• Depth-bounded fuzzy simulations and bisimulations between fuzzy automata
• Alternating refinement relations for fuzzy concurrent game structures
• Approximate Hennessy-Milner type theorems for fuzzy multimodal logics over Heyting algebras

This page was built for publication: Approximate bisimulations for fuzzy-transition systems

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