335 search results - page 1 / 67 » The Compositional Construction of Markov Processes |
107
Voted
ACS
2011
14 years 4 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
15 years 3 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...
90
Voted
ICWS
2004
IEEE
14 years 11 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 ...
98
Voted
CDC
2010
IEEE
14 years 4 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
14 years 11 months ago
2008
