Journal ArticleDOI
Fuzzy relation equations and subsystems of fuzzy transition systems
Reads0
Chats0
TLDR
It is shown that subsystems, reverse subsystems and double subsystems of a fuzzy transition system T form both closure and opening systems in the lattice of fuzzy subsets of A, where A is the set of states of T, and efficient procedures for computing related closures and openings of an arbitrary fuzzy subset of A are provided.Abstract:
In this paper we study subsystems, reverse subsystems and double subsystems of a fuzzy transition system. We characterize them in terms of fuzzy relation inequalities and equations, as eigen fuzzy sets of the fuzzy quasi-order Q"@d and the fuzzy equivalence E"@d generated by fuzzy transition relations, and as linear combinations of aftersets and foresets of Q"@d and equivalence classes of E"@d. We also show that subsystems, reverse subsystems and double subsystems of a fuzzy transition system T form both closure and opening systems in the lattice of fuzzy subsets of A, where A is the set of states of T, and we provide efficient procedures for computing related closures and openings of an arbitrary fuzzy subset of A. These procedures boil down to computing the fuzzy quasi-order Q"@d or the fuzzy equivalence E"@d, which can be efficiently computed using the well-known algorithms for computing the transitive closure of a fuzzy relation.read more
Citations
More filters
Journal ArticleDOI
Logical characterizations of simulation and bisimulation for fuzzy transition systems
Hengyang Wu,Yuxin Deng +1 more
TL;DR: This study provides sound and complete logical characterizations for simulation and bisimulation, which are defined over fuzzy labeled transition systems via two variants of the Hennessy-Milner Logic.
Journal ArticleDOI
Logical characterizations of regular equivalence in weighted social networks
Tuan-Fang Fan,Churn-Jung Liau +1 more
TL;DR: In this paper, it was shown that actors occupying the same social position based on regular equivalence will satisfy the same set of modal formulas, and analogous results for regular similarity and generalized regular equivalences based on many-valued modal logics.
Journal ArticleDOI
A decomposition-based differential evolution with reinitialization for nonlinear equations systems
TL;DR: Experimental results show that the proposed decomposition-based differential evolution with reinitialization approach can locate multiple roots in a single run and is able to obtain better results compared with other state-of-the-art methods in terms of both root rate and success rate.
Journal ArticleDOI
Fuzzy relational inequalities and equations, fuzzy quasi-orders, closures and openings of fuzzy sets
TL;DR: The main results are algorithms for computing the greatest and the smallest solutions to the considered systems of fuzzy relation inequalities, and algorithms for Computing the greatest solutions tothe considered systemsof fuzzy relation equations.
Journal ArticleDOI
A logical framework for privacy-preserving social network publication ☆
TL;DR: A logical framework that can represent different attack models uniformly is proposed that provides a common ground to compare existing attack models; its generality could extend the scope of research to meet privacy concerns in the era of social semantic computing.
References
More filters
Book
Communication and Concurrency
TL;DR: This chapter discusses Bisimulation and Observation Equivalence as a Modelling Communication, a Programming Language, and its application to Equational laws.
Book
Fuzzy Sets and Fuzzy Logic: Theory and Applications
George J. Klir,Bo Yuan +1 more
TL;DR: Fuzzy Sets and Fuzzy Logic is a true magnum opus; it addresses practically every significant topic in the broad expanse of the union of fuzzy set theory and fuzzy logic.
Book
Fuzzy Sets and Systems: Theory and Applications
Didier Dubois,Henri Prade +1 more
TL;DR: This book effectively constitutes a detailed annotated bibliography in quasitextbook style of the some thousand contributions deemed by Messrs. Dubois and Prade to belong to the area of fuzzy set theory and its applications or interactions in a wide spectrum of scientific disciplines.
Book
Introduction to Discrete Event Systems
TL;DR: This edition includes recent research results pertaining to the diagnosis of discrete event systems, decentralized supervisory control, and interval-based timed automata and hybrid automata models.