Mathematics – Category Theory
Scientific paper
2010-05-06
Mathematics
Category Theory
Scientific paper
In an earlier paper we introduced a notion of Markov automaton, together with parallel operations which permit the compositional description of Markov processes. We illustrated by showing how to describe a system of n dining philosophers, and we observed that Perron-Frobenius theory yields a proof that the probability of reaching deadlock tends to one as the number of steps goes to infinity. In this paper we add sequential operations to the algebra (and the necessary structure to support them). The extra operations permit the description of hierarchical systems, and ones with evolving geometry.
Francesco Albasini L. de
Sabadini N.
Walters R. F. C.
No associations
LandOfFree
The compositional construction of Markov processes II does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with The compositional construction of Markov processes II, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The compositional construction of Markov processes II will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-26067