Characterization and computation of approximate bisimulations for fuzzy automata
From MaRDI portal
Publication:6079413
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
Cites work
- scientific article; zbMATH DE number 1696897 (Why is no real title available?)
- scientific article; zbMATH DE number 3859115 (Why is no real title available?)
- 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 3632385 (Why is no real title available?)
- scientific article; zbMATH DE number 1862743 (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?)
- A modal characterization of alternating approximate bisimilarity
- A theory of vague lattices based on many-valued equivalence relations. I: General representation results
- Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
- An efficient algorithm for computing bisimulation equivalence
- Analysis and control of fuzzy discrete event systems using bisimulation equivalence
- Approximate bisimulation relations for fuzzy automata
- Approximate bisimulation: a bridge between computer science and control theory
- Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures
- Approximate simulation relations for hybrid systems
- Approximation Metrics for Discrete and Continuous Systems
- Approximation and robustness of fuzzy finite automata
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
- Bisimulation indexes and their applications
- Bisimulations for fuzzy automata
- Bisimulations for fuzzy transition systems revisited
- Bisimulations for weighted automata over an additively idempotent semiring
- Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic
- Computation of the greatest right and left invariant fuzzy quasi-orders and fuzzy equivalences
- Computation of the greatest simulations and bisimulations between fuzzy automata
- Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders
- Factorization of Fuzzy Automata
- Forward and backward simulations. I. Untimed Systems
- From bisimulation to simulation: Coarsest partition problems
- Further improvements of determinization methods for fuzzy finite automata
- Fuzzy automata system with application to target recognition based on image processing
- Fuzzy automaton induction using neural network
- Fuzzy equational logic
- Fuzzy homomorphisms of algebras
- Fuzzy relation equations and reduction of fuzzy automata
- Fuzzy sets and systems. Theory and applications
- Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
- Labeled fuzzy approximations based on bisimulations
- Limited approximate bisimulations and the corresponding rough approximations
- Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
- Logical characterizations of simulation and bisimulation for fuzzy transition systems
- Nonblocking check in fuzzy discrete event systems based on observation equivalence
- Nondeterministic automata: equivalence, bisimulations, and uniform relations
- Nondeterministic fuzzy automata
- Nondeterministic fuzzy automata with membership values in complete residuated lattices
- Pattern recognition using temporal fuzzy automata
- Quantitative model checking of linear-time properties based on generalized possibility measures
- Reduction of fuzzy automata by means of fuzzy quasi-orders
- Representable idempotent commutative residuated lattices
- Towards a unified view of bisimulation: A comparative study
- Uniform fuzzy relations and fuzzy functions
- Weak bisimulations for fuzzy automata
- Weakly linear systems of fuzzy relation inequalities and their applications: a brief survey
Cited in
(11)- Computing crisp bisimulations for fuzzy structures
- Relative approximate bisimulations for fuzzy picture automata
- Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems
- Weak bisimulations for fuzzy automata
- Computation of the greatest simulations and bisimulations between fuzzy automata
- Computation of solutions to certain nonlinear systems of fuzzy relation inequations
- Bisimulation of type 2 for BL-general fuzzy automata
- Approximate bisimulation relations for fuzzy automata
- scientific article; zbMATH DE number 6612705 (Why is no real title available?)
- Approximate State Reduction of Fuzzy Finite Automata
- Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures
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)
