Distribution-Based Bisimulation for Labelled Markov Processes

被引：3
|
作者：
Yang, Pengfei [1 ,2 ]
Jansen, David N. [1 ]
Zhang, Lijun [1 ,2 ]
机构：
[1] Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing, Peoples R China
[2] Univ Chinese Acad Sci, Beijing, Peoples R China
来源：
FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2017) | 2017年 / 10419卷
基金：
中国国家自然科学基金;
关键词：
PROBABILISTIC BISIMULATIONS; METRICS; APPROXIMATION; EQUIVALENCE;
D O I：
10.1007/978-3-319-65765-3_10
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper we propose a (sub)distribution-based bisimulation for labelled Markov processes and compare it with earlier definitions of state and event bisimulation, which both only compare states. In contrast to those state-based bisimulations, our distribution bisimulation is weaker, but corresponds more closely to linear properties. We construct a logic and a metric to describe our distribution bisimulation and discuss linearity, continuity and compositional properties.
引用
收藏
页码：170 / 186
页数：17
相关论文
共 50 条
  • [41] DISTRIBUTION-BASED EMOTION RECOGNITION IN CONVERSATION
    Wu, Wen
    Zhang, Chao
    Woodland, Philip C.
    2022 IEEE SPOKEN LANGUAGE TECHNOLOGY WORKSHOP, SLT, 2022, : 860 - 867
  • [42] Texture Segmentation Using Laplace Distribution-Based Wavelet-Domain Hidden Markov Tree Models
    Qiao, Yulong
    Zhao, Ganchao
    ENTROPY, 2016, 18 (11)
  • [43] THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES
    Santiago Moroni, Martin
    Sanchez Terraf, Pedro
    REVIEW OF SYMBOLIC LOGIC, 2023, 16 (04): : 1011 - 1032
  • [44] An approximation algorithm for labelled Markov processes:: towards realistic approximation
    Bouchard-Côté, A
    Ferns, N
    Panangaden, P
    Precup, D
    SECOND INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, PROCEEDINGS, 2005, : 54 - 61
  • [45] A distribution-based representation of Knowledge Quality
    Wang, Xiangyu
    Ban, Taiyu
    Chen, Lyuzhou
    Usman, Muhammad
    Wu, Tianhao
    Chen, Qiuju
    Chen, Huanhuan
    KNOWLEDGE-BASED SYSTEMS, 2023, 281
  • [46] Distribution-Based Recording Model for HAMR
    Maletzky, Tobias
    Staffaroni, Matteo
    Dovek, Moris M.
    IEEE TRANSACTIONS ON MAGNETICS, 2018, 54 (02)
  • [47] Distribution-based restoration of DCT coefficients
    Lakhani, G
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS FOR VIDEO TECHNOLOGY, 2000, 10 (05) : 819 - 823
  • [48] Bisimulation for Quantum Processes
    Feng, Yuan
    Duan, Runyao
    Ying, Mingsheng
    ACM SIGPLAN NOTICES, 2011, 46 (01) : 523 - 534
  • [49] Bisimulation and Simulation Relations for Markov Chains
    Baier, Christel
    Hermanns, Holger
    Katoen, Joost-Pieter
    Wolf, Verena
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 162 (01) : 73 - 78
  • [50] Bisimulation for Quantum Processes
    Feng, Yuan
    Duan, Runyao
    Ying, Mingsheng
    POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2011, : 523 - 534
12345