Statistical verification for complex controllers with applications to unmanned aircraft

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

Abstract

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
Pages165-169
Number of pages5
DOIs
StatePublished - Dec 1 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

Other

Other2007 American Control Conference, ACC
CountryUnited States
CityNew York, NY
Period7/9/077/13/07

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

Cite this