A Statistical Verification Methodology and its Applications

Friday, October 8, 2004 - 1:25pm - 2:25pm
Vincent 570
Pam Binns (Honeywell)
We present a versatile statistical verification methodology based on Statistical Learning Theory. We illustrate different uses of this methodology on two examples of non-linear real-time UAV (unmanned aerial vehicle) controllers. The first example applies our statistical methodology to the verification of a computation time property for a software implementation of a high-performance controller as a function of controller state variable values. The second example illustrates our statistical verification methodology applied to finding verifiably safe flight envelopes for a class of maneuvers, again as a function of controller state variable values. We compare our approach to verification with other statistical techniques used for estimating execution times and controller performance.