Approximate Bisimulation Relations for Fuzzy Automata

Chao Yang,Yongming Li
DOI: https://doi.org/10.1007/s00500-017-2913-z
IF: 3.732
2017-01-01
Soft Computing
Abstract:In this paper, for an ultra-metric D on the unit interval and a small positive real number \(\epsilon \), we firstly define the concept of approximate bisimulation relations between two fuzzy automata and prove that the behavior of a fuzzy automaton \(A_1\) differs by \(\epsilon \) from the behavior of a fuzzy automaton \(A_2\) under an approximate bisimulation relation between them. Then we put forward the notion of surjective functional approximate bisimulation relations between two fuzzy automata. A connection between surjective functional approximate bisimulation relations between two fuzzy automata \(A_1\) and \(A_2\) and approximate bisimulation relations for \(A_1\) is also discussed. Finally, we give a method to construct the greatest approximate bisimulation relation for a fuzzy automaton and point out that bisimulation relations for a fuzzy automaton are also approximate bisimulation relations.
What problem does this paper attempt to address?