Sciweavers

335 search results - page 1 / 67
» The Compositional Construction of Markov Processes
Sort
View
ACS
2011
13 years 5 months ago
The Compositional Construction of Markov Processes
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...
Luisa de Francesco Albasini, Nicoletta Sabadini, R...
HYBRID
2005
Springer
14 years 4 months ago
Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs)
Abstract. CPDPs (Communicating Piecewise Deterministic Markov Processes) can be used for compositional specification of systems from the class of stochastic hybrid processes forme...
Stefan Strubbe, A. J. van der Schaft
ICWS
2004
IEEE
14 years 4 days ago
Dynamic Workflow Composition using Markov Decision Processes
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 ...
Prashant Doshi, Richard Goodwin, Rama Akkiraju, Ku...
CDC
2010
IEEE
145views Control Systems» more  CDC 2010»
13 years 5 months ago
Construction of Lyapunov functions for piecewise-deterministic Markov processes
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...
Alexandre R. Mesquita, João Pedro Hespanha