Hybrid Dynamics of Stochastic Programs

TitleHybrid Dynamics of Stochastic Programs
Publication TypeJournal Article
Year of Publication2010
AuthorsBortolussi L, Policriti A
JournalTheoretical Computer Science
Volume411/20
Pages2052–2077
KeywordsDynamical 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.

URLhttp://dx.doi.org/10.1016/j.tcs.2010.02.008
DOI10.1016/j.tcs.2010.02.008
File: