Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control 2012
DOI: 10.1145/2185632.2185665
|View full text |Cite
|
Sign up to set email alerts
|

Rare-event verification for stochastic hybrid systems

Abstract: In this paper we address the problem of verifying in stochastic hybrid systems temporal logic properties whose probability of being true is very small -rare events. It is well known that sampling-based (Monte Carlo) techniques, such as statistical model checking, do not perform well for estimating rare-event probabilities. The problem is that the sample size required for good accuracy grows too large as the event probability tends to zero. However, several techniques have been developed to address this problem… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

1
27
0

Year Published

2014
2014
2024
2024

Publication Types

Select...
6
2
1

Relationship

0
9

Authors

Journals

citations
Cited by 32 publications
(28 citation statements)
references
References 19 publications
1
27
0
Order By: Relevance
“…Statistical hypothesis testing, being a randomized procedure operating on a limited number of samples, may produce false negatives or positives, i.e., it may reject a hypothesis that is actually true and vice versa. This problem can occur especially when the analyzed programs are very large and the probability of success or failure is close to the extremes (0 or 1) [36]. In the next section we show an instance of the problem.…”
Section: Discussionmentioning
confidence: 99%
See 1 more Smart Citation
“…Statistical hypothesis testing, being a randomized procedure operating on a limited number of samples, may produce false negatives or positives, i.e., it may reject a hypothesis that is actually true and vice versa. This problem can occur especially when the analyzed programs are very large and the probability of success or failure is close to the extremes (0 or 1) [36]. In the next section we show an instance of the problem.…”
Section: Discussionmentioning
confidence: 99%
“…In [15], SMC has been formulated as an estimation problem, with the number of samples fixed a priori by means of the Chernoff and Hoeffding bound [16]. Other approaches for deciding the number of samples have been discussed in [28,36]. Some of these approaches have been implemented in well-known probabilistic model checkers [18,32].…”
Section: Related Workmentioning
confidence: 99%
“…Despite their generality, hit-or-miss Monte Carlo methods may suffer from a slow convergence rate [17], especially if the probability of the target event gets close to zero [32]. If additional information is known about the problem under analysis, it can be exploited to improve the estimation performance, i.e.…”
Section: Interval Constraint Propagation and Stratified Samplingmentioning
confidence: 99%
“…Researchers have thus turned to importance sampling. In [19] the authors consider rare event verification of a model of stochastic hybrid automata that shares a number of features in common with our own model. They suggest using the cross-entropy method [16] to refine a parametrised change of measure for importance sampling, but do not provide a means by which this can be applied to arbitrary hybrid systems.…”
Section: Introductionmentioning
confidence: 99%