Stochastic Programs and Hybrid Automata for (Biological) Modeling

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.

• Type: Conference
• Year: 2009
• Where: CIE
• Authors: Luca Bortolussi, Alberto Policriti
• Keywords: Applied Computing, CIE 2009, Stochastic Behavior, Stochastic Concurrent Constraint, Stochastic Programs