Hybrid semantics for PEPA

Proceedings - 7th International Conference on the Quantitative Evaluation of Systems, QEST 2010

Volumn , Issue , 2010, Pages 181-190

  Bortolussi, Luca ^a   Galpin, Vashti ^b   Hillston, Jane ^b   Tribastone, Mirco ^c  

^a UNIVERSITY OF TRIESTE   (Italy)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

^c UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BREAKDOWNS AND REPAIRS; CLIENT/SERVER SYSTEMS; HYBRID ANALYSIS; HYBRID AUTOMATONS; MARKOVIAN MODEL; MATHEMATICAL OBJECTS; QUANTITATIVE EVALUATION; SLOW DYNAMICS; STATE-SPACE EXPLOSION; STOCHASTIC PROCESS ALGEBRAS;

MARKOV PROCESSES; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

ORDINARY DIFFERENTIAL EQUATIONS;

EID: 78649461070     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2010.31     Document Type: Conference Paper

References (18)

1. M. Bernardo and R. Gorrieri. A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theoretical Computer Science, 202:1-54, 1998.
2. L. Bortolussi. Limit behavior of the hybrid approximation of stochastic process algebras. In Proceedings of ASMTA 2010, 2010.
3. L. Bortolussi and A. Policriti. Hybrid semantics of stochastic programs with dynamic reconfiguration. In Proceedings of CompMod 2009, 2009.
4. L. Bortolussi and A. Policriti. Hybrid dynamics of stochastic programs. Theoretical Computer Science, 411:2052- 2077, 2010.
5. C.G. Cassandras and J. Lygeros, editors. Stochastic Hybrid Systems. CRC Press, 2007.
6. M.H.A. Davis. Markov Models and Optimization. Chapman & Hall, 1993.
7. M. Gribaudo and M. Telek. Fluid models in performance analysis. In M. Bernardo and J. Hillston, editors, Formal Methods for Performance Evaluation (SFM 2007), LNCS 4486, pages 271-317. Springer, 2007.
8. H. Hermanns. Interactive Markov Chains. Springer-Verlag, 2002.
9. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
10. J. Hillston. Fluid flow approximation of PEPA models. In Proceedings of the Second International Conference on the Quantitative Evaluation of Systems (QEST 05), 2005.
11. J. Pahle. Biochemical simulations: stochastic, approximate stochastic and hybrid approaches. Briefings in Bioinformatics, 10(1):53-64, 2009.
12. L.F. Shampine and M.W. Reichelt. The Matlab ODE suite. SIAM Journal on Scientific Computing, 18(1):1-22, 1997.
13. H.A. Simon and A. Ando. Aggregation of variables in dynamic systems. Econometrica, 29:111-138, 1961.
14. W.J. Stewart. Probability, Markov Chains, Queues, and Simulation. Princeton University Press, 2009.
15. The Mathworks. Matlab 7.6.0, 2008.
16. M. Tribastone, A. Duguid, and S. Gilmore. The PEPA Eclipse Plug-in. Performance Evaluation Review, 36(4):28-33, March 2009.
17. M. Tribastone, S. Gilmore, and J. Hillston. Scalable differential analysis of a process algebra model. To appear in IEEE Transactions on Software Engineering.
18. B. Tuffin, D.S. Chen, and K.S. Trivedi. Comparison of hybrid systems and fluid stochastic petri nets. Discrete Event Dynamic Systems: Theory and Applications, 11:77-95, 2001.