A Behavioral Distance for Fuzzy-Transition Systems

10/03/2011
by   Yongzhi Cao, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/10/2010

Bisimulations for fuzzy transition systems

There has been a long history of using fuzzy language equivalence to com...
research
09/03/2014

A Fuzzy Directional Distance Measure

The measure of distance between two fuzzy sets is a fundamental tool wit...
research
12/20/2017

Coalgebraic Behavioral Metrics

We study different behavioral metrics, such as those arising from both b...
research
08/16/2018

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...
research
04/24/2022

A Generic Approach to Quantitative Verification

This thesis is concerned with quantitative verification, that is, the ve...
research
05/21/2019

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

Online Signature Verification (OSV) is a widely used biometric attribute...
research
02/04/2023

A Benchmark and Scoring Algorithm for Enriching Arabic Synonyms

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

Please sign up or login with your details

Forgot password? Click here to reset