Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation

Autor: Dengler, Gabriel, Carnevali, Laura, Budde, Carlos E., Vicario, Enrico

Publikováno v: Hillston, J., Soudjani, S., Waga, M. (eds) Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems. QEST+FORMATS 2024. Lecture Notes in Computer Science, vol 14996. Springer, Cham

Non-Markovian models have great expressive power, at the cost of complex analysis of the stochastic process. The method of Stochastic State Classes (SSCs) derives closed-form analytical expressions for the joint Probability Density Functions (PDFs) o

Externí odkaz: http://arxiv.org/abs/2406.16447