Geodesic
The compositional construction of Markov processes II
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 45 (2011) no. 1, pp. 117-142

Voir la notice de l'article provenant de la source Numdam

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].

DOI : 10.1051/ita/2011015
Classification : 18B20, 60J10, 18D10, 05C22
Keywords: categorical algebra, Markov process, weighted automaton, hierarchical, distributed 
@article{ITA_2011__45_1_117_0,
     author = {de Francesco Albasini, L. and Sabadini, N. and Walters, R. F. C.},
     title = {The compositional construction of {Markov} processes {II}},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {117--142},
     publisher = {EDP-Sciences},
     volume = {45},
     number = {1},
     year = {2011},
     doi = {10.1051/ita/2011015},
     mrnumber = {2776857},
     zbl = {1216.18005},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.1051/ita/2011015/}
}
TY  - JOUR
AU  - de Francesco Albasini, L.
AU  - Sabadini, N.
AU  - Walters, R. F. C.
TI  - The compositional construction of Markov processes II
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2011
SP  - 117
EP  - 142
VL  - 45
IS  - 1
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/articles/10.1051/ita/2011015/
DO  - 10.1051/ita/2011015
LA  - en
ID  - ITA_2011__45_1_117_0
ER  - 
%0 Journal Article
%A de Francesco Albasini, L.
%A Sabadini, N.
%A Walters, R. F. C.
%T The compositional construction of Markov processes II
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2011
%P 117-142
%V 45
%N 1
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/articles/10.1051/ita/2011015/
%R 10.1051/ita/2011015
%G en
%F ITA_2011__45_1_117_0
de Francesco Albasini, L.; Sabadini, N.; Walters, R. F. C. The compositional construction of Markov processes II. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 45 (2011) no. 1, pp. 117-142. doi: 10.1051/ita/2011015

Cité par Sources :