Hybrid Behaviour of Markov Population Models

  title={Hybrid Behaviour of Markov Population Models},
  author={Luca Bortolussi},
  journal={Inf. Comput.},
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… CONTINUE READING