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
来源
关键词
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 条