THE COMPOSITIONAL CONSTRUCTION OF MARKOV PROCESSES II

被引：1
|
作者：
Albasini, L. de Francesco [1 ]
Sabadini, N. [2 ]
Walters, R. F. C. [2 ]
机构：
[1] Univ Insubria, Dipartimento Matemat & Fis, Via Valleggio 11, I-22100 Como, Italy
[2] Univ Insubria, Dipartimento Informat & Comunicaz, I-22100 Como, Italy
来源：
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS | 2011年 / 45卷 / 01期
关键词：
Categorical algebra; Markov process; weighted automaton; hierarchical; distributed;
D O I：
10.1051/ita/2011015
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We add sequential operations to the categorical algebra of weighted and Markov automata introduced in [L. de Francesco Albasini, N. Sabadini and R. F. C. Walters, arXiv: 0909.4136]. The extra expressiveness of the algebra permits the description of hierarchical systems, and ones with evolving geometry. We make a comparison with the probabilistic automata of Lynch et al. [SIAM J. Comput. 37 (2007) 977-1013].
引用
收藏
页码：117 / 142
页数：26
相关论文
共 50 条
  • [1] The Compositional Construction of Markov Processes
    Albasini, Luisa de Francesco
    Sabadini, Nicoletta
    Walters, Robert F. C.
    APPLIED CATEGORICAL STRUCTURES, 2011, 19 (01) : 425 - 437
  • [2] The Compositional Construction of Markov Processes
    Luisa de Francesco Albasini
    Nicoletta Sabadini
    Robert F. C. Walters
    Applied Categorical Structures, 2011, 19 : 425 - 437
  • [3] From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes
    Lavaei, Abolfazl
    Soudjani, Sadegh
    Zamani, Majid
    HSCC 2018: PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS WEEK), 2018, : 21 - 30
  • [4] A compositional framework for Markov processes
    Baez, John C.
    Fong, Brendan
    Pollard, Blake S.
    JOURNAL OF MATHEMATICAL PHYSICS, 2016, 57 (03)
  • [5] CONSTRUCTION OF MARKOV PROCESSES FROM HITTING DISTRIBUTIONS II
    SHIH, CT
    ANNALS OF MATHEMATICAL STATISTICS, 1971, 42 (01): : 97 - &
  • [6] Compositional reasoning for weighted Markov decision processes
    Deng, Yuxin
    Hennessy, Matthew
    SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (12) : 2537 - 2579
  • [7] CONSTRUCTION OF MARKOV CONTROLLABLE PROCESSES
    ENGELBERT, GY
    MATHEMATISCHE NACHRICHTEN, 1976, 74 : 37 - 62
  • [8] ON CONSTRUCTION OF MARKOV-PROCESSES
    BLUMENTHAL, RM
    ZEITSCHRIFT FUR WAHRSCHEINLICHKEITSTHEORIE UND VERWANDTE GEBIETE, 1983, 63 (04): : 433 - 444
  • [9] A CONSTRUCTION OF BRANCHING MARKOV PROCESSES
    IKEDA, N
    NAGASAWA, M
    WATANABE, S
    PROCEEDINGS OF THE JAPAN ACADEMY, 1966, 42 (04): : 380 - &
  • [10] Compositional Bisimulation Minimization for Interval Markov Decision Processes
    Hashemi, Vahid
    Hermanns, Holger
    Song, Lei
    Subramani, K.
    Turrini, Andrea
    Wojciechowski, Piotr
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, LATA 2016, 2016, 9618 : 114 - 126
12345