The compositional construction of Markov processes II

The compositional construction of Markov processes II

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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Informatique théorique et applications (Imprimé) 2011-01, Vol.45 (1), p.117-142
Hauptverfasser: de Francesco Albasini, L., Sabadini, N., Walters, R. F.C.
Format: Artikel
Sprache:eng
Schlagworte:
05C22
18B20
18D10
60J10
Applied sciences
Categorical algebra
Computer science
control theory
systems
distributed
Exact sciences and technology
hierarchical
Language theory and syntactical analysis
Markov process
Miscellaneous
Theoretical computing
weighted automaton
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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].
ISSN:0988-3754
0399-0559
1290-385X
1290-3868
DOI:10.1051/ita/2011015