Bounding the equilibrium distribution of Markov population models.
From MaRDI portal
Abstract: Arguing about the equilibrium distribution of continuous-time Markov chains can be vital for showing properties about the underlying systems. For example in biological systems, bistability of a chemical reaction network can hint at its function as a biological switch. Unfortunately, the state space of these systems is infinite in most cases, preventing the use of traditional steady state solution techniques. In this paper we develop a new approach to tackle this problem by first retrieving geometric bounds enclosing a major part of the steady state probability mass, followed by a more detailed analysis revealing state-wise bounds.
Recommendations
- Abstraction-guided truncations for stationary distributions of Markov population models
- Local Limit Approximations for Markov Population Processes
- Finite state projection for approximating the stationary solution to the chemical master equation using reaction rate equations
- Bounding mean first passage times in population continuous-time Markov chains
- Total variation approximation for quasi-equilibrium distributions. II
Cites work
- A solver for the stochastic master equation applied to gene regulatory networks
- A Supernodal Approach to Sparse Partial Pivoting
- An Implementation of Tarjan's Algorithm for the Block Triangularization of a Matrix
- Asymptotic analysis of multiscale approximations to reaction networks
- Bounds for the Positive Eigenvectors of Nonnegative Matrices and for their Approximations by Decomposition
- Formalisms for Specifying Markovian Population Models
- HOM4PS-2.0: a software package for solving polynomial systems by the polyhedral homotopy continuation method
- scientific article; zbMATH DE number 3437326 (Why is no real title available?)
- Inexact Uniformization Method for Computing Transient Distributions of Markov Chains
- Quasi Lumpability, Lower-Bounding Coupling Matrices, and Nearly Completely Decomposable Markov Chains
- Solving the chemical master equation for monomolecular reaction systems analytically
- Some properties of the rate perators in level dependent uasi-birth-and-death processes with countable number of phases
- Stochastic Complementation, Uncoupling Markov Chains, and the Theory of Nearly Reducible Systems
- Sufficient conditions for regularity, recurrence and ergodicity of Markov processes
Cited in
(15)- A Markov embedding approximation for a stochastic population model with exogenous disturbances
- A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment
- Bounding mean first passage times in population continuous-time Markov chains
- Abstraction of Markov population dynamics via generative adversarial nets
- On-the-fly verification and optimization of DTA-properties for large Markov chains
- Approximate adaptive uniformization of continuous-time Markov chains
- Finite state projection for approximating the stationary solution to the chemical master equation using reaction rate equations
- On Binomial Observations of Continuous-Time Markovian Population Models
- Infinite level-dependent QBD processes and matrix-analytic solutions for stochastic chemical kinetics
- Kronecker-Based Infinite Level-Dependent QBD Processes
- On-the-fly uniformization of time-inhomogeneous infinite Markov population models
- Stationary distributions of continuous-time Markov chains: a review of theory and truncation-based approximations
- Algorithms for Markov binomial chains
- Model checking CSL for Markov population models
- Abstraction-guided truncations for stationary distributions of Markov population models
This page was built for publication: Bounding the equilibrium distribution of Markov population models.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4897510)
