Three partition refinement algorithms
SIAM Journal on Computing
CCS expressions finite state processes, and three problems of equivalence
Information and Computation
Fuzzy sets and fuzzy logic: theory and applications
Fuzzy sets and fuzzy logic: theory and applications
Forward and backward simulations I.: untimed systems
Information and Computation
What's decidable about hybrid automata?
Journal of Computer and System Sciences
Minimization of fuzzy finite automata
Information Sciences: an International Journal
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Towards a unified view of bisimulation: a comparative study
Theoretical Computer Science
Fuzzy points, fuzzy relations and fuzzy functions
Discovering the world with fuzzy logic
Communication and Concurrency
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Fuzzy Relation Equations and Their Applications to Knowledge Engineering
Fuzzy Relation Equations and Their Applications to Knowledge Engineering
Fuzzy Relational Systems: Foundations and Principles
Fuzzy Relational Systems: Foundations and Principles
On quotient machines of a fuzzy automaton and the minimal machine
Fuzzy Sets and Systems
Algorithms for Computing Small NFAs
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
Reducing NFAs by invariant equivalences
Theoretical Computer Science
From Bisimulation to Simulation: Coarsest Partition Problems
Journal of Automated Reasoning
An efficient algorithm for computing bisimulation equivalence
Theoretical Computer Science
NFA reduction algorithms by means of regular inequalities
Theoretical Computer Science - Developments in language theory
Network Analysis: Methodological Foundations (Lecture Notes in Computer Science)
Network Analysis: Methodological Foundations (Lecture Notes in Computer Science)
Theoretical Computer Science - Insightful theory
Minimization of states in automata theory based on finite lattice-ordered monoids
Information Sciences: an International Journal
A compendium of fuzzy weak orders: Representations and constructions
Fuzzy Sets and Systems
Algorithm for Solving Max-product Fuzzy Relational Equations
Soft Computing - A Fusion of Foundations, Methodologies and Applications
Fuzzy equivalence relations and their equivalence classes
Fuzzy Sets and Systems
Some properties of infinite fuzzy relational equations on complete Brouwerian lattices
Fuzzy Sets and Systems
Equivalence in automata theory based on complete residuated lattice-valued logic
Fuzzy Sets and Systems
System of fuzzy relation equations as a continuous model of IF-THEN rules
Information Sciences: an International Journal
Social Networks and the Semantic Web (Semantic Web and Beyond)
Social Networks and the Semantic Web (Semantic Web and Beyond)
Determinization of fuzzy automata with membership values in complete residuated lattices
Information Sciences: an International Journal
Positional Analysis in Fuzzy Social Networks
GRC '07 Proceedings of the 2007 IEEE International Conference on Granular Computing
Bisimulation relations for weighted automata
Theoretical Computer Science
Generalizing the Paige--Tarjan algorithm by abstract interpretation
Information and Computation
Fuzzification of Rational and Recognizable Sets
Fundamenta Informaticae
Generalized fuzzy rough approximation operators based on fuzzy coverings
International Journal of Approximate Reasoning
Information Sciences: an International Journal
Discrete Applied Mathematics
A theoretical investigation of regular equivalences for fuzzy graphs
International Journal of Approximate Reasoning
Uniform fuzzy relations and fuzzy functions
Fuzzy Sets and Systems
Automata theory based on complete residuated lattice-valued logic: Pushdown automata
Fuzzy Sets and Systems
On the origins of bisimulation and coinduction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fuzzy Systems Engineering: Toward Human-Centric Computing
Fuzzy Systems Engineering: Toward Human-Centric Computing
A survey on fuzzy relational equations, part I: classification and solvability
Fuzzy Optimization and Decision Making
Fuzzy homomorphisms of algebras
Fuzzy Sets and Systems
Automata theory based on complete residuated lattice-valued logic: A categorical approach
Fuzzy Sets and Systems
Backward and forward bisimulation minimization of tree automata
Theoretical Computer Science
Communication: A strongly polynomial algorithm for solving two-sided linear systems in max-algebra
Discrete Applied Mathematics
Congruences and homomorphisms of fuzzy automata
Fuzzy Sets and Systems
Myhill--Nerode type theory for fuzzy languages and automata
Fuzzy Sets and Systems
NFA reduction algorithms by means of regular inequalities
DLT'03 Proceedings of the 7th international conference on Developments in language theory
Backward and forward bisimulation minimisation of tree automata
CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
Fuzzy relation equations and reduction of fuzzy automata
Journal of Computer and System Sciences
Determinization of weighted finite automata over strong bimonoids
Information Sciences: an International Journal
Reducing the size of NFAs by using equivalences and preorders
CPM'05 Proceedings of the 16th annual conference on Combinatorial Pattern Matching
IEEE Transactions on Fuzzy Systems
Factorization of fuzzy automata
FCT'07 Proceedings of the 16th international conference on Fundamentals of Computation Theory
Fuzzy relational inequations and equations in the framework of control problems
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Bisimulations for fuzzy automata
Fuzzy Sets and Systems
Lattice-valued approach to closed sets under fuzzy relations: Theory and applications
Computers & Mathematics with Applications
Weakly linear systems of fuzzy relation inequalities: The heterogeneous case
Fuzzy Sets and Systems
Computation of the greatest simulations and bisimulations between fuzzy automata
Fuzzy Sets and Systems
Fuzzy relation equations and subsystems of fuzzy transition systems
Knowledge-Based Systems
Fuzzy correspondence inequations and equations
Fuzzy Sets and Systems
Hi-index | 0.21 |
In this paper we study systems of fuzzy relation inequalities and equations of the form U@?V"i@?V"i@?U(i@?I), where U is an unknown and V"i (i@?I) are given fuzzy relations, the dual systems V"i@?U@?U@?V"i (i@?I), their conjunctions, the systems of the form U@?V"i=V"i@?U (i@?I), and certain special types of these systems. We call them weakly linear systems. For each weakly linear system, with a complete residuated lattice as the underlying structure of truth values, we prove the existence of the greatest solution, and we provide an algorithm for computing the greatest solution, which works whenever the underlying complete residuated lattice is locally finite. Otherwise, we determine some sufficient conditions under which the algorithm works. The algorithm is iterative, and each its single step can be viewed as solving of a particular linear system. Weakly linear systems emerged from the fuzzy automata theory, but we show that they also have important applications in other fields, e.g. in the concurrency theory and social network analysis.