Stochastic Programs and Hybrid Automata for (Biological) Modeling.
|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|
|Date Published||24, 2009|
|Keywords||Hybrid Automata, Hybrid Semantics of Programming Languages, stochastic concurrent constraint programming|
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.