We investigate the limit behavior of a class of stochastic hybrid systems obtained by hybrid approximation of Stochastic Concurrent Constraint Programming (sCCP). We prove that a sequence of Continuous Time Markov Chain (CTMC), constructed from sCCP programs parametrically with respect to a notion of system size, converges a.s., in the limit of divergent size, to the hybrid approximation.
Limit behavior of the hybrid approximation of Stochastic Process Algebras / Bortolussi, Luca. - STAMPA. - (2010), pp. 367-381. ( ASMTA 2010 Cardiff, UK June 14-16, 2010) [10.1007/978-3-642-13568-2_26].
Limit behavior of the hybrid approximation of Stochastic Process Algebras
BORTOLUSSI, LUCA
2010-01-01
Abstract
We investigate the limit behavior of a class of stochastic hybrid systems obtained by hybrid approximation of Stochastic Concurrent Constraint Programming (sCCP). We prove that a sequence of Continuous Time Markov Chain (CTMC), constructed from sCCP programs parametrically with respect to a notion of system size, converges a.s., in the limit of divergent size, to the hybrid approximation.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.
