Bisimulations for fuzzy-transition systems
http://arxiv-export3.library.cornell.edu/pdf/2010.15671v3 WebAug 1, 2024 · There are two kinds of bisimulations and simulations, namely, crispand fuzzy, for fuzzy graph-based structures such as FLTSs, fuzzy automata, fuzzy/weighted social networks, fuzzy Kripke models and fuzzy interpretations in description logic. They have been studied by a considerable number of researchers.
Bisimulations for fuzzy-transition systems
Did you know?
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 … WebDec 7, 2024 · Fuzzy Bisimulations for Nondeterministic Fuzzy Transition Systems Abstract: Bisimulations are established forms of behavioral equivalences for discrete …
Webbisimulation for general fuzzy systems which may be infinite-state or infinite-event. To this end, we model fuzzy systems as fuzzy transition systems (FTSs) and define … 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 ...
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 … 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 …
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.
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 … birmingham new street station restaurantsWebJun 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 … birmingham new street station taxi rankWebBisimulation 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 … birmingham new street station to eustonWebDec 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 … birmingham new street station shopsWebThere 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. danger of co2 waxWebAug 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, … birmingham new street station worksWebAug 1, 2024 · Bisimulation is a well-known behavioral equivalence for discrete event systems, and has recently ... danger of domestic abuse stats