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

共 32 条

[1] Albasini L.d.F., ARXIV09012434
[2] ALBASINI LD, 2008, ARXIV09043961 AN RED, P111
[3] [Anonymous], 1974, PURE APPL MATH, DOI DOI 10.1016/S0079-8169(08)60880-6
[4] Baier C, 2009, MONOGR THEOR COMPUT, P519, DOI 10.1007/978-3-642-01492-5_13
[5] 7 TREES IN ONE
BLASS, A
[J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 1995, 103 (01) : 1 - 21
[6] Bloom S.L., 1993, EATCS MONOGRAPHS THE, DOI DOI 10.1007/978-3-642-78034-9
[7] BLUTE R, 1997, P 12 ANN IEEE S LOG, P95
[8] CARTESIAN BICATEGORIES .1.
CARBONI, A
WALTERS, RFC
[J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 1987, 49 (1-2) : 11 - 32
[9] COECKE B, 2010, ARXIV10041598
[10] Coecke B., 2007, Mathematics of Quantum Computing and Technology, P567, DOI [10.1201/9781584889007, DOI 10.1201/9781584889007]

← 1 2 3 4 →