Bisimulations for fuzzy-transition systems

WebDec 1, 2012 · A robust notion of behavioral distance is introduced to measure the behavioral similarity of nondeterministic fuzzy-transition systems which are a generalization of fuzzy automata and it is shown that two system combinators-parallel composition and product-are nonexpansive with respect to this behavioral distance, which makes compositional … WebSep 26, 2011 · Distribution-Based Behavioral Distance for Nondeterministic Fuzzy Transition Systems. IEEE Transactions on Fuzzy Systems, Vol. 26, Issue. 2, p. 416. ... Yixiang Bu, Tianming and Deng, Yuxin 2024. Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems. Fuzzy Sets and …

(PDF) Bisimulations for Fuzzy-Transition Systems

WebFeb 1, 2024 · There are two kinds of bisimulation, namely crisp and fuzzy, between fuzzy structures such as fuzzy automata, fuzzy labeled transition systems, fuzzy Kripke … WebThis paper considers bisimulation for general fuzzy systems, which may be infinite state or infinite event, by modeling them as fuzzy-transition systems (FTSs), and characterize it in three ways by enumerating whole transitions, comparing individual transitions, and using a monotonic function. 63 PDF Bisimulations for fuzzy automata shannon games https://thebaylorlawgroup.com

International Journal of Approximate Reasoning

WebThere are two kinds of bisimulation, namely crisp and fuzzy, between fuzzy structures such as fuzzy automata, fuzzy labeled transition systems, fuzzy Kripke models and fuzzy interpretations in description logics. Fuzzy bisimulations between fuzzy automata over a complete residuated lattice have been introduced by Ćirić et al. in 2012. WebFor fuzzy structures like fuzzy automata and fuzzy labeled transition systems (FLTSs), researchers have studied both crisp simulations [7]–[11] and fuzzy simulations [8], [12]–[15]. Crisp/fuzzy bisimulations have also been studied for fuzzy structures by a considerable number of researchers [7], [9], [12], [14], [16]–[26]. WebDec 7, 2024 · Fuzzy Bisimulations for Nondeterministic Fuzzy Transition Systems Abstract: Bisimulations are established forms of behavioral equivalences for discrete … polythiophene pth

Characterizing fuzzy simulations for fuzzy labeled …

Category:Bisimulations for Fuzzy Transition Systems revisited

Tags:Bisimulations for fuzzy-transition systems

Bisimulations for fuzzy-transition systems

Computing behavioural distance for fuzzy transition systems

WebOct 27, 2024 · Fuzzy structures such as fuzzy automata, fuzzy transition systems, weighted social networks and fuzzy interpretations in fuzzy description logics have been widely studied. For such structures, bisimulation is a natural notion for characterizing indiscernibility between states or individuals. There are two kinds of bisimulations for … WebBisimulation is a well-known behavioral equivalence for discrete event systems, and has recently been adopted and developed in fuzzy systems. In this paper, we propose a …

Bisimulations for fuzzy-transition systems

Did you know?

WebIn this article, we design an efficient algorithm with the complexity O ( (m + n) n) for computing the largest crisp simulation between two finite FLTSs. This gives a significant … WebDec 10, 2010 · In this paper, we consider bisimulation for general fuzzy systems which may be infinite-state or infinite-event, by modeling them as fuzzy transition systems. To …

WebApr 1, 2024 · [23] Nguyen L., Computing crisp simulations for fuzzy labeled transition systems, J. Intell. Fuzzy Syst. 42 (2024) 3067 – 3078, 10.3233/JIFS-210792. Google Scholar Digital Library [24] Nguyen L., Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices, Fuzzy Sets Syst. 431 (2024) 70 – 93, … WebAug 1, 2024 · Bisimulation is a well-known behavioral equivalence for discrete event systems, and has recently ...

http://basics.sjtu.edu.cn/~yuxin/publications/fuzzy1.pdf WebFuzzy structures such as fuzzy automata, fuzzy transition systems, weighted social net-works and fuzzy interpretations in fuzzy description logics have been widely studied. For such structures, bisimulation is a natural notion for characterizing indiscernibility between states or individuals. There are two kinds of bisimulations for fuzzy ...

WebAug 1, 2024 · We carry out a systematic investigation on this new notion of bisimulation. In particular, a fixed point characterization of the group-by-group fuzzy bisimilarity is given, based on which, we provide a polynomial-time algorithm to check whether two states in a fuzzy transition system are group-by-group fuzzy bisimilar.

WebAug 1, 2024 · There are two kinds of bisimulations and simulations, namely, crisp and fuzzy, for fuzzy graph-based structures such as FLTSs, fuzzy automata, fuzzy/weighted … polythiophene solubilityWebMay 15, 2012 · In the fuzzy automata theory, bisimulations have been applied in the state reduction and determinization of fuzzy automata (see [9,11,33,40,59,60]). Show abstract Intuitionistic fuzzy (⊗,N)-general regular languages and their minimization implementation 2024, International Journal of Approximate Reasoning Show abstract shannon garda stationWebBisimulation is a well-known behavioral equivalence for discrete event systems and has been developed in fuzzy systems quickly. In this paper, we adopt an approach of the … shannon gardinerWebJul 15, 2024 · The use of specific fuzzy similarity measures depends on concrete fuzzy sets. Bisimulations are binary relations, which are generally considered as one of the most important contributions in many areas of computer sciences to not only model equivalence between discrete event systems such as Petri nets, transition systems, and automata … polythiophene synthesisshannon gardiner paWebJun 1, 2011 · Bisimulations for Fuzzy-Transition Systems Computing methodologies Artificial intelligence Knowledge representation and reasoning Probabilistic reasoning Vagueness and fuzzy logic Mathematics of computing Discrete mathematics Theory of computation Formal languages and automata theory Models of computation Comments poly thiourethaneWebJul 18, 2024 · A fuzzy bisimulation between a fuzzy structure G and itself is called a fuzzy auto-bisimulation of G. The greatest fuzzy auto-bisimulation of an image-finite fuzzy graph-based structure is a fuzzy equivalence relation. It is useful for classification and clustering. shannon garland uc merced