Sciweavers

270 search results - page 6 / 54
» Estimation of non-stationary Markov Chain transition models
Sort
View
TSP
2008
106views more  TSP 2008»
13 years 7 months ago
An EM Algorithm for Ion-Channel Current Estimation
Parameter estimation of a continuous-time Markov chain observed through a discrete-time memoryless channel is studied. An expectation-maximization (EM) algorithm for maximum likeli...
William J. J. Roberts, Yariv Ephraim
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
13 years 5 months ago
The How and Why of Interactive Markov Chains
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
Holger Hermanns, Joost-Pieter Katoen
CAV
2009
Springer
135views Hardware» more  CAV 2009»
14 years 8 months ago
Sliding Window Abstraction for Infinite Markov Chains
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
Thomas A. Henzinger, Maria Mateescu, Verena Wolf
WSC
1997
13 years 8 months ago
A New Variance-Reduction Technique for Regenerative Simulations of Markov Chains
We propose a new estimator for some performance measures obtained from a regenerative simulation of a discrete-time Markov chain. Our new estimator is based on the idea of generat...
James M. Calvin, Marvin K. Nakayama
IOR
2006
163views more  IOR 2006»
13 years 7 months ago
Adaptive Importance Sampling Technique for Markov Chains Using Stochastic Approximation
For a discrete-time finite-state Markov chain, we develop an adaptive importance sampling scheme to estimate the expected total cost before hitting a set of terminal states. This s...
T. P. I. Ahamed, Vivek S. Borkar, S. Juneja