Computation of the greatest simulations and bisimulations between fuzzy automata (Q690916): Difference between revisions

@@ Property / describes a project that uses @@
+Stony Brook
@@ Property / describes a project that uses: Stony Brook / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1645024112
@@ Property / OpenAlex ID: W1645024112 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5078
@@ Property / arXiv ID: 1103.5078 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive Systems
@@ Property / cites work: Reactive Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Conjugacy and Equivalence of Weighted Automata and Functional Transducers
+Normal rank
@@ Property / cites work @@
+On the generating sequences of regular languages on             <i>k</i>             symbols
+Normal rank
@@ Property / cites work @@
+Determinism and fuzzy automata
@@ Property / cites work: Determinism and fuzzy automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5312888
@@ Property / cites work: Q5312888 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy equational logic
@@ Property / cites work: Fuzzy equational logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5387709
@@ Property / cites work: Q5387709 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation relations for weighted automata
@@ Property / cites work: Bisimulation relations for weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Determinization of weighted finite automata over strong bimonoids
+Normal rank
@@ Property / cites work @@
+Nondeterministic automata: equivalence, bisimulations, and uniform relations
+Normal rank
@@ Property / cites work @@
+Bisimulations for fuzzy automata
@@ Property / cites work: Bisimulations for fuzzy automata / rank @@
+Normal rank
@@ Property / cites work @@
+Factorization of Fuzzy Automata
@@ Property / cites work: Factorization of Fuzzy Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy relation equations and reduction of fuzzy automata
+Normal rank
@@ Property / cites work @@
+Weighted finite automata over strong bimonoids
@@ Property / cites work: Weighted finite automata over strong bimonoids / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy sets and systems. Theory and applications
@@ Property / cites work: Fuzzy sets and systems. Theory and applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490108
@@ Property / cites work: Q4490108 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4157953
@@ Property / cites work: Q4157953 / rank @@
+Normal rank
@@ Property / cites work @@
+A GENERALIZATION OF KOZEN'S AXIOMATIZATION OF THE EQUATIONAL THEORY OF THE REGULAR SETS
+Normal rank
@@ Property / cites work @@
+An efficient algorithm for computing bisimulation equivalence
+Normal rank
@@ Property / cites work @@
+From bisimulation to simulation: Coarsest partition problems
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+What's decidable about hybrid automata?
@@ Property / cites work: What's decidable about hybrid automata? / rank @@
+Normal rank
@@ Property / cites work @@
+Backward and Forward Bisimulation Minimisation of Tree Automata
+Normal rank
@@ Property / cites work @@
+Backward and forward bisimulation minimization of tree automata
+Normal rank
@@ Property / cites work @@
+Q4836218
@@ Property / cites work: Q4836218 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling and control of discrete-event dynamic systems with Petri nets and other tools.
+Normal rank
@@ Property / cites work @@
+Formal power series and regular operations on fuzzy languages
+Normal rank
@@ Property / cites work @@
+Determinization of fuzzy automata with membership values in complete residuated lattices
+Normal rank
@@ Property / cites work @@
+Fuzzy homomorphisms of algebras
@@ Property / cites work: Fuzzy homomorphisms of algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations
+Normal rank
@@ Property / cites work @@
+Myhill-Nerode type theory for fuzzy languages and automata
+Normal rank
@@ Property / cites work @@
+An improved algorithm for determinization of weighted and fuzzy automata
+Normal rank
@@ Property / cites work @@
+CCS expressions, finite state processes, and three problems of equivalence
+Normal rank
@@ Property / cites work @@
+Diagnosability of fuzzy discrete event systems
@@ Property / cites work: Diagnosability of fuzzy discrete event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838055
@@ Property / cites work: Q3838055 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4344149
@@ Property / cites work: Q4344149 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
+Normal rank
@@ Property / cites work @@
+The relationship of controllability between classical and fuzzy discrete-event systems
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. I. Untimed Systems
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791753
@@ Property / cites work: Q4791753 / rank @@
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+FINITE ${\mathbb L}$–FUZZY ACCEPTORS, REGULAR ${\mathbb L}$–FUZZY GRAMMARS AND SYNTACTIC PATTERN RECOGNITION
+Normal rank
@@ Property / cites work @@
+Finite \(L\)-fuzzy machines.
@@ Property / cites work: Finite \(L\)-fuzzy machines. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5702686
@@ Property / cites work: Q5702686 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing behavior of finite fuzzy machines -- algorithm and its application to reduction and minimization
+Normal rank
@@ Property / cites work @@
+Congruences and homomorphisms of fuzzy automata
@@ Property / cites work: Congruences and homomorphisms of fuzzy automata / rank @@
+Normal rank
@@ Property / cites work @@
+Automata theory based on complete residuated lattice-valued logic
+Normal rank
@@ Property / cites work @@
+Automata theory based on complete residuated lattice-valued logic. II
+Normal rank
@@ Property / cites work @@
+Characterizations of fuzzy finite automata.
@@ Property / cites work: Characterizations of fuzzy finite automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note
+Normal rank
@@ Property / cites work @@
+Generalizing the Paige-Tarjan algorithm by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Towards a unified view of bisimulation: A comparative study
+Normal rank
@@ Property / cites work @@
+Q3539342
@@ Property / cites work: Q3539342 / rank @@
+Normal rank
@@ Property / cites work @@
+An Incremental Bisimulation Algorithm
@@ Property / cites work: An Incremental Bisimulation Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution of composite fuzzy relation equations
@@ Property / cites work: Resolution of composite fuzzy relation equations / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution of eigen fuzzy sets equations
@@ Property / cites work: Resolution of eigen fuzzy sets equations / rank @@
+Normal rank
@@ Property / cites work @@
+Maximin automata
@@ Property / cites work: Maximin automata / rank @@
+Normal rank
@@ Property / cites work @@
+Max-product machines
@@ Property / cites work: Max-product machines / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy automata and languages
@@ Property / cites work: Fuzzy automata and languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3499247
@@ Property / cites work: Q3499247 / rank @@
+Normal rank
@@ Property / cites work @@
+Construction of fuzzy automata from fuzzy regular expressions
+Normal rank
@@ Property / cites work @@
+Reduction of fuzzy automata by means of fuzzy quasi-orders
+Normal rank
@@ Property / cites work @@
+Q4925553
@@ Property / cites work: Q4925553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4186245
@@ Property / cites work: Q4186245 / rank @@
+Normal rank
@@ Property / cites work @@
+A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems
+Normal rank
@@ Property / cites work @@
+Automata theory based on complete residuated lattice-valued logic: Reduction and minimization
+Normal rank
@@ Property / cites work @@
+Pumping Lemma in context-free grammar theory based on complete residuated lattice-valued logic
+Normal rank
@@ Property / cites work @@
+Automata theory based on complete residuated lattice-valued logic: a categorical approach
+Normal rank
@@ Property / cites work @@
+Automata theory based on complete residuated lattice-valued logic: Pushdown automata
+Normal rank
@@ Property / cites work @@
+Equivalence in automata theory based on complete residuated lattice-valued logic
+Normal rank