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!

Schreiben Sie den ersten Kommentar!