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 条

[21] The construction of Markov processes in random environments and the equivalence theorems
Hu, DH
SCIENCE IN CHINA SERIES A-MATHEMATICS, 2004, 47 (04): : 481 - 496
[22] The construction of Markov processes in random environments and the equivalence theorems
HU DiheSchool of Mathematics and Statistics Wuhan University Wuhan China
ScienceinChina,SerA., 2004, Ser.A.2004 (04) : 481 - 496
[23] The construction of markov processes in random environments and the equivalence theorems
Dihe Hu
Science in China Series A: Mathematics, 2004, 47 : 481 - 496
[24] CONSTRUCTION OF CLASSES OF INVARIANT MARKOV-PROCESSES BY TIME CHANGES
GRAVEREAUX, JB
JACOD, J
ZEITSCHRIFT FUR WAHRSCHEINLICHKEITSTHEORIE UND VERWANDTE GEBIETE, 1980, 52 (01): : 75 - 107
[25] DUAL MARKOV-PROCESSES - CONSTRUCTION OF A USEFUL AUXILIARY PROCESS
MITRO, JB
ZEITSCHRIFT FUR WAHRSCHEINLICHKEITSTHEORIE UND VERWANDTE GEBIETE, 1979, 47 (02): : 139 - 156
[26] Construction of Lyapunov Functions for Piecewise-Deterministic Markov Processes
Mesquita, Alexandre R.
Hespanha, Joao P.
49TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2010, : 2408 - 2413
[27] Some applications of semi-Markov processes II
Limnios, Nikolaos
Oprisan, Gheorghe
UPB Scientific Bulletin, Series A: Applied Mathematics and Physics, 2001, 63 (02): : 3 - 10
[28] Compositional planning in Markov decision processes: Temporal abstraction meets generalized logic composition
Liu, Xuan
Fu, Jie
2019 AMERICAN CONTROL CONFERENCE (ACC), 2019, : 559 - 566
[29] Open Markov Processes: A Compositional Perspective on Non-Equilibrium Steady States in Biology
Pollard, Blake S.
ENTROPY, 2016, 18 (04):
[30] CONSTRUCTION OF CLASSES OF MARKOV-PROCESSES INVARIANT UNDER A TIME CHANGE
GRAVEREAUX, JB
JACOD, J
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1979, 289 (03): : 225 - 228

← 1 2 3 4 5 →