DeepAI AI Chat
Log In Sign Up

A Behavioral Distance for Fuzzy-Transition Systems

by   Yongzhi Cao, et al.

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.


page 1

page 2

page 3

page 4


Bisimulations for fuzzy transition systems

There has been a long history of using fuzzy language equivalence to com...

A Fuzzy Directional Distance Measure

The measure of distance between two fuzzy sets is a fundamental tool wit...

Coalgebraic Behavioral Metrics

We study different behavioral metrics, such as those arising from both b...

Sequential Behavioral Data Processing Using Deep Learning and the Markov Transition Field in Online Fraud Detection

Due to the popularity of the Internet and smart mobile devices, more and...

A Generic Approach to Quantitative Verification

This thesis is concerned with quantitative verification, that is, the ve...

Online Signature Verification Based on Writer Specific Feature Selection and Fuzzy Similarity Measure

Online Signature Verification (OSV) is a widely used biometric attribute...

A Benchmark and Scoring Algorithm for Enriching Arabic Synonyms

This paper addresses the task of extending a given synset with additiona...