Probabilistic Verification of Discrete Event Systems using Acceptance Sampling (2002)
Cached
Download Links
- [www-2.cs.cmu.edu]
- [www.tempastic.org]
- [www.cs.cmu.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | In Proc. 14th International Conference on Computer Aided Verification, volume 2404 of LNCS |
| Citations: | 53 - 6 self |
BibTeX
@INPROCEEDINGS{Younes02probabilisticverification,
author = {Håkan L. S. Younes and H˚akan L. S. Younes and Reid G. Simmons},
title = {Probabilistic Verification of Discrete Event Systems using Acceptance Sampling},
booktitle = {In Proc. 14th International Conference on Computer Aided Verification, volume 2404 of LNCS},
year = {2002},
pages = {223--235},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We propose a model independent procedure for verifying properties of discrete event systems. The dynamics of such systems can be very complex, making them hard to analyze, so we resort to methods based on Monte Carlo simulation and statistical hypothesis testing. The verification is probabilistic in two senses. First, the properties, expressed as CSL formulas, can be probabilistic. Second, the result of the verification is probabilistic, and the probability of error is bounded by two parameters passed to the verification procedure. The verification of properties can be carried out in an anytime manner by starting off with loose error bounds, and gradually tightening these bounds.
