Hybrid behaviour of Markov population models

DOI10.1016/J.IC.2015.12.001MaRDI QIDQ259041zbMATH OpenOpenAlexFDO

Authors Luca Bortolussi

Publication date 10 March 2016

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

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

zbMATH Keywords

fluid approximationmean fieldstochastic concurrent constraint programmingstochastic hybrid systemsstochastic process algebrasweak convergence

Mathematics Subject Classification ID

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

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.

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

Cites work

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

Cited in

(7)

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

Describes a project that uses

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)