Abstraction-guided truncations for stationary distributions of Markov population models
From MaRDI portal
Publication:832087
DOI10.1007/978-3-030-85172-9_19zbMATH Open1500.92085arXiv2105.01536OpenAlexW3197310799MaRDI QIDQ832087FDOQ832087
Authors: Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf 
Publication date: 24 March 2022
Abstract: To understand the long-run behavior of Markov population models, the computation of the stationary distribution is often a crucial part. We propose a truncation-based approximation that employs a state-space lumping scheme, aggregating states in a grid structure. The resulting approximate stationary distribution is used to iteratively refine relevant and truncate irrelevant parts of the state-space. This way, the algorithm learns a well-justified finite-state projection tailored to the stationary behavior. We demonstrate the method's applicability to a wide range of non-linear problems with complex stationary behaviors.
Full work available at URL: https://arxiv.org/abs/2105.01536
Recommendations
- Analysis of Markov jump processes under terminal constraints
- Bounding the equilibrium distribution of Markov population models.
- Parallel implementation of an aggregation/disaggregation method for evaluating quasi-stationary behavior in continuous-time Markov chains
- A Markov embedding approximation for a stochastic population model with exogenous disturbances
- Bounding mean first passage times in population continuous-time Markov chains
- Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks
- Efficient methods for studying stochastic disease and population dynamics
Applications of continuous-time Markov processes on discrete state spaces (60J28) Population dynamics (general) (92D25)
Cites Work
- Markov chains and stochastic stability
- Stochastic modelling for systems biology.
- Stability of Markovian processes III: Foster–Lyapunov criteria for continuous-time processes
- Sliding Window Abstraction for Infinite Markov Chains
- Bi-CGSTAB: A Fast and Smoothly Converging Variant of Bi-CG for the Solution of Nonsymmetric Linear Systems
- Title not available (Why is that?)
- Computable bounds for geometric convergence rates of Markov chains
- Johann Faulhaber and Sums of Powers
- Iterative aggregation/disaggregation techniques for nearly uncoupled markov chains
- Solving the chemical master equation for monomolecular reaction systems analytically
- Generalized method of moments for stochastic reaction networks in equilibrium
- Title not available (Why is that?)
- Product-form stationary distributions for deficiency zero chemical reaction networks
- Stochastic approaches for systems biology.
- Stochastic hybrid models of gene regulatory networks -- a PDE approach
- Title not available (Why is that?)
- Analysis of Markov jump processes under terminal constraints
- On-the-fly verification and optimization of DTA-properties for large Markov chains
- Markov Processes and Applications
- Title not available (Why is that?)
- Bounding the equilibrium distribution of Markov population models.
- Stationary distributions of continuous-time Markov chains: a review of theory and truncation-based approximations
- Approximations of Countably Infinite Linear Programs over Bounded Measure Spaces
- Semi-quantitative abstraction and analysis of chemical reaction networks
Cited In (9)
- Abstraction-based segmental simulation of chemical reaction networks
- Abstraction of Markov population dynamics via generative adversarial nets
- Bounding the equilibrium distribution of Markov population models.
- Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models
- Stationary distributions of continuous-time Markov chains: a review of theory and truncation-based approximations
- On-the-fly uniformization of time-inhomogeneous infinite Markov population models
- Approximate constrained lumping of polynomial differential equations
- Joint distribution of protein concentration and cell volume coupled by feedback in dilution
- Correct approximation of stationary distributions
Uses Software
This page was built for publication: Abstraction-guided truncations for stationary distributions of Markov population models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q832087)
