Bisimulations for fuzzy transition systems

Author: hwwu

August undefined, 2024

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 ... WebJul 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 …

Characterizing fuzzy simulations for fuzzy labeled …

http://arxiv-export3.library.cornell.edu/pdf/2010.15671v3 WebJun 1, 2011 · 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 (FTSs). To help understand and check bisimulation, we characterize it in three ways by enumerating whole transitions, comparing individual transitions, and using a monotonic function. photoaged 意味

Computing the Fuzzy Partition Corresponding to the Greatest …

WebDec 10, 2010 · Title: Bisimulations for fuzzy transition systems. Authors: Yongzhi Cao, Guoqing Chen, Etienne Kerre. Download PDF Abstract: There has been a long history of … WebAug 1, 2024 · They have been studied by a considerable number of researchers. Related works that introduce bisimulations and simulations for fuzzy graph-based structures or characterize them in logic are discussed below. In [4] Cao et al. introduced and studied crisp bisimulations for fuzzy transition systems (FTSs). They gave results on composition ... 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, … photoage water fps 50 dermage

Bisimulations for Fuzzy-Transition Systems

WebDec 10, 2010 · Title: Bisimulations for fuzzy transition systems. Authors: Yongzhi Cao, Guoqing Chen, Etienne Kerre. Download PDF Abstract: There has been a long history of using fuzzy language equivalence to compare the behavior of fuzzy systems, but the comparison at this level is too coarse. Recently, a finer behavioral measure, bisimulation, … WebThe behavioural distance is a more robust way of formalising behavioural similarity between states than bisimulations. The smaller the distance, the more alike the states are. It is helpful for quantitative verifications of concurrent systems. The main contribution of this paper is an effective procedure for computing behavioural distance introduced by Cao et … photoage mineral fluido fps 50 - 50mlWebAug 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. how does the digestive system absorb food

"WebJul 18, 2024 · Fuzzy graphs are used as fuzzy labeled transition systems (FLTSs), fuzzy automata, fuzzy Kripke models and fuzzy interpretations in fuzzy description logics. For example, in the terminology of FLTSs, vertices, edges, edge labels and vertex labels represent states, transitions, actions and atomic properties of states, respectively. " - Bisimulations for fuzzy transition systems

Bisimulations for fuzzy transition systems

Simulations and bisimulations for fuzzy multimodal logics …

WebThis article defines crisp bisimulations for a large class of FDLs with a rich set of well-known concept and role constructors, including qualified/unqualified number restrictions, nominals and the role constructor that correspond to the program constructors of propositional dynamic logic. Fuzzy description logics (FDLs) are useful for dealing with … WebAug 1, 2024 · We carry out a systematic investigation on this new notion of bisimulation. In particular, a fixed ...

Did you know?

WebBisimulations for Fuzzy-Transition Systems. This 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. 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 …

WebDec 9, 2010 · Fuzzy transition systems are a natural generalization of labeled transition systems and can be thought of as weighted graphs, … WebMar 1, 2024 · Labeled transition systems or labeled directed graphs are the main structures on which bisimulations have been studied. Recently, bisimulation techniques have been introduced to fuzzy automata or, more generally, fuzzy systems (fuzzy directed graphs) [7], [8], [13], [41], [55], [56].

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 … WebMay 15, 2012 · For example, Cao et al. [2,4] considered bisimulations for fuzzy transition systems (FTS) where both fuzzy transitions and nondeterministic transitions co-exist. This model is further studied under fuzzy automata by Cao et al. [3] and Pan et al. [15]. Ćirić et al. [5] investigated bisimulations for fuzzy automata.

WebBisimulations for fuzzy transition systems revisited. Bisimulations for fuzzy transition systems revisited. Yixiang Chen. 2024, International Journal of Approximate Reasoning. See Full PDF Download PDF. See Full PDF Download PDF. Related Papers. INFINITY 2002. Model checking birth and death.

WebE-mail: [email protected] . Abstract: The problem of checking whether a state in a finite fuzzy labeled transition system (FLTS) crisply simulates another is one of the … how does the djia workWebSep 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 … how does the digestive system break down foodWebAug 16, 2014 · These concepts generalize the notions of simulations and bisimulations for fuzzy automata . The notions of weak simulations and bisimulations were used in a different context in the study of labeled transition systems with ε-transitions (or silent transitions). However, these concepts differ from our weak simulations and bisimulations. how does the difference engine workWebSep 6, 2024 · We formulate and prove logical characterizations of crisp simulations and crisp directed simulations between fuzzy labeled transition systems with respect to fuzzy modal logics that use a general t-norm-based semantics. The considered logics are fragments of the fuzzy propositional dynamic logic with the Baaz projection operator. photoaffinity labelsWebFeb 22, 2011 · There has been a long history of using fuzzy-language equivalence to compare the behavior of fuzzy systems; however, the comparison at this level is too … how does the distillation process work how does the discount rate affect inflationWebFeb 1, 2024 · There are two kinds of bisimulation, namely crisp and fuzzy, between fuzzy structures such as fuzzy automata, fuzzy transition systems, fuzzy Kripke models and … how does the dischem baby bag work