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

No abstract is available for this paper.

• Publication year

  2018

• Venue

  Fuzzy Sets Syst.

• Publication date

  2018-02-15

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1016/j.fss.2017.02.008
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Nondeterministic fuzzy automata with membership values in complete residuated lattices

  2017cited by this paper
• Logical characterizations of simulation and bisimulation for fuzzy transition systems

  2016influential reference
• Model checking computation tree logic over finite lattices

  2016cited by this paper
• Supervisory Control of Fuzzy Discrete-Event Systems for Simulation Equivalence

  2015cited by this paper
• Fuzzy Bisimulation for Gödel Modal Logic

  2015cited by this paper
• Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures

  2014cited by this paper
• Bisimulations for weighted automata over an additively idempotent semiring

  2014cited by this paper
• Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions

  2014cited by this paper
• Coalgebras for Fuzzy Transition Systems

  2014influential reference
• Model Checking of Linear-Time Properties Based on Possibility Measure

  2012cited by this paper
• Analysis and control of fuzzy discrete event systems using bisimulation equivalence

  2012cited by this paper
• Bisimulations for fuzzy automata

  2011cited by this paper
• A Behavioral Distance for Fuzzy-Transition Systems

  2011influential reference
• Minimizing Deterministic Lattice Automata

  2011cited by this paper
• Bisimulations for non-deterministic labelled Markov processes†

  2011cited by this paper
• Probabilistic Logical Characterization

  2011cited by this paper
• Computation of the greatest simulations and bisimulations between fuzzy automata

  2011cited by this paper
• Bisimulations for Fuzzy-Transition Systems

  2010cited by this paper
• Nondeterministic fuzzy automata

  2010cited by this paper
• Latticed Simulation Relations and Games

  2007cited by this paper
• Logical Characterizations of Bisimulations for Discrete Probabilistic Systems

  2007cited by this paper
• Supervisory control of fuzzy discrete event systems: a formal approach

  2005cited by this paper
• A behavioural pseudometric for probabilistic transition systems

  2005cited by this paper
• Approximate Bisimilarity

  2000cited by this paper
• Fuzzy sets as a basis for a theory of possibility

  1999cited by this paper
• Morphological characteristics of ZnO crystallites under hydrothermal conditions

  1997cited by this paper
• Bisimulation for labelled Markov processes

  1997cited by this paper
• Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation

  1996cited by this paper
• Contrapositive symmetry of fuzzy implications

  1995cited by this paper
• Probabilistic Simulations for Probabilistic Processes

  1994cited by this paper
• Specification and refinement of probabilistic processes

  1991cited by this paper
• Bisimulation through Probabilistic Testing

  1991cited by this paper
• Algebraic laws for nondeterminism and concurrency

  1985cited by this paper
• Similarity relations and fuzzy orderings

  1971cited by this paper

• Approximate minimization of interpretations in fuzzy description logics under the Gödel semantics

  2025cites this paper
• Functional Modeling and Mechanized Verification of Bisimulations for NFTS

  2025influential citation
• Alternating refinement relations for fuzzy concurrent game structures

  2025cites this paper
• Approximate weak simulations and bisimulations for fuzzy automata over the product structure

  2024cites this paper
• Breadth-first fuzzy bisimulations for fuzzy automata

  2024cites this paper
• Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems

  2024influential citation
• Fuzzy Minimax Nets

  2023cites this paper
• Logical Characterizations of Crisp Bisimulations in Fuzzy Description Logics

  2023cites this paper
• Fuzzy Bisimulations for Nondeterministic Fuzzy Transition Systems

  2023influential citation
• Minimizing Fuzzy Interpretations in Fuzzy Description Logics by Using Crisp Bisimulations

  2023cites this paper
• A local algorithm of fuzzy bisimulation

  2023cites this paper
• Model Checking of Possibilistic Linear-Time Properties Based on Generalized Possibilistic Decision Processes

  2023cites this paper
• Approximate bisimulations for fuzzy-transition systems

  2023cites this paper
• Quantitative Graded Semantics and Spectra of Behavioural Metrics

  2023cites this paper
• Depth-Bounded Fuzzy Simulations and Bisimulations between Fuzzy Automata

  2023cites this paper
• Simulations and bisimulations for fuzzy multimodal logics over Heyting algebras

  2023cites this paper
• Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems

  2023cites this paper
• Characterization and computation of approximate bisimulations for fuzzy automata

  2022cites this paper
• Fuzzy Simulations and Bisimulations between Fuzzy Automata

  2022cites this paper
• Logical Characterizations of Fuzzy Bisimulations in Fuzzy Modal Logics over Residuated Lattices

  2021cites this paper
• Computing the Fuzzy Partition Corresponding to the Greatest Fuzzy Auto-Bisimulation of a Fuzzy Graph-Based Structure

  2021cites this paper
• Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics

  2021cites this paper
• Computing crisp simulations for fuzzy labeled transition systems

  2021cites this paper
• Fuzzy Automata as Coalgebras

  2021cites this paper
• Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic

  2021cites this paper
• Computing Crisp Bisimulations for Fuzzy Structures

  2020influential citation
• Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures

  2020cites this paper
• Computing Crisp Simulations and Crisp Directed Simulations for Fuzzy Graph-Based Structures

  2020cites this paper
• A novel algorithm for the modeling of complex processes

  2018cites this paper
• Bisimulations for fuzzy transition systems revisited

  2018cites this paper
• $\epsilon$-Bisimulation Relations for Fuzzy Automata

  2018cites this paper
• 2025 On Model-Checking Probabilistic ω -Pushdown Systems, and ω -PCTL ∗ Characterization of Weak Bisimulation

  year unknowncites this paper