Bisimulations for fuzzy-transition systems

Author: xagp

August undefined, 2024

Webbisimulation for general fuzzy systems which may be inﬁnite-state or inﬁnite-event. To this end, we model fuzzy systems as fuzzy transition systems (FTSs) and deﬁne … 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 …

Bisimulations for fuzzy transition systems revisited

WebFeb 22, 2011 · Bisimulations for Fuzzy-Transition Systems. Abstract: There has been a long history of using fuzzy-language equivalence to compare the behavior of fuzzy … WebMay 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 canada heat wave 2021

Bisimulations for fuzzy transition systems revisited - ScienceDire…

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. 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 … 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. canada healthy food delivery

[1012.2148] Bisimulations for fuzzy transition systems

WebAug 1, 2024 · Bisimulation is a well-known behavioral equivalence for discrete event systems, and has recently been adopted and developed in fuzzy systems. In this paper, … WebSep 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. fisher 65676 drainWebSimulations 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 … fisher 657 actuator parts

"WebAug 1, 2024 · Bisimulation is a well-known behavioral equivalence for discrete event systems, and has recently ... " - Bisimulations for fuzzy-transition systems

Bisimulations for fuzzy-transition systems

WebDec 7, 2024 · Fuzzy Bisimulations for Nondeterministic Fuzzy Transition Systems Abstract: Bisimulations are established forms of behavioral equivalences for discrete … 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 …

Did you know?

WebDec 9, 2010 · In this paper, we consider bisimulation for general fuzzy systems which may be infinite-state or infinite-event, by modeling them … WebJun 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

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 … WebBisimulation 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 …

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

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.

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 … fisher 656 actuator bulletinWebBisimulations for fuzzy-transition systems. Y Cao, G Chen, EE Kerre. IEEE Transactions on Fuzzy Systems 19 (3), 540-552, 2011. 81: ... IEEE Transactions on Fuzzy Systems 15 (6), 1238-1250, 2007. 44: 2007: Model checking fuzzy computation tree logic. H Pan, Y Li, Y Cao, Z Ma. Fuzzy Sets and Systems 262, 60-77, 2015. 34: fisher 657 control valve fisher 657 size 40 manualWebAug 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 … fisher 667 actuator partsWebSep 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 … canada helps bbbs fredericton bowlWebOct 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 … canada helps backpacking for ontario natureWebIn 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 … canada helps online login