Hybrid Dynamics of Stochastic Programs
Posted by luca | On Friday, 9 August 2013
Title | Hybrid Dynamics of Stochastic Programs |
Publication Type | Journal Article |
Year of Publication | 2010 |
Authors | Bortolussi L, Policriti A |
Journal | Theoretical Computer Science |
Volume | 411/20 |
Pages | 2052–2077 |
Keywords | Dynamical Systems, Hybrid Automata, Piecewise Deterministic Markov Processes, Robustness, stochastic concurrent constraint programming |
Abstract | We provide Stochastic Concurrent Constraint Programming (sCCP), a stochastic process algebra based on CCP, with a semantics in terms of hybrid automata. We associate with each sCCP program both a stochastic and a non-deterministic hybrid automaton. Then, we compare such automata with the standard stochastic semantics (given by a Continuous Time Markov Chain) and the one based on ordinary differential equations, obtained by a fluid-flow approximation technique. We discuss in detail two case studies: Repressilator and the Circadian Clock, with particular regard to the robustness exhibited by the different semantic models and to the effect of discreteness in dynamical evolution of such systems. |
URL | http://dx.doi.org/10.1016/j.tcs.2010.02.008 |
DOI | 10.1016/j.tcs.2010.02.008 |
File: