Performance evaluation with temporal rewards

Performance Evaluation

Volumn 50, Issue 2-3, 2002, Pages 189-218

  Voeten, Jeroen P M ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Markov chains; Path based reward variables; Performance evaluation; Reward functions; Temporal logic

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE; DISCRETE TIME CONTROL SYSTEMS; LARGE SCALE SYSTEMS; MARKOV PROCESSES; PERFORMANCE;

PERFORMANCE EVALUATION;

SYSTEMS ANALYSIS;

EID: 6444245483     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0166-5316(02)00105-0     Document Type: Article

References (35)

1. L. de Alfaro, How to specify and verify long-run average behaviour of probabilistic systems?, in: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science, 1998, pp. 454-465.
2. A. Aziz, K. Sanwal, V. Singhal, R. Brayton, Verifying continuous time Markov chains, in: Proceedings of the CAV'96, LNCS 1102, 1996, pp. 270-276.
3. C. Baier, J.P. Katoen, H. Hermanns, Approximate symbolic model checking of continuous-time Markov chains, in: Proceedings of the CONCUR'99, LNCS 1664, 1996, pp. 146-162.
4. C. Baier, B. Haverkort, H. Hermanns, J.P. Katoen, On the logical characterisation of performability properties, in: Proceedings of the ICALP'00, LNCS 1853, 2000, pp. 780-792.
5. M. Bernado, An algebra-based method to associate rewards with EMPA terms, in: Proceedings of the ICALP'97, LNCS 1256, 1997, pp. 358-368.
6. A. Bianco, L. de Alfaro, Model checking of probabilistic and nondeterministic systems, in: Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995, pp. 499-513.
7. P. Billingsley, Probability and Measure, Wiley, New York, 1995.
8. K.L. Chung, Markov Chains with Stationary Transition Probabilities, Springer, Berlin, 1967.
9. G. Clark, Formalising the specification of rewards with PEPA, in: Proceedings of the Fourth Annual Workshop on Process Algebra and Performance Modelling, 1996, pp. 139-160.
10. G. Clark, Techniques for the construction and analysis of algebraic performance models, Ph.D. Thesis, University of Edinburgh, 2000.
11. G. Clark, S. Gilmore, J. Hillston, M. Ribaudo, Exploiting modal logic to express performance measures, in: Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools, 2000, pp. 211-227.
12. C. Derman, Finite State Markovian Decision Processes, Academic Press, New York, 1970.
13. D. Gamerman, Markov Chain Monte Carlo, Chapman & Hall, London, 1997.
14. M.C.W. Geilen, Real-time concepts for software/hardware engineering. Master's Thesis, Eindhoven University of Technology, 1996.
15. M. Geilen, J.P.M. Voeten, Real-time concepts for a formal specification language for software/hardware systems, in: Proceedings of the ProRISC/IEEE'97, 1997, pp. 185-192.
16. M.C.W. Geilen, J.P.M. Voeten, Object-oriented modelling and specification using SHE, in: Proceedings of the First International Symposium on Visual Formal Methods VFM'99, 1999, pp. 16-24.
17. A. Giacalone, C.-C. Jou, S.A. Smolka, Algebraic reasoning for probabilistic concurrent systems, in: Proceedings of the Working Conference on Programming Concepts and Methods, 1990, pp. 443-458.
18. A. Goldberg, D. Robson, Smalltalk-80: The Language, Addison-Wesley, Reading, MA, 1989.
19. H. Hansson, B. Jonsson, A calculus for communicating systems with time and probabilities, in: Proceedings of the International Workshop on Timed Petri Nets, 1985, pp. 181-190.
20. H. Hermanns, J.P. Katoen, J. Meyer-Kayser, M. Siegle, Towards model checking stochastic process algebra, in: Proceedings of the IFM 2000, LNCS 1945, 2000, pp. 420-439.
21. M.A. Hilliday, M.K. Vernon, A generalized timed Petri net model for performance analysis, in: Proceedings of the International Workshop on Timed Petri Nets, 1995, pp. 181-190.
22. R. Milner, Communication and Concurrency, Prentice-Hall, Englewood Cliffs, NJ, 1989.
23. F. Moller, C. Tofts, A temporal calculus of communicating systems, in: Proceedings of the CONCUR'90, 1990, pp. 401-415.
24. X. Nicollin, J. Sifakis, An overview and synthesis on timed process algebras, in: Proceedings of the CAV'91 Third International Workshop Computer Aided Verification, 1992, pp. 376-398.
25. W.D. Obal, W.H. Sanders, State-space support for path-based reward variables, in: Proceedings of the Computer Performance and Dependability Symposium, 1998, pp. 228-237.
26. G.D. Plotkin, A structural approach to operational semantics, Technical Report DAIMI FN-19, University of Aarhus, Denmark, 1981.
27. P.H.A. van der Putten, J.P.M. Voeten, Specification of reactive hardware/software systems, Ph.D. Thesis, Eindhoven University of Technology, 1997.
28. P.H.A. van der Putten, J.P.M. Voeten, M.P.J. Stevens, Object-oriented co-design for hardware/software systems, in: Proceedings of the Euromicro'95, 1995, pp. 718-726.
29. R. Segala, Modeling and verification of randomized distributed real-time systems, Ph.D. Thesis, Massachusetts Institute of Technology, 1995.
30. A. Tanenbaum, Computer Networks, third ed., Prentice-Hall, Englewood Cliffs, NJ, 1996.
31. H.C. Tijms, Stochastic Models - An Algorithmic Approach, Wiley, Chichester, UK, 1998.
32. Tofts C., Processes with probabilities, priority and time Form. Aspects Comput. 6 1994 536-564.
33. M. Vardi, Automatic verification of probabilistic concurrent finite-state programs, in: Proceedings of the FOCS'85, 1985, pp. 327-338.
34. J.P.M. Voeten, M.C.W. Geilen, L. van Bokhoven, P.H.A. van der Putten, M.P.J. Stevens, A probabilistic real-time calculus for performance evaluation, in: Proceedings of the 11th European Simulation Symposium, 1999, pp. 608-617.
35. J.P.M. Voeten, Temporal rewards for performance evaluation, in: Proceedings of the PAPM 2000 (ICALP Workshops 2000), 2000, pp. 511-522.