Abstract
We present an approach to verifying the performance of an intelligent control algorithm for which traditional, deterministic verification is not feasible. Our approach is based on statistical learning theory. We develop a classifier based on simulation data to partition the potential operating region of a system under control (here an autonomous helicopter) into acceptable and unacceptable subrogions. Statistical learning theory results can then be used to estimate the "generalization" performance of the classifier, providing rigorous bounds on the expected performance. A neural-network-based controller is used to demonstrate the methodology, the outcome of which is an analytical characterization of a "safe" set of maximum velocity and acceleration values under which particular helicopter maneuvers can be reliably executed with acceptable performance.
Original language | English (US) |
---|---|
Title of host publication | Proceedings of the 2004 IEEE International Symposium on Intelligent Control - 2004 ISIC |
Pages | 7-12 |
Number of pages | 6 |
State | Published - Dec 1 2004 |
Event | Proceedings of the 2004 IEEE International Symposium on Intelligent Control - 2004 ISIC - Taipei, Taiwan, Province of China Duration: Sep 2 2004 → Sep 4 2004 |
Other
Other | Proceedings of the 2004 IEEE International Symposium on Intelligent Control - 2004 ISIC |
---|---|
Country/Territory | Taiwan, Province of China |
City | Taipei |
Period | 9/2/04 → 9/4/04 |