## Stochastic Hybrid Automata with delayed transitions to model biochemical systems with delays

- Giulio Caravagna, Alberto d'Onofrio, Marco Antoniotti, Giancarlo Mauri
- Inf. Comput.
- 2014

Highly Influenced

@article{Bortolussi2016HybridBO, title={Hybrid Behaviour of Markov Population Models}, author={Luca Bortolussi}, journal={Inf. Comput.}, year={2016}, volume={247}, pages={37-86} }

- Published 2016 in Inf. Comput.
DOI:10.1016/j.ic.2015.12.001

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