Abstract
This chapter provides a statistical framework for the estimation of reach set probabilities. For applying Bayesian inference rules in the context of stochastic reachability analysis, the first step is to express reach set probabilities as imprecise probabilities. The main idea is to use the connection between stochastic reachability probabilities and Choquet capacities. The latter concept is widely used in decision theory and robust Bayesian inference. Since under standard assumptions, a stochastic hybrid system evolution defines a specific Markov process, reach set probability as a function of target set gives rise to a nonlinear measure, which is known under the name of Choquet capacity associated to the underlying Markov process. This connection is essential for applying Bayesian statistics for the estimation of reach set probabilities. Notice that we are working with a specialisation of the Bayesian statistics for nonlinear probability measures (imprecise probabilities). Then the Bayesian algorithms have some peculiar characteristics. This is an open research area, and the ideas described in this chapter are closely connected with the so-called statistical model checking, which represents a new research vista in computer science.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Berger, J.O.: Statistical Decision Theory and Bayesian Analysis. Springer, Berlin (1985)
Choquet, G.: Theory of capacities. Ann. Inst. Fourier 5, 131–291 (1953)
Chrisman, L.: Incremental conditioning of lower and upper probabilities. Int. J. Approx. Reason. 13(1), 1–25 (1995)
Cozman, F.G.: Computing posterior upper expectations. Int. J. Approx. Reason. 24, 191–205 (2000)
Dempster, D.: Upper and lower probabilities induced by a multi-valued mapping. Ann. Math. Stat. 38, 325–339 (1967)
El Kaabouchi, A.: Mesures dominée par une capacité alternée d’ordre 2. Proc. Am. Math. Soc. 121(3), 823–832 (1994)
Fine, T.L.: Lower probability models for uncertainty and non-deterministic processes. J. Stat. Plan. Inference 20, 389–411 (1988)
Getoor, R.K.: Excessive Measures. Birkhäuser, Boston (1990)
Huber, P.J., Strassen, V.: Minimax tests and the Neyman–Pearson lemma for capacities. Ann. Stat. 1, 251–263 (1973)
Huber, P.J.: Robust Statistics. Wiley, New York (1980)
Kyburg, H.E. Jr.: Bayesian and non-Bayesian evidential updating. Artif. Intell. 31, 271–293 (1987)
Lavine, M.: Sensitivity in Bayesian statistics the prior and the likelihood. J. Am. Stat. Assoc. 86(414), 396–399 (1991)
Levi, I.: The Enterprise of Knowledge. MIT Press, Cambridge (1980)
Savage, L.J.: The Foundations of Statistics. Dover, New York (1972)
Schmeidler, D.: Subjective probability and expected utility without additivity. Econometrica 57, 571–587 (1989)
Seidenfeld, T., Schervish, M., Kadane, J.B.: A representation of partially ordered preferences. Ann. Stat. 23(6), 2168–2217 (1995)
Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)
Suppes, P.: The measurement of belief. J. R. Stat. Soc. B 2, 160–191 (1974)
Wasserman, L.A., Kadane, J.B.: Bayes’s theorem for Choquet capacities. Ann. Stat. 18(3), 1328–1339 (1990)
Walley, P.: Statistical Reasoning with Imprecise Probabilities. Chapman & Hall, London (1991)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag London Limited
About this chapter
Cite this chapter
Bujorianu, L.M. (2012). Statistical Methods to Stochastic Reachability. In: Stochastic Reachability Analysis of Hybrid Systems. Communications and Control Engineering. Springer, London. https://doi.org/10.1007/978-1-4471-2795-6_8
Download citation
DOI: https://doi.org/10.1007/978-1-4471-2795-6_8
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-4471-2794-9
Online ISBN: 978-1-4471-2795-6
eBook Packages: EngineeringEngineering (R0)