Importance Sampling for Stochastic Timed Automata - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

Importance Sampling for Stochastic Timed Automata


We present an importance sampling framework that combines symbolic analysis and simulation to estimate the probability of rare reachability properties in stochastic timed automata. By means of symbolic exploration, our framework first identifies states that cannot reach the goal. A state-wise change of measure is then applied on-the-fly during simulations, ensuring that dead ends are never reached. The change of measure is guaranteed by construction to reduce the variance of the estimator with respect to crude Monte Carlo, while experimental results demonstrate that we can achieve substantial computational gains.
Fichier principal
Vignette du fichier
main.pdf (185.08 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01387293 , version 1 (25-10-2016)


  • HAL Id : hal-01387293 , version 1


Cyrille Jegourel, Kim Guldstrand Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, et al.. Importance Sampling for Stochastic Timed Automata. Dependable Software Engineering: Theories, Tools, and Applications, Nov 2016, Beijing, China. ⟨hal-01387293⟩
274 View
162 Download


Gmail Mastodon Facebook X LinkedIn More