Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes - Archive ouverte HAL
Communication Dans Un Congrès Année : 2013

Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes

Résumé

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, the remaining sojourn times, and the value of clocks. We characterize this general state space Markov process 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 that can be checked through straightforward algorithms.
Fichier principal
Vignette du fichier
80540334.pdf (294.88 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01852445 , version 1 (01-08-2018)

Identifiants

Citer

Paolo Ballarini, Nathalie Bertrand, Andras Horvath, Marco Paolieri, Enrico Vicario. Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes. 10th International Conference on Quantitative Evaluation of Systems (QUEST 2013), Aug 2013, Buenos Aires, Argentina. pp.355-371, ⟨10.1007/978-3-642-40196-1_30⟩. ⟨hal-01852445⟩
7 Consultations
7 Téléchargements

Altmetric

Partager

More