Hybrid behaviour of Markov population models

DOI10.1016/J.IC.2015.12.001zbMATH Open1336.68177arXiv1211.1643OpenAlexW2962858481MaRDI QIDQ259041FDOQ259041

Authors: Luca Bortolussi 

Publication date: 10 March 2016

Published in: Information and Computation (Search for Journal in Brave)

Abstract: We investigate the behaviour of population models written in Stochastic Concurrent Constraint Programming (sCCP), a stochastic extension of Concurrent Constraint Programming. In particular, we focus on models from which we can define a semantics of sCCP both in terms of Continuous Time Markov Chains (CTMC) and in terms of Stochastic Hybrid Systems, in which some populations are approximated continuously, while others are kept discrete. We will prove the correctness of the hybrid semantics from the point of view of the limiting behaviour of a sequence of models for increasing population size. More specifically, we prove that, under suitable regularity conditions, the sequence of CTMC constructed from sCCP programs for increasing population size converges to the hybrid system constructed by means of the hybrid semantics. We investigate in particular what happens for sCCP models in which some transitions are guarded by boolean predicates or in the presence of instantaneous transitions.

Full work available at URL: https://arxiv.org/abs/1211.1643

Recommendations

• Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates
• Hybrid matrix models and their population dynamic consequences
• Formalisms for Specifying Markovian Population Models
• Formalisms for specifying Markovian population models
• On hybrid stochastic population models with impulsive perturbations
• Modeling demographic processes in marked populations
• Markov population replacement processes
• Population models at stochastic times
• Population dynamics driven by truncated stable processes with Markovian switching

zbMATH Keywords

weak convergencefluid approximationmean fieldstochastic concurrent constraint programmingstochastic hybrid systemsstochastic process algebras

Mathematics Subject Classification ID

Applications of continuous-time Markov processes on discrete state spaces (60J28) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Population dynamics (general) (92D25) Continuous-time Markov processes on general state spaces (60J25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Bio-PEPA: A framework for the modelling and analysis of biological systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Convergence of stochastic processes
• Title not available (Why is that?)
• Markov Chains
• Title not available (Why is that?)
• Title not available (Why is that?)
• Stochastic epidemic models and their statistical analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Stochastic modelling for systems biology.
• Discontinuous dynamical systems
• Title not available (Why is that?)
• Convergence of stochastic gene networks to hybrid piecewise deterministic processes
• Truly concurrent constraint programming
• Model checking single agent behaviours by fluid approximation
• Hybrid semantics for Bio-PEPA
• (Hybrid) automata and (stochastic) programs. The hybrid automata lattice of a stochastic program
• Fluid model checking
• Stochastic process algebras
• A lambda calculus for real analysis
• Title not available (Why is that?)
• Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps
• Sliding motion in Filippov differential systems: theoretical results and a computational approach
• Stability and Ergodicity of Piecewise Deterministic Markov Processes
• Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back
• Title not available (Why is that?)
• Weak convergence of a sequence of Markov chains
• HYPE: hybrid modelling by composition of flows
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hybrid stochastic-deterministic solution of the chemical master equation
• Deterministic Approximation of Stochastic Evolution in Games
• Solutions of ordinary differential equations as limits of pure jump markov processes
• Hybrid dynamics of stochastic \(\pi \)-calculus
• Fluid computation of passage-time distributions in large Markov models
• Modeling biological systems in stochastic concurrent constraint programming
• Hybrid dynamics of stochastic programs
• A fluid analysis framework for a Markovian process algebra
• Differential equation approximations for Markov chains
• Asymptotic analysis of multiscale approximations to reaction networks

Cited In (7)

• Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates
• Modeling demographic processes in marked populations
• Hybrid dynamics of stochastic programs
• Mean-field limits beyond ordinary differential equations
• Policy Synthesis for Collective Dynamics
• A semi-Markov model for a multigrade population with Poisson recruitment
• Fluid approximation of broadcasting systems

Uses Software

• Bio-PEPA

This page was built for publication: Hybrid behaviour of Markov population models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q259041)