A statistical inference method for the stochastic reachability analysis.

Bujorianu, L.M. (2005) A statistical inference method for the stochastic reachability analysis. In: 44th IEEE Conference on Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05, Seville, Spain.

Preview

PDF
158Kb

Abstract:	The main contribution of this paper is the characterization of reachability problem associated to stochastic hybrid systems in terms of imprecise probabilities. This provides the connection between reachability problem and Bayesian statistics. Using generalised Bayesian statistical inference, a new concept of conditional reach set probabilities is defined. Then possible algorithms to compute the reach set probabilities are derived.
Item Type:	Conference or Workshop Item
Copyright:	©2005 IEEE
Research Group:	Formal Methods and Tools (FMT)
Link to this item:	http://purl.utwente.nl/publications/54784
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 229273