Date of Award
3-24-2016
Document Type
Thesis
Degree Name
Master of Science in Astronautical Engineering
Department
Department of Aeronautics and Astronautics
First Advisor
Eric D. Swenson, PhD.
Abstract
As the demand for increasingly complex and autonomous systems grows, designers may consider computational and artificial intelligence methods for more advanced, re- active control. While the performance gained by such increasingly intelligent systems may be superior to traditional control techniques, the lack of transparency in the systems and opportunity for emergent behavior limits their application in the field. New verification and validation methods must be developed to ensure the output of such controllers do not put the system or any people interacting with it in danger. This challenge was highlighted by the former Air Force Chief Scientist in his 2010 Technology Horizons Report, stating \It is possible to develop systems having high levels of autonomy, but it is the lack of suitable [verification and validation] (V&V) methods that prevents all but relatively low levels of autonomy from being certified for use."
AFIT Designator
AFIT-ENY-MS-16-M-214
DTIC Accession Number
AD1054163
Recommended Citation
Gross, Kerianne H., "Evaluation of Verification Approaches Applied to a Nonlinear Control System" (2016). Theses and Dissertations. 489.
https://scholar.afit.edu/etd/489