Statistical verification for complex controllers with applications to unmanned aircraft

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


Research in advanced control has had limited impact on real-world applications. We believe a principal cause is that the computational and performance properties of complex controllers cannot be feasibly analyzed using traditional (i.e., deterministic) verification and validation techniques. Statistical methods present an alternative. We discuss how extensions of statistical learning theory can provide rigorous estimates of reliability. Applications to computational tractability (e.g., under what conditions can we be assured that an iterative control calculation will terminate within an allocated time interval?) and critical performance aspects (e.g., under what conditions can high-performance maneuvers be successfully executed?) are presented. The applications pertain to new unmanned aerial vehicles (UAVs) that are designed for urban environments.

Original languageEnglish (US)
Title of host publicationProceedings of the 2007 American Control Conference, ACC
Number of pages5
StatePublished - 2007
Event2007 American Control Conference, ACC - New York, NY, United States
Duration: Jul 9 2007Jul 13 2007

Publication series

NameProceedings of the American Control Conference
ISSN (Print)0743-1619


Other2007 American Control Conference, ACC
Country/TerritoryUnited States
CityNew York, NY


Dive into the research topics of 'Statistical verification for complex controllers with applications to unmanned aircraft'. Together they form a unique fingerprint.

Cite this