%0 Conference Proceedings
%F qest13b
%A Ballarini, P.
%A Bertrand, N.
%A Horvath, A.
%A Paolieri, M.
%A Vicario, E.
%T Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes
%B 10th International Conference on Quantitative Evaluation of SysTems (QEST'13)
%V 8054
%P 355-371
%S LNCS
%C Buenos Aires, Argentina
%X Stochastic Timed Automata (STA) associate logical locations with continuous generally distributed sojourn times. In this paper, we introduce Networks of Stochastic Timed Automata (NSTA), where the components interact with each other by message broadcasts. This results in an underlying stochastic process whose state is made of the vector of logical locations, of their remaining sojourn times, and of the value of clocks. We characterize this general state space Markov chain through transient stochastic state classes that sample the state and the absolute age after each event. This provides an algorithmic approach to transient analysis of NSTA models, with fairly general termination conditions which we characterize with respect to structural properties of individual components
%U http://www.irisa.fr/sumo/Publis/PDF/qest13b.pdf
%8 August
%D 2013