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 条

[41] A Sensitivity-Based Construction Approach to Variance Minimization of Markov Decision Processes
Huang, Yonghao
Chen, Xi
ASIAN JOURNAL OF CONTROL, 2019, 21 (03) : 1166 - 1178
[42] CONSTRUCTION OF STATIONARY QUANTUM MARKOV-PROCESSES THROUGH QUANTUM STOCHASTIC CALCULUS
FRIGERIO, A
LECTURE NOTES IN MATHEMATICS, 1985, 1136 : 207 - 222
[43] MARKOV PROCESSES
MULLER, PH
ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK, 1966, 46 (01): : 74 - &
[44] CONSTRUCTION OF VALUE S(X) IN OPTIMAL STOPPING OF STANDARD MARKOV-PROCESSES
ENGELBERT, A
MATHEMATISCHE NACHRICHTEN, 1977, 77 : 75 - 86
[45] MARKOV PROCESSES
DAMBROSI.U
AMERICAN SCIENTIST, 1965, 53 (04) : A497 - &
[46] THE MARKOV PROCESS AS A COMPOSITIONAL MODEL - A SURVEY AND TUTORIAL
AMES, C
LEONARDO, 1989, 22 (02) : 175 - 187
[47] A compositional approach to connector construction
Lopes, A
Wermelinger, M
Fiadeiro, JL
RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2001, 2267 : 201 - 220
[48] Compositional construction of SWN models
Rojas, I
COMPUTER JOURNAL, 1995, 38 (07): : 612 - 621
[49] EXCURSIONS OF MARKOV-PROCESSES - AN APPROACH VIA MARKOV ADDITIVE PROCESSES
KASPI, H
ZEITSCHRIFT FUR WAHRSCHEINLICHKEITSTHEORIE UND VERWANDTE GEBIETE, 1983, 64 (02): : 251 - 268
[50] Potential-theoretical methods in the construction of measure-valued Markov branching processes
Beznea, Lucian
JOURNAL OF THE EUROPEAN MATHEMATICAL SOCIETY, 2011, 13 (03) : 685 - 707

← 1 2 3 4 5 →