Hybrid behaviour of Markov population models

We investigate the behaviour of population models, specified in stochastic Concurrent Constraint Programming (sCCP). In particular, we focus on models from which we can define a semantics both in terms of Continuous Time Markov Chains (CTMC) and in terms of Stochastic Hybrid Systems, in which some p...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Information and computation Ročník 247; s. 37 - 86
Hlavní autor: Bortolussi, Luca
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier Inc 01.04.2016
Témata:
Fluid approximation
Mean field
Stochastic concurrent constraint programming
Stochastic hybrid systems
Stochastic process algebras
Weak convergence
Mean field
Weak convergence
Stochastic process algebras
Stochastic hybrid systems
Fluid approximation
Stochastic concurrent constraint programming
ISSN:0890-5401, 1090-2651
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:We investigate the behaviour of population models, specified in stochastic Concurrent Constraint Programming (sCCP). In particular, we focus on models from which we can define a semantics 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.
ISSN:0890-5401
1090-2651
DOI:10.1016/j.ic.2015.12.001