We define a semantics for stochastic Concurrent Constraint Programming (sCCP), a stochastic process algebra, in terms of stochastic hybrid automata with piecewise deterministic continuous dynamics. To each program we associate a lattice of hybrid models, parameterized with respect to the degree of discreteness left. We study some properties of this lattice, presenting also an alternative semantics in which the degree of discreteness can be dynamically changed.
(Hybrid) Automata and (Stochastic) Programs. The hybrid automata lattice of a stochastic program / Bortolussi, Luca; Policriti, P.. - In: JOURNAL OF LOGIC AND COMPUTATION. - ISSN 0955-792X. - STAMPA. - 23:4(2013), pp. 761-798. [10.1093/logcom/exr045]
(Hybrid) Automata and (Stochastic) Programs. The hybrid automata lattice of a stochastic program
BORTOLUSSI, LUCA;
2013-01-01
Abstract
We define a semantics for stochastic Concurrent Constraint Programming (sCCP), a stochastic process algebra, in terms of stochastic hybrid automata with piecewise deterministic continuous dynamics. To each program we associate a lattice of hybrid models, parameterized with respect to the degree of discreteness left. We study some properties of this lattice, presenting also an alternative semantics in which the degree of discreteness can be dynamically changed.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
