-
Selection by year
-
Selection by authors
-
Complete lists
qest13b
P. Ballarini, N. Bertrand, A. Horvath, M. Paolieri, E. Vicario. Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes. In 10th International Conference on Quantitative Evaluation of SysTems (QEST'13), LNCS, Volume 8054, Pages 355-371, Buenos Aires, Argentina, August 2013.
Download [help]
Download paper:
Adobe portable document (pdf) 
Copyright notice:
This material is presented to ensure timely dissemination of scholarly and
technical work. Copyright and all rights therein are retained by authors or
by other copyright holders. All persons copying this information are expected
to adhere to the terms and constraints invoked by each author's
copyright. These works may not be reposted without the explicit permission of
the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic
Abstract
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
Contact
Nathalie Bertrand http://www.irisa.fr/prive/nbertran/
BibTex Reference
@InProceedings{qest13b,
Author = {Ballarini, P. and Bertrand, N. and Horvath, A. and Paolieri, M. and Vicario, E.},
Title = {Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes},
BookTitle = {10th International Conference on Quantitative Evaluation of SysTems (QEST'13)},
Volume = {8054},
Pages = {355--371},
Series = {LNCS},
Address = {Buenos Aires, Argentina},
Month = {August},
Year = {2013}
}
EndNote Reference [help]
Get EndNote Reference (.ref)