Results 1 
9 of
9
Sliding window abstraction for infinite Markov chains
 In Proc. CAV, volume 5643 of LNCS
, 2009
"... Abstract. We present an onthefly abstraction technique for infinitestate continuoustime Markov chains. We consider Markov chains that are specified by a finite set of transition classes. Such models naturally represent biochemical reactions and therefore play an important role in the stochastic ..."
Abstract

Cited by 10 (5 self)
 Add to MetaCart
Abstract. We present an onthefly abstraction technique for infinitestate continuoustime Markov chains. We consider Markov chains that are specified by a finite set of transition classes. Such models naturally represent biochemical reactions and therefore play an important role in the stochastic modeling of biological systems. We approximate the transient probability distributions at various time instances by solving a sequence of dynamically constructed abstract models, each depending on the previous one. Each abstract model is a finite Markov chain that represents the behavior of the original, infinite chain during a specific time interval. Our approach provides complete information about probability distributions, not just about individual parameters like the mean. The error of each abstraction can be computed, and the precision of the abstraction refined when desired. We implemented the algorithm and demonstrate its usefulness and efficiency on several case studies from systems biology. 1
Formalisms for Specifying Markovian Population Models
"... We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, stochastic Petri nets, stochastic process algebras, stoichiometric equations, and guarded command models — all describe continuoust ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, stochastic Petri nets, stochastic process algebras, stoichiometric equations, and guarded command models — all describe continuoustime Markov chains, but they differ according to important properties, such as compositionality, expressiveness and succinctness, executability, ease of use, and the support they provide for checking the wellformedness of a model and for analyzing a model.
Approximation of event probabilities in noisy cellular processes
 In Proc. of CMSB
, 2009
"... Abstract. Molecular noise, which arises from the randomness of the discrete events in the cell, significantly influences fundamental biological processes. Discretestate continuoustime stochastic models (CTMC) can be used to describe such effects, but the calculation of the probabilities of certain ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
Abstract. Molecular noise, which arises from the randomness of the discrete events in the cell, significantly influences fundamental biological processes. Discretestate continuoustime stochastic models (CTMC) can be used to describe such effects, but the calculation of the probabilities of certain events is computationally expensive. We present a comparison of two analysis approaches for CTMC. On one hand, we estimate the probabilities of interest using repeated Gillespie simulation and determine the statistical accuracy that we obtain. On the other hand, we apply a numerical reachability analysis that approximates the probability distributions of the system at several time instances. We use examples of cellular processes to demonstrate the superiority of the reachability analysis if accurate results are required. 1
HeinzPeter Breuer, Wolfgang Huber and Francesco Petruccione
"... Extensive numerical simulation of a reactiondiffusionsystem reveal an unusual system size dependence of the fluctuation magnitude. If \Omega denotes the system size parameter, e. g. particle number, fluctuations are usually predicted to be of order\Omega 0:5 (stable case) or\Omega 1 (diffu ..."
Abstract
 Add to MetaCart
Extensive numerical simulation of a reactiondiffusionsystem reveal an unusual system size dependence of the fluctuation magnitude. If \Omega denotes the system size parameter, e. g. particle number, fluctuations are usually predicted to be of order\Omega 0:5 (stable case) or\Omega 1 (diffusiontype case). In contrast, a scaling like\Omega 0:84 is observed in a combined birthdeath and randomwalk process, which is described by a multivariate chemical master equation and corresponds to the Fisher equation in the macroscopic limit. PACS: 05.40.+j; 87.10.+e; 82.20.w The system. In this work we consider the following simple nonlinear reaction diffusionsystem: Particles are distributed along one spatial coordinate and move by way of diffusion. They react according to the scheme A * ) 2A. Thus, the presence of Aparticles at some location leads to further production, and at the same time reactions of two Aparticles will destroy one of them. Macroscopic Description. Mea...
Bidirectional classical stochastic processes with measurements and feedback
, 2006
"... A measurement on a quantum system is said to cause the “collapse” of the quantum state vector or density matrix. An analogous collapse occurs with measurements on a classical stochastic process. This paper addresses the question of describing the response of a classical stochastic process when there ..."
Abstract
 Add to MetaCart
A measurement on a quantum system is said to cause the “collapse” of the quantum state vector or density matrix. An analogous collapse occurs with measurements on a classical stochastic process. This paper addresses the question of describing the response of a classical stochastic process when there is feedback from the output of a measurement to the input, and is intended to give a simplified model for quantummechanical processes that occur along a spacelike reaction coordinate. The classical system can be thought of in physical terms as two counterflowing probability streams, which stochastically exchange probability currents in a way that the net probability current, and hence the overall probability, suitably interpreted, is conserved. The proposed formalism extends the mathematics of those stochastic processes describable with linear, singlestep, unidirectional transition probabilities, known as Markov chains and stochastic matrices. It is shown that a certain rearrangement and combination of the input and output of two stochastic matrices of the same order yields another matrix of the same type. Each measurement causes the partial collapse of the probability current distribution in the midst of such a process, giving rise to calculable, but nonMarkov, values for the ensuing modification of the system’s output probability distribution. The paper concludes with an analysis of a simple classical probabilistic version of a socalled grandfather paradox. 1
unknown title
, 2005
"... Analysis of spike statistics in neuronal systems with continuous attractors or multiple, discrete attractor states. ..."
Abstract
 Add to MetaCart
Analysis of spike statistics in neuronal systems with continuous attractors or multiple, discrete attractor states.