Nondeterministic fuzzy automata with membership values in complete residuated lattices
type: Item
instance of: scholarly article
title: Nondeterministic fuzzy automata with membership values in complete residuated lattices
zbMATH Open document ID: 1404.68072
author: Haiyu Pan
author: Yongzhi Cao
author: Ping Li
author: Yongming Li
published in: International Journal of Approximate Reasoning
publication date: 2017-02-22T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 6687816
zbMATH Keywords: fuzzy automaton
zbMATH Keywords: complete residuated lattice
zbMATH Keywords: Heyting algebra
zbMATH Keywords: language equivalence
zbMATH Keywords: formal verification
Wikidata QID: Q62038067
MaRDI profile type: Publication
full work available at URL: j.ijar.2016.11.020
OpenAlex ID: W2559616919
cites work: Model checking discounted temporal properties
cites work: Alternating-time temporal logic
cites work: The dual equivalence of equations and coequations for automata
cites work: Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
cites work: Relating strong behavioral equivalences for processes with nondeterminism and probabilities
cites work: Q5312888
cites work: Q5389254
cites work: Nondeterministic fuzzy automata
cites work: Fuzzy relation equations and reduction of fuzzy automata
cites work: Bisimulations for fuzzy automata
cites work: Computation of the greatest simulations and bisimulations between fuzzy automata
cites work: Q4692885
cites work: On modeling of fuzzy hybrid systems
cites work: Metamathematics of fuzzy logic
cites work: Q5592246
cites work: Lattice Automata
cites work: Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
cites work: A categorical approach to lattice-valued fuzzy automata
cites work: Approximation and robustness of fuzzy finite automata
cites work: Finite automata theory with membership values in lattices
cites work: The relationships among several types of fuzzy automata
cites work: Algebraic properties of \(LA\)-languages
cites work: Coalgebraic constructions of canonical nondeterministic automata
cites work: Simulation for lattice-valued doubly labeled transition systems
cites work: Quantitative Analysis of Lattice-valued Kripke Structures
cites work: Lattice-valued simulations for quantitative transition systems
cites work: Formalization of implication based fuzzy reasoning method
cites work: Hierarchical structure and applications of fuzzy logical systems
cites work: The completeness and applications of the formal system \(\mathcal L^\ast\)
cites work: Automata theory based on complete residuated lattice-valued logic. II
cites work: Characterizations of fuzzy finite automata.
cites work: Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note
cites work: A note on Trillas' CHC models
cites work: Quantitative analysis of weighted transition systems
cites work: A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems
cites work: Automata theory based on complete residuated lattice-valued logic: Reduction and minimization
cites work: Logical characterizations of simulation and bisimulation for fuzzy transition systems
cites work: Automata theory based on complete residuated lattice-valued logic: a categorical approach
cites work: A Behavioural Pseudometric based on λ–Bisimilarity
cites work: Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity
cites work: A modal characterization of alternating approximate bisimilarity
DBLP publication ID: journals/ijar/PanLCL17
DOI: 10.1016/J.IJAR.2016.11.020
description: scientific article; zbMATH DE number 6687816