Characterization and computation of approximate bisimulations for fuzzy automata
From MaRDI portal
Publication:6079413
DOI10.1016/J.FSS.2022.05.003zbMATH Open1522.68279OpenAlexW4229459183MaRDI QIDQ6079413FDOQ6079413
Authors: Ivana Micić, Linh Anh Nguyen, Stefan Stanimirović 
Publication date: 30 October 2023
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2022.05.003
Recommendations
- Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures
- Approximate bisimulation relations for fuzzy automata
- Computation of the greatest simulations and bisimulations between fuzzy automata
- Weak bisimulations for fuzzy automata
- Bisimulation of type 2 for BL-general fuzzy automata
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Fuzzy sets and systems. Theory and applications
- Forward and backward simulations. I. Untimed Systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Bisimulations for fuzzy automata
- Approximation Metrics for Discrete and Continuous Systems
- Title not available (Why is that?)
- Nondeterministic fuzzy automata
- Analysis and control of fuzzy discrete event systems using bisimulation equivalence
- Uniform fuzzy relations and fuzzy functions
- Fuzzy homomorphisms of algebras
- Bisimulations for fuzzy transition systems revisited
- Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
- A theory of vague lattices based on many-valued equivalence relations. I: General representation results
- Approximate bisimulation relations for fuzzy automata
- Weak bisimulations for fuzzy automata
- Weakly linear systems of fuzzy relation inequalities and their applications: a brief survey
- Title not available (Why is that?)
- Factorization of Fuzzy Automata
- Fuzzy equational logic
- Computation of the greatest simulations and bisimulations between fuzzy automata
- Reduction of fuzzy automata by means of fuzzy quasi-orders
- Nondeterministic automata: equivalence, bisimulations, and uniform relations
- Fuzzy relation equations and reduction of fuzzy automata
- Towards a unified view of bisimulation: A comparative study
- Approximation and robustness of fuzzy finite automata
- Bisimulation indexes and their applications
- From bisimulation to simulation: Coarsest partition problems
- An efficient algorithm for computing bisimulation equivalence
- A modal characterization of alternating approximate bisimilarity
- Approximate bisimulation: a bridge between computer science and control theory
- Nondeterministic fuzzy automata with membership values in complete residuated lattices
- Logical characterizations of simulation and bisimulation for fuzzy transition systems
- Nonblocking check in fuzzy discrete event systems based on observation equivalence
- Fuzzy automata system with application to target recognition based on image processing
- Representable idempotent commutative residuated lattices
- Pattern recognition using temporal fuzzy automata
- Bisimulations for weighted automata over an additively idempotent semiring
- Title not available (Why is that?)
- Title not available (Why is that?)
- Fuzzy automaton induction using neural network
- Further improvements of determinization methods for fuzzy finite automata
- Approximate simulation relations for hybrid systems
- Title not available (Why is that?)
- Quantitative model checking of linear-time properties based on generalized possibility measures
- Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
- Labeled fuzzy approximations based on bisimulations
- Computation of the greatest right and left invariant fuzzy quasi-orders and fuzzy equivalences
- Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders
- Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
- Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
- Limited approximate bisimulations and the corresponding rough approximations
- Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic
Cited In (11)
- Relative approximate bisimulations for fuzzy picture automata
- Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems
- Weak bisimulations for fuzzy automata
- Computation of solutions to certain nonlinear systems of fuzzy relation inequations
- Computation of the greatest simulations and bisimulations between fuzzy automata
- Bisimulation of type 2 for BL-general fuzzy automata
- Approximate bisimulation relations for fuzzy automata
- Title not available (Why is that?)
- Approximate State Reduction of Fuzzy Finite Automata
- Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures
- Computing crisp bisimulations for fuzzy structures
This page was built for publication: Characterization and computation of approximate bisimulations for fuzzy automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6079413)
