Hybrid behaviour of Markov population models

DOI10.1016/j.ic.2015.12.001zbMath1336.68177arXiv1211.1643OpenAlexW2962858481MaRDI QIDQ259041

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

weak convergencefluid approximationmean fieldstochastic concurrent constraint programmingstochastic hybrid systemsstochastic process algebras

Mathematics Subject Classification ID

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

Related Items

Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates, Policy Synthesis for Collective Dynamics, Fluid approximation of broadcasting systems, Mean-Field Limits Beyond Ordinary Differential Equations

Uses Software

• Bio-PEPA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• HYPE: hybrid modelling by composition of flows
• Hybrid dynamics of stochastic \(\pi \)-calculus
• Convergence of stochastic gene networks to hybrid piecewise deterministic processes
• 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
• Stochastic epidemic models and their statistical analysis
• Truly concurrent constraint programming
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• 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
• 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
• Weak convergence of a sequence of Markov chains
• Markov Chains
• Hybrid Stochastic--Deterministic Solution of the Chemical Master Equation
• Discontinuous dynamical systems
• Deterministic Approximation of Stochastic Evolution in Games
• Solutions of ordinary differential equations as limits of pure jump markov processes
• Convergence of stochastic processes