• DocumentCode
    2358421
  • 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
  • fYear
    2003
  • fDate
    3-5 Nov. 2003
  • Firstpage
    384
  • Lastpage
    388
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Tools with Artificial Intelligence, 2003. Proceedings. 15th IEEE International Conference on
  • ISSN
    1082-3409
  • Print_ISBN
    0-7695-2038-3
  • Type

    conf

  • DOI
    10.1109/TAI.2003.1250215
  • Filename
    1250215