Verification and Validation of Adaptive Learning Control System Towards Safety Assurance and Trusted Autonomy

In order to fulfill the present and future aerospace needs of the nation, there has been a growing interest in adaptive systems incorporating learning algorithms. Before such adaptive systems can be adopted for use in safety-critical aerospace applications, they must be certified to meet specified reliability and safety requirements. Intelligent Automation Inc. (IAI) in collaboration with Wright State University (WSU) proposes to develop a novel systematic verification and validation framework for adaptive learning flight control systems towards real-time safety assurance and trusted autonomy. A Neural Network (NN) based adaptive controller is designed as an add-on to a previously certified baseline linear controller to enhance robustness to modeling uncertainty and fault-tolerance to system faults. Based on Lyapunov stability theory, an integrity monitoring scheme for the adaptive controller will be developed to detect potential controller malfunctions and unstable learning conditions caused by unanticipated hazardous conditions. The proposed architecture can potentially maximize the use of advanced adaptive controller with high performance capabilities, while ensuring the safety of the overall flight control system in the presence of unanticipated hazards. In Phase I, the algorithms will be demonstrated using a real-time quadrotor test environment.