Stochastic Programs and Hybrid Automata for (Biological) Modeling.
Posted by luca | On Friday, 9 August 2013
Title | Stochastic Programs and Hybrid Automata for (Biological) Modeling. |
Publication Type | Conference Paper |
Year of Publication | 2009 |
Authors | Bortolussi L, Policriti A |
Editor | Ambos-Spies K, Lowe B, Merkle W |
Conference Name | Computability in Europe, CiE 2009 |
Volume | 5635 |
Pages | 37–48 |
Date Published | 24, 2009 |
Publisher | Springer |
Keywords | Hybrid Automata, Hybrid Semantics of Programming Languages, stochastic concurrent constraint programming |
Abstract | We present a technique to associate to stochastic programs written in stochastic Concurrent Constraint Programming a semantics in terms of a lattice of hybrid automata. The aim of this construction is to provide a framework to approximate the stochastic behavior by a mixed discrete/continuous dynamics with a variable degree of discreteness. |
URL | http://www.springerlink.com/content/026g745267581425/ |
DOI | 10.1007/978-3-642-03073-4_5 |