weak convergencefluid approximationmean fieldstochastic concurrent constraint programmingstochastic hybrid systemsstochastic process algebras
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)
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
- 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) 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
- HYPE: hybrid modelling by composition of flows
- Hybrid dynamics of stochastic \(\pi \)-calculus
- Hybrid dynamics of stochastic programs
- Hybrid semantics for Bio-PEPA
- Hybrid stochastic-deterministic solution of the chemical master equation
- 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)- Hybrid dynamics of stochastic programs
- Fluid approximation of broadcasting systems
- Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates
- Policy Synthesis for Collective Dynamics
- Mean-field limits beyond ordinary differential equations
- A semi-Markov model for a multigrade population with Poisson recruitment
- Modeling demographic processes in marked populations
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)
