335 search results - page 1 / 67 » The Compositional Construction of Markov Processes |
ACS
2011
12 years 11 months ago
2011
We describe an algebra for composing automata in which the actions have probabilities. We illustrate by showing how to calculate the probability of reaching deadlock in k steps in...
HYBRID
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. CPDPs (Communicating Piecewise Deterministic Markov Processes) can be used for compositional specification of systems from the class of stochastic hybrid processes forme...
ICWS
2004
IEEE
13 years 6 months ago
2004
IEEE
The advent of Web services has made automated workflow composition relevant to Web based applications. One technique that has received some attention, for automatically composing ...
CDC
2010
IEEE
12 years 11 months ago
2010
IEEE
The purpose of this contribution is twofold: 1) to present for the first time a Lyapunov function that proves exponential ergodicity of a process studied by the authors in [1], whe...
UAI
2008
13 years 6 months ago
2008
