Limit behavior of the hybrid approximation of Stochastic Process Algebras
|Title||Limit behavior of the hybrid approximation of Stochastic Process Algebras|
|Publication Type||Conference Paper|
|Year of Publication||2010|
|Editor||Al-Begain K., Fiems D., Knottenbelt W.J.|
|Conference Name||17th International Conference on Analytical and Stochastic Modeling Techniques and Applications (ASMTA 2010)|
|Date Published||16, 2010|
|Keywords||limit theorems, Piecewise Deterministic Markov Processes, stochastic concurrent constraint programming, stochastic hybrid systems, Stochastic process algebras|
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.
Supplementary material is avaiable as an appendix in the pdf of the paper.