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

P. Binns, M. Elgersma, S. Ganguli, V. Ha, T. Samad

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Abstract

We present a versatile statistical verification methodology and we illustrate different uses of this methodology on two examples of non-linear real-time UAV controllers. The first example applies our statistical methodology to the verifyication 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.

Original languageEnglish (US)
Title of host publicationProceedings - RTAS 2004 10th IEEE Real-Time and Embedded Technology and Applications Symposium
Pages341-350
Number of pages10
StatePublished - Nov 17 2004
EventProceedings - RTAS 2004 10th IEEE Real-Time and Embedded Technology and Applications Symposium - Toronto, Canada
Duration: May 25 2004May 28 2004

Publication series

NameProceedings - IEEE Real-Time and Embedded Technology and Applications Symposium
Volume10

Other

OtherProceedings - RTAS 2004 10th IEEE Real-Time and Embedded Technology and Applications Symposium
CountryCanada
CityToronto
Period5/25/045/28/04

Fingerprint Dive into the research topics of 'Statistical verification of two non-linear real-time UAV controllers'. Together they form a unique fingerprint.

  • Cite this

    Binns, P., Elgersma, M., Ganguli, S., Ha, V., & Samad, T. (2004). Statistical verification of two non-linear real-time UAV controllers. In Proceedings - RTAS 2004 10th IEEE Real-Time and Embedded Technology and Applications Symposium (pp. 341-350). (Proceedings - IEEE Real-Time and Embedded Technology and Applications Symposium; Vol. 10).