Approximate Reachability and Bisimulation Equivalences for Transition Systems

Chao Wang,Jinzhao Wu,Hongyan Tan,Jun Fu

DOI: https://doi.org/10.1007/s12209-016-2565-6

2016-01-01

Abstract:Using Baire metric, this paper proposes a generalized framework of transition system approximation by developing the notions of approximate reachability and approximate bisimulation equivalences. The proposed framework captures the traditional exact equivalence as a special case. Approximate reachability equivalence is coarser than approximate bisimulation equivalence, just like the hierarchy of the exact ones. Both approximate equivalences satisfy the transitive property, consequently, they can be used in transition system approximation.