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 条
  • [1] Bisimulation for labelled Markov processes
    Desharnais, J
    Edalat, A
    Panangaden, P
    INFORMATION AND COMPUTATION, 2002, 179 (02) : 163 - 193
  • [2] Bisimulation for labelled Markov processes
    Blute, R
    Desharnais, J
    Edalat, A
    Panangaden, P
    12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 149 - 158
  • [3] Distribution-based objectives for Markov Decision Processes
    Akshay, S.
    Genest, Blaise
    Vyas, Nikhil
    LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 36 - 45
  • [4] BISIMULATION METRICS FOR CONTINUOUS MARKOV DECISION PROCESSES
    Ferns, Norm
    Panangaden, Prakash
    Precup, Doina
    SIAM JOURNAL ON COMPUTING, 2011, 40 (06) : 1662 - 1714
  • [5] A logical characterization of bisimulation for labeled Markov processes
    Desharnais, J
    Edalat, A
    Panangaden, P
    THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 478 - 487
  • [6] SEMIPULLBACKS OF LABELLED MARKOV PROCESSES
    Pachl, Jan
    Sanchez Terraf, Pedro
    LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 17 (02) : 3:1 - 3:12
  • [7] Approximating labelled Markov processes
    Desharnais, J
    Gupta, V
    Jagadeesan, R
    Panangaden, P
    INFORMATION AND COMPUTATION, 2003, 184 (01) : 160 - 200
  • [8] Duality for labelled Markov processes
    Mislove, M
    Ouaknine, J
    Pavlovic, D
    Worrell, J
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2004, 2987 : 393 - 407
  • [9] Metrics for labelled Markov processes
    Desharnais, J
    Gupta, V
    Jagadeesan, R
    Panangaden, P
    THEORETICAL COMPUTER SCIENCE, 2004, 318 (03) : 323 - 354
  • [10] Testing labelled Markov processes
    van Breugel, F
    Shalit, S
    Worrell, J
    AUTOMATA, LANGUAGES AND PROGRAMMING, 2002, 2380 : 537 - 548
12345