Computer Science – Artificial Intelligence
Scientific paper
2011-10-03
Computer Science
Artificial Intelligence
12 double column pages
Scientific paper
In contrast to the existing approaches to bisimulation for fuzzy systems, we introduce a behavioral distance to measure the behavioral similarity of states in a nondeterministic fuzzy-transition system. This behavioral distance is defined as the greatest fixed point of a suitable monotonic function and provides a quantitative analogue of bisimilarity. The behavioral distance has the important property that two states are at zero distance if and only if they are bisimilar. Moreover, for any given threshold, we find that states with behavioral distances bounded by the threshold are equivalent. In addition, we show that two system combinators---parallel composition and product---are non-expansive with respect to our behavioral distance, which makes compositional verification possible.
Cao Yongzhi
Chen Guoqing
Sun Sherry X.
Wang Huaiqing
No associations
LandOfFree
A Behavioral Distance for Fuzzy-Transition Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A Behavioral Distance for Fuzzy-Transition Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Behavioral Distance for Fuzzy-Transition Systems will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-270261