Limit behavior of the hybrid approximation of stochastic process algebras

Authors:
Luca Bortolussi
Affiliations:
Dept. of Mathematics and Informatics, University of Trieste, Italy
Venue:
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
Year:
2010

Citing 9
Cited 2

Concurrent constraint programming

Concurrent constraint programming
A compositional approach to performance modelling

A compositional approach to performance modelling
Comparison of Hybrid Systems and Fluid Stochastic PetriNets

Discrete Event Dynamic Systems
Fluid Flow Approximation of PEPA models

QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Modeling Biological Systems in Stochastic Concurrent Constraint Programming

Constraints
Relating continuous and discrete PEPA models of signalling pathways

Theoretical Computer Science
Stochastic Programs and Hybrid Automata for (Biological) Modeling

CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back

Transactions on Computational Systems Biology XI
Hybrid dynamics of stochastic programs

Theoretical Computer Science

Fluid limits of queueing networks with batches

ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Continuous approximation of collective system behaviour: A tutorial

Performance Evaluation

Quantified Score

Hi-index	0.00

Visualization

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.