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 条
  • [31] Modeling flocculation processes: Intercomparison of a size class-based model and a distribution-based model
    Maerz, Joeran
    Verney, Romaric
    Wirtz, Kai
    Feudel, Ulrike
    CONTINENTAL SHELF RESEARCH, 2011, 31 (10) : S84 - S93
  • [32] Non-bisimulation Based Behavioral Relations for Markov Automata
    Sharma, Arpit
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2018, 2018, 11022 : 179 - 196
  • [33] DUALITY IN TRUNCATED STEADY-STATE ERLANG DISTRIBUTION-BASED QUEUING-PROCESSES
    GUPTA, SM
    JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, 1993, 44 (03) : 253 - 257
  • [34] Data Distribution-Based Curriculum Learning
    Chaudhry, Shonal
    Sharma, Anuraganand
    IEEE ACCESS, 2024, 12 : 138429 - 138440
  • [35] Distribution-based descriptors of the molecular shape
    Zyrianov, Y
    JOURNAL OF CHEMICAL INFORMATION AND MODELING, 2005, 45 (03) : 657 - 672
  • [36] Spatial Distribution-Based Imbalanced Undersampling
    Yan, Yuanting
    Zhu, Yuanwei
    Liu, Ruiqing
    Zhang, Yiwen
    Zhang, Yanping
    Zhang, Ling
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2023, 35 (06) : 6376 - 6391
  • [37] Efficient distribution-based event filtering
    Hinze, A
    Bittner, S
    22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOP, PROCEEDINGS, 2002, : 525 - 532
  • [38] Distribution-based semantic similarity of nouns
    Bolshakov, Igor A.
    Gelbukh, Alexander
    PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS AND APPLICATIONS, PROCEEDINGS, 2007, 4756 : 704 - 713
  • [39] Distribution-Based Cluster Structure Selection
    Yu, Zhiwen
    Zhu, Xianjun
    Wong, Hau-San
    You, Jane
    Zhang, Jun
    Han, Guoqiang
    IEEE TRANSACTIONS ON CYBERNETICS, 2017, 47 (11) : 3554 - 3567
  • [40] Revisiting Distribution-Based Registration Methods
    Gupta, Himanshu
    Andreasson, Henrik
    Magnusson, Martin
    Julier, Simon
    Lilienthal, Achim J.
    2023 EUROPEAN CONFERENCE ON MOBILE ROBOTS, ECMR, 2023, : 43 - 48
12345