Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures
From MaRDI portal
Publication:2219195
DOI10.1016/j.fss.2019.07.010zbMath1452.68111OpenAlexW2964854675MaRDI QIDQ2219195
Publication date: 19 January 2021
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2019.07.010
Related Items
Synthesizing fuzzy tree automata, Approximate positional analysis of fuzzy social networks, \(L^B\)-valued general fuzzy automata, Characterization and computation of approximate bisimulations for fuzzy automata, Fuzzy \(\epsilon\)-approximate regular languages and minimal deterministic fuzzy automata \(\epsilon\)-accepting them, Fuzzy simulations and bisimulations between fuzzy automata, Approximate State Reduction of Fuzzy Finite Automata, Intuitionistic fuzzy \(( \otimes,N)\)-general regular languages and their minimization implementation, Similarity measure of Gaussian fuzzy numbers and its application
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The universal fuzzy automaton
- Weak bisimulations for fuzzy automata
- Bisimulations for fuzzy automata
- Nondeterministic fuzzy automata with membership values in complete residuated lattices
- Logical characterizations of simulation and bisimulation for fuzzy transition systems
- Computation of the greatest simulations and bisimulations between fuzzy automata
- Analysis and control of fuzzy discrete event systems using bisimulation equivalence
- Optimal state reductions of automata with partially specified behaviors
- Fuzzy alternating automata over distributive lattices
- Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
- Backward and forward bisimulation minimization of tree automata
- Minimization of states in automata theory based on finite lattice-ordered monoids
- Fuzzy relation equations and reduction of fuzzy automata
- On the similarity metric and the distance metric
- Triangular norms
- Fuzzy alternating Büchi automata over distributive lattices
- Quantitative model checking of linear-time properties based on generalized possibility measures
- Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
- Approximate bisimulation relations for fuzzy automata
- An efficient algorithm for computing bisimulation equivalence
- Computation tree logic model checking based on multi-valued possibility measures
- Approximation and robustness of fuzzy finite automata
- Model checking of linear-time properties in multi-valued systems
- Some new approaches to constructing similarity measures
- Minimization of lattice finite automata and its application to the decomposition of lattice languages
- Additive similarity and dissimilarity measures
- On the \(T_L\)-transitivity of fuzzy similarity measures
- Bisimulations for weighted automata over an additively idempotent semiring
- Bisimulation relations for weighted automata
- Similarity-based minimization of fuzzy tree automata
- Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence
- AN EFFICIENT FULLY SYMBOLIC BISIMULATION ALGORITHM FOR NON-DETERMINISTIC SYSTEMS
- A generalized similarity measure for fuzzy numbers
- Fuzzy risk analysis based on the similarity measure of generalized trapezoidal fuzzy numbers
