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.
Stochastic Programs and Hybrid Automatafor (Biological) Modeling / Bortolussi, Luca; Policriti, A.. - STAMPA. - 5635:(2009), pp. 37-48. ( Computability in Europe, CiE 2009 Heidelberg, Germany July 19-24, 2009) [10.1007/978-3-642-03073-4_5].
Stochastic Programs and Hybrid Automatafor (Biological) Modeling.
BORTOLUSSI, LUCA;
2009-01-01
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
