Bisimulations for fuzzy-transition systems
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 ... 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 …
Bisimulations for fuzzy-transition systems
Did you know?
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 …
WebBisimulations for Fuzzy-Transition Systems. Bisimulations for Fuzzy-Transition Systems. Yongzhi Cao Etienne Kerre. 2000, IEEE Transactions on Fuzzy Systems. See Full PDF Download PDF. See Full PDF … 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, …
WebComputing behavioural distance for fuzzy transition systems Abstract: The 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. 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 …
WebAbstract: 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.
WebJun 1, 2011 · Recently, a finer behavioral measure, i.e., bisimulation, has been introduced to fuzzy-finite automata. However, the results obtained are applicable only to finite-state … budget norfolk international airportWebSimulations and bisimulations are known to be useful for abstracting and comparing formal systems, and they have recently been introduced into fuzzy systems. In this study, we … budget northern irelandWebBisimulations 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. budget northern light tour icelandWebDec 9, 2010 · In this paper, we consider bisimulation for general fuzzy systems which may be infinite-state or infinite-event, by modeling them … crime elements of burglaryWebSep 6, 2024 · share 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. crime essay introductionWebspecial type of fuzzy modal logic – fuzzy description logics (cf. [19, 20, 23, 32, 38–43, 61]). Note also that the logical characterizations of the Hennessy-Milner type for bisimulations between fuzzy social networks and fuzzy labelled transition systems have been provided in [21, 22, 62, 63]. crimee hotelWebBisimulation 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 … crime essay 300 words