Title :
Validating an online adaptive system using SVDD
Author :
Liu, Yan ; Gururajan, Srikanth ; Cukic, Bojan ; Menzies, Tim ; Napolitano, Marcello
Author_Institution :
West Virginia Univ., Morgantown, WV, USA
Abstract :
One of the goals of verification and validation (V&V) activities for online adaptive control systems is providing assurance that they are able to detect novel system behaviors and provide adequate (safe) control actions. Novel (or abnormal) system behaviors cannot be enumerated or fully and explicitly described in requirements documentation. Therefore, they have to be observed and recognized during the operation. Novelty detection methods, therefore, provide an adequate approach for the V&V purposes. We propose a novelty detection method based on support sector data description (SVDD) as a candidate approach for validating adaptive control systems. As a one-class classifier, the support vector data description is able to form a decision boundary around the learned data domain with very little or no knowledge of data points outside the boundary (outliers). We apply the SVDD techniques for novelty detection as part of the validation on an intelligent flight control system (IFCS). Experimental results show that the SVDD can be adopted as an effective tool for finding indications of the safe region for the learned domain, whereby we are able to separate faulty behavior from normal events.
Keywords :
adaptive systems; aerospace control; program verification; support vector machines; IFCS; SVDD; adaptive control system; adaptive system; control system; data; data domain; detection method; documentation; domain; faulty behavior; intelligent flight control system; learned domain; normal event; novel system behavior; novel system behavior detection; one-class classifier; online; online adaptive control system; online adaptive system; support vector data description; system behavior; verification and validation; Adaptive control; Adaptive systems; Aerospace control; Control systems; Filters; Intelligent control; Intelligent systems; Runtime; Safety; Stability analysis;
Conference_Titel :
Tools with Artificial Intelligence, 2003. Proceedings. 15th IEEE International Conference on
Print_ISBN :
0-7695-2038-3
DOI :
10.1109/TAI.2003.1250215