Approximate Reachability and Bisimulation Equivalences for Transition Systems  

作　　者：王超 吴尽昭 谭红艳 付军 

机构地区：[1]School of Computer and Information Technology, Beijing Jiaotong University [2]Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis,Guangxi University for Nationalities [3]Institute of Acoustics, Chinese Academy of Sciences

出　　处：《Transactions of Tianjin University》2016年第1期19-23,共5页天津大学学报（英文版）

基　　金：Supported by the National Natural Science Foundation of China(No.11371003 and No.11461006);the Natural Science Foundation of Guangxi(No.2011GXNSFA018154 and No.2012GXNSFGA060003)

摘　　要：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.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.

关 键 词：approximate equivalence REACHABILITY BISIMULATION transition system 

分 类 号：N94[自然科学总论—系统科学]