Bisimulations for fuzzy transition systems
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 … 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.
Bisimulations for fuzzy transition systems
Did you know?
WebDec 7, 2024 · Bisimulations are established forms of behavioral equivalences for discrete event systems. Recently, bisimulations have been introduced to fuzzy transition … WebSep 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.
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 fundamental problems of the theory of FLTSs. This problem is of the same nature as computing the largest crisp simulation between two finite FLTSs. 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].
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. http://arxiv-export3.library.cornell.edu/pdf/2010.15671v3
WebRecently, bisimulations have been developed in fuzzy systems as well. For example, Cao et al. [2,4] considered bisimula-tions 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]. Ciri
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]. ina garten\\u0027s beef bourguignon recipeWebThe 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 … incentive\u0027s y3WebJul 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. ina garten\\u0027s chocolate cakeWebDec 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, … ina garten yellow squash recipesWebFeb 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 … ina garten xmas cookiesWebDec 9, 2010 · Fuzzy transition systems are a natural generalization of labeled transition systems and can be thought of as weighted graphs, … incentive\u0027s y1WebAug 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 … incentive\u0027s xy