Logical characterizations of simulation and bisimulation for fuzzy transition systems
From MaRDI portal
Publication:679804
DOI10.1016/J.FSS.2015.09.012zbMATH Open1378.68121OpenAlexW2186273310MaRDI QIDQ679804FDOQ679804
Publication date: 22 January 2018
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2015.09.012
Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic in artificial intelligence (68T27) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Fuzzy sets as a basis for a theory of possibility
- Title not available (Why is that?)
- Approximating labelled Markov processes
- Bisimulation for labelled Markov processes
- Algebraic laws for nondeterminism and concurrency
- Title not available (Why is that?)
- Bisimulation through probabilistic testing
- Bisimulations for fuzzy automata
- Title not available (Why is that?)
- Nondeterministic fuzzy automata
- Analysis and control of fuzzy discrete event systems using bisimulation equivalence
- A calculus of communicating systems
- Characterizations of fuzzy finite automata.
- Determinism and fuzzy automata
- Fuzzy languages with infinite range accepted by fuzzy automata: pumping lemma and determinization procedure
- Title not available (Why is that?)
- A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems
- Finite automata theory with membership values in lattices
- Computation of the greatest simulations and bisimulations between fuzzy automata
- Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
- Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note
- Determinization of weighted finite automata over strong bimonoids
- Probabilistic logical characterization
- Bisimulation minimization and symbolic model checking
- Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
- Simulation for lattice-valued doubly labeled transition systems
- Pattern recognition using temporal fuzzy automata
- Bisimulations for weighted automata over an additively idempotent semiring
- Tree regular model checking: a simulation-based approach
- LATTICED SIMULATION RELATIONS AND GAMES
- Title not available (Why is that?)
Cited In (21)
- Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems
- Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic
- Limited approximate bisimulations and the corresponding rough approximations
- Improved algorithms for computing the greatest right and left invariant Boolean matrices and their application
- Characterization and computation of approximate bisimulations for fuzzy automata
- Fuzzy simulations and bisimulations between fuzzy automata
- Fuzzy approximations of fuzzy relational structures
- A family of graded epistemic logics
- Bisimulations for fuzzy transition systems revisited
- Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
- Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders
- A fuzzy modal logic for fuzzy transition systems
- Approximate bisimulation relations for fuzzy automata
- Computation of the greatest right and left invariant fuzzy quasi-orders and fuzzy equivalences
- Title not available (Why is that?)
- The relationships among several forms of weighted finite automata over strong bimonoids
- Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the Gödel semantics
- Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
- Nondeterministic fuzzy automata with membership values in complete residuated lattices
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
- Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures
This page was built for publication: Logical characterizations of simulation and bisimulation for fuzzy transition systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q679804)
