DocumentCode
3129903
Title
A Statistical Inference Method for the Stochastic Reachability Analysis
Author
Bujorianu, Manuela L.
Author_Institution
Faculty of Computer Science, University of Twente, 7500 AE Enschede, The Netherlands, mlb@cs.stir.ac.uk
fYear
2005
fDate
12-15 Dec. 2005
Firstpage
8088
Lastpage
8093
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.
Keywords
reachability problem; stochastic hybrid automata; Air traffic control; Aircraft; Automata; Bayesian methods; Inference algorithms; Probability; Reachability analysis; Statistics; Stochastic processes; Stochastic systems; reachability problem; stochastic hybrid automata;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on
Print_ISBN
0-7803-9567-0
Type
conf
DOI
10.1109/CDC.2005.1583471
Filename
1583471
Link To Document