Sciweavers

380 search results - page 5 / 76
» Process Algebra and Markov Chains
Sort
View
TGC
2010
Springer
13 years 5 months ago
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes
Rate transition systems (RTS) are a special kind of transition systems introduced for defining the stochastic behavior of processes and for associating continuous-time Markov chain...
Marco Bernardo, Rocco De Nicola, Michele Loreti
SIMVIS
2004
13 years 8 months ago
A Multi-Level Method for the Steady State Solution of Markov Chains
This paper illustrates the current state of development of an algorithm for the steady state solution of continuous-time Markov chains. The so-called multi-level algorithm utilize...
Claudia Isensee, Graham Horton
MCSS
2008
Springer
13 years 7 months ago
Maximal solution to algebraic Riccati equations linked to infinite Markov jump linear systems
In this paper we deal with a perturbed algebraic Riccati equation in an infinite dimensional Banach space. Besides the interest in its own right, this class of equations appears, ...
Jack Baczynski, Marcelo D. Fragoso
SIAMSC
2010
114views more  SIAMSC 2010»
13 years 5 months ago
Smoothed Aggregation Multigrid for Markov Chains
Abstract. A smoothed aggregation multigrid method is presented for the numerical calculation of the stationary probability vector of an irreducible sparse Markov chain. It is shown...
Hans De Sterck, Thomas A. Manteuffel, Stephen F. M...
STACS
2005
Springer
14 years 28 days ago
Recursive Markov Chains, Stochastic Grammars, and Monotone Systems of Nonlinear Equations
We introduce and study Recursive Markov Chains (RMCs), which extend ordinary finite state Markov chains with the ability to invoke other Markov chains in a potentially recursive m...
Kousha Etessami, Mihalis Yannakakis