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 条
  • [21] A demonstration of distribution-based calibration
    Markou, Ioulia
    Papathanasopoulou, Vasileia
    Antoniou, Constantinos
    2015 INTERNATIONAL CONFERENCE ON MODELS AND TECHNOLOGIES FOR INTELLIGENT TRANSPORTATION SYSTEMS (MT-ITS), 2015, : 109 - 115
  • [22] SMT-Based Bisimulation Minimisation of Markov Models
    Dehnert, Christian
    Katoen, Joost-Pieter
    Parker, David
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2013), 2013, 7737 : 28 - 47
  • [23] Duality in truncated steady-state Erlang distribution-based queueing processes
    Gupta, Surendra M., 1600, (44):
  • [24] Distribution-Based Trajectory Clustering
    Wang, Zi Jing
    Zhu, Ye
    Ting, Kai Ming
    23RD IEEE INTERNATIONAL CONFERENCE ON DATA MINING, ICDM 2023, 2023, : 1379 - 1384
  • [25] Distribution-Based Query Scheduling
    Chi, Yun
    Hacigumus, Hakan
    Hsiung, Wang -Pin
    Naughton, Jeffrey F.
    PROCEEDINGS OF THE VLDB ENDOWMENT, 2013, 6 (09): : 673 - 684
  • [26] Distribution-based image similarity
    Puzicha, J
    STATE-OF-THE-ART IN CONTENT-BASED IMAGE AND VIDEO RETRIEVAL, 2001, 22 : 143 - 164
  • [27] Distribution-based Microdata Anonymization
    Koudas, Nick
    Srivastava, Divesh
    Yu, Ting
    Zhang, Qing
    PROCEEDINGS OF THE VLDB ENDOWMENT, 2009, 2 (01):
  • [28] Bisimulations for non-deterministic labelled Markov processes
    D'Argenio, Pedro R.
    Sanchez Terraf, Pedro
    Wolovick, Nicolas
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2012, 22 (01) : 43 - 68
  • [29] Domain theory, testing and simulation for labelled Markov processes
    van Breugel, F
    Mislove, M
    Ouaknine, J
    Worrell, J
    THEORETICAL COMPUTER SCIENCE, 2005, 333 (1-2) : 171 - 197
  • [30] Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes
    Desharnais, J
    Panangaden, P
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2003, 56 (1-2): : 99 - 115
12345