Statistical verification of two non-linear real-time UAV controllers

Abstract

We present a versatile statistical verification methodology and we illustrate different uses of this methodology on two examples of nonlinear real-time UAV 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. We close with candidate topics for future work.

DOI: 10.1109/RTTAS.2004.1317280

6 Figures and Tables

Cite this paper

@article{Binns2004StatisticalVO, title={Statistical verification of two non-linear real-time UAV controllers}, author={Pam Binns and Michael Elgersma and Subhabrata Ganguli and Vu Ha and Tariq Samad}, journal={Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004.}, year={2004}, pages={341-350} }