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


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… (More)
DOI: 10.1109/RTTAS.2004.1317280


6 Figures and Tables

Slides referencing similar topics