Projekter pr. år
Abstract
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.
Originalsprog | Engelsk |
---|---|
Titel | Dependable Software Engineering : Theories, Tools, and Applications |
Redaktører | Martin Fränzle, Deepak Kapur, Naijin Zhan |
Antal sider | 16 |
Forlag | Springer |
Publikationsdato | 2016 |
Sider | 163-178 |
ISBN (Trykt) | 978-3-319-47676-6 |
ISBN (Elektronisk) | 978-3-319-47677-3 |
DOI | |
Status | Udgivet - 2016 |
Begivenhed | Symposium on Dependable Software Engineering Theories, Tools and Applications - Beijing, China, Beijing, Kina Varighed: 9 nov. 2016 → 10 nov. 2016 http://lcs.ios.ac.cn/setta/ |
Konference
Konference | Symposium on Dependable Software Engineering Theories, Tools and Applications |
---|---|
Lokation | Beijing, China |
Land/Område | Kina |
By | Beijing |
Periode | 09/11/2016 → 10/11/2016 |
Internetadresse |
Navn | Lecture Notes in Computer Science |
---|---|
Vol/bind | 9984 |
ISSN | 0302-9743 |
Fingeraftryk
Dyk ned i forskningsemnerne om 'Importance Sampling for Stochastic Timed Automata'. Sammen danner de et unikt fingeraftryk.Projekter
- 4 Afsluttet
-
DiCyPS: Center for Data-Intensive Cyber-Physical Systems
Larsen, K. G., Skou, A., Pedersen, T. B., Jensen, C. S., Kjeldskov, J., Skov, M. B., Nielsen, B., Lahrmann, H., Bak-Jensen, B., Guerrero, J. M. & Raptis, D.
01/01/2015 → 31/12/2020
Projekter: Projekt › Forskning
-
CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games
Larsen, K. G., Skou, A., David, A. & Srba, J.
01/04/2013 → 31/03/2016
Projekter: Projekt › Forskning
-
SENSATION: Self Energy-Supporting Autonomous Computation
Larsen, K. G., Hansen, R. R., Koch, P., Nielsen, B. & Skou, A.
01/10/2012 → 30/09/2015
Projekter: Projekt › Forskning