Abstraction-guided truncations for stationary distributions of Markov population models
From MaRDI portal
Publication:832087
DOI10.1007/978-3-030-85172-9_19zbMath1500.92085arXiv2105.01536OpenAlexW3197310799MaRDI QIDQ832087
Michael Backenköhler, Verena Wolf, Luca Bortolussi, Gerrit Großmann
Publication date: 24 March 2022
Full work available at URL: https://arxiv.org/abs/2105.01536
Population dynamics (general) (92D25) Applications of continuous-time Markov processes on discrete state spaces (60J28)
Related Items (3)
Approximate constrained lumping of polynomial differential equations ⋮ Joint distribution of protein concentration and cell volume coupled by feedback in dilution ⋮ Abstraction-based segmental simulation of chemical reaction networks
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Product-form stationary distributions for deficiency zero chemical reaction networks
- Stochastic hybrid models of gene regulatory networks -- a PDE approach
- Markov chains and stochastic stability
- Solving the chemical master equation for monomolecular reaction systems analytically
- Computable bounds for geometric convergence rates of Markov chains
- Generalized method of moments for stochastic reaction networks in equilibrium
- Analysis of Markov jump processes under terminal constraints
- On-the-fly verification and optimization of DTA-properties for large Markov chains
- Stochastic Approaches for Systems Biology
- Johann Faulhaber and Sums of Powers
- Stability of Markovian processes III: Foster–Lyapunov criteria for continuous-time processes
- Markov Processes and Applications
- Sliding Window Abstraction for Infinite Markov Chains
- Iterative aggregation/disaggregation techniques for nearly uncoupled markov chains
- Bi-CGSTAB: A Fast and Smoothly Converging Variant of Bi-CG for the Solution of Nonsymmetric Linear Systems
- 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
This page was built for publication: Abstraction-guided truncations for stationary distributions of Markov population models
