Approximate Reachability and Bisimulation Equivalences for Transition Systems

被引：0
|
作者：
王超 [1 ]
吴尽昭 [2 ]
谭红艳 [3 ]
付军 [1 ]
机构：
[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
来源：
Transactions of Tianjin University | 2016年 / 22卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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.
引用
收藏
页码：19 / 23
页数：5
相关论文
共 50 条
  • [1] Approximate reachability and bisimulation equivalences for transition systems
    Wang C.
    Wu J.
    Tan H.
    Fu J.
    [J]. Transactions of Tianjin University, 2016, 22 (1) : 19 - 23
  • [2] Approximate Reachability and Bisimulation Equivalences for Transition Systems
    王超
    吴尽昭
    谭红艳
    付军
    [J]. Transactions of Tianjin University, 2016, (01) : 19 - 23
  • [3] Controller synthesis for safety and reachability via approximate bisimulation
    Girard, Antoine
    [J]. AUTOMATICA, 2012, 48 (05) : 947 - 953
  • [4] Approximate symbolic reachability of networks of transition systems
    Juvekar, Sudeep
    Thly, Ankur
    Kanade, Varun
    Chakraborty, Supratik
    [J]. NEXT GENERATION DESIGN AND VERIFICATION METHODOLOGIES FOR DISTRIBUTED EMBEDDED CONTROL SYSTEMS, 2007, : 117 - +
  • [5] Approximate trace and singleton failures equivalences for transition systems
    Wang, Chao
    Wu, Jinzhao
    Tan, Hongyan
    [J]. JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS, 2015, 26 (04) : 886 - 896
  • [6] Approximate trace and singleton failures equivalences for transition systems
    Chao Wang
    Jinzhao Wu
    Hongyan Tan
    [J]. Journal of Systems Engineering and Electronics, 2015, 26 (04) : 886 - 896
  • [7] Approximate bisimulation for linear semi-algebraic transition systems
    School of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China
    不详
    [J]. Jilin Daxue Xuebao (Gongxueban), 4 (1052-1058):
  • [8] Compositionality of Approximate Bisimulation for Probabilistic Systems
    Gebler, Daniel
    Tini, Simone
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (120): : 32 - 46
  • [9] Approximate reachability for linear systems
    Tiwari, A
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2003, 2623 : 514 - 525
  • [10] Deciding bisimulation and trace equivalences for systems with many identical processes
    Yen, HC
    Jian, ST
    Lao, TP
    [J]. THEORETICAL COMPUTER SCIENCE, 1996, 170 (1-2) : 445 - 464
12345