Nondeterministic fuzzy automata with membership values in complete residuated lattices
From MaRDI portal
Publication:511624
DOI10.1016/j.ijar.2016.11.020zbMath1404.68072OpenAlexW2559616919WikidataQ62038067 ScholiaQ62038067MaRDI QIDQ511624
Haiyu Pan, Yongzhi Cao, Ping Li, Yong-Ming Li
Publication date: 22 February 2017
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2016.11.020
Related Items (15)
TOPOLOGICAL CHARACTERIZATION FOR FUZZY REGULAR LANGUAGES ⋮ Bisimulations for fuzzy transition systems revisited ⋮ Nondeterministic finite automata based on quantum logic: language equivalence relation and robustness ⋮ Fuzzy alternating Büchi automata over distributive lattices ⋮ Characterization and computation of approximate bisimulations for fuzzy automata ⋮ On the category of \(L\)-fuzzy automata, coalgebras and dialgebras ⋮ On a factorized \(L\)-fuzzy automaton and its \(L\)-fuzzy topological characterization ⋮ Fuzzy \(\epsilon\)-approximate regular languages and minimal deterministic fuzzy automata \(\epsilon\)-accepting them ⋮ Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems ⋮ Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems ⋮ Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures ⋮ Limited approximate bisimulations and the corresponding rough approximations ⋮ The relationships among several forms of weighted finite automata over strong bimonoids ⋮ Lattice-valued tree pushdown automata: pumping lemma and closure properties ⋮ Intuitionistic fuzzy \(( \otimes,N)\)-general regular languages and their minimization implementation
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Bisimulations for fuzzy automata
- Formalization of implication based fuzzy reasoning method
- Lattice-valued simulations for quantitative transition systems
- A modal characterization of alternating approximate bisimilarity
- The dual equivalence of equations and coequations for automata
- Finite automata theory with membership values in lattices
- Logical characterizations of simulation and bisimulation for fuzzy transition systems
- Computation of the greatest simulations and bisimulations between fuzzy automata
- Quantitative analysis of weighted transition systems
- Nondeterministic 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
- The completeness and applications of the formal system \(\mathcal L^\ast\)
- Automata theory based on complete residuated lattice-valued logic. II
- Coalgebraic constructions of canonical nondeterministic automata
- Automata theory based on complete residuated lattice-valued logic: Reduction and minimization
- Fuzzy relation equations and reduction of fuzzy automata
- Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity
- A note on Trillas' CHC models
- Automata theory based on complete residuated lattice-valued logic: a categorical approach
- Metamathematics of fuzzy logic
- Characterizations of fuzzy finite automata.
- Relating strong behavioral equivalences for processes with nondeterminism and probabilities
- Approximation and robustness of fuzzy finite automata
- Hierarchical structure and applications of fuzzy logical systems
- Simulation for lattice-valued doubly labeled transition systems
- A categorical approach to lattice-valued fuzzy automata
- The relationships among several types of fuzzy automata
- Algebraic properties of \(LA\)-languages
- Model checking discounted temporal properties
- Alternating-time temporal logic
- Quantitative Analysis of Lattice-valued Kripke Structures
- On modeling of fuzzy hybrid systems
- Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
- A Behavioural Pseudometric based on λ–Bisimilarity
- Lattice Automata
- A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems
This page was built for publication: Nondeterministic fuzzy automata with membership values in complete residuated lattices