loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
28th Annual International Computer Software and Applications Conference - Workshops and Fast Abstracts - (COMPSAC'04)
Adaptive Control Software: Can We Guarantee Safety?
Hong Kong
September 28-September 30
ISBN: 0-7695-2209-2
Yan Liu, West Virginia University
Sampath Yerramalla, West Virginia University
Edgar Fuller, West Virginia University
Bojan Cukic, West Virginia University
Srikanth Gururajan, West Virginia University

The appeal of including adaptive components in complex computational systems, such as flight control, is in their ability to cope with a changing environment. Continual changes induce uncertainty that limits the applicability of conventional verification and validation (V&V) techniques. In safety-critical applications, the mechanisms of change must be observed, diagnosed, accommodated and well understood prior to deployment.

In this paper, we present a non-conventional V&V approach suitable for online adaptive systems. We applied this approach to an adaptive flight control system that employs neural network learning for online adaptation. Presented methodology consists of a Novelty Detection technique andOnline Stability Monitoring tools.The Novelty Detection technique is based on Support Vector Data Description that detects novel (abnormal) data patterns. The Online Stability Monitoring tools based on Lyapunov?s Stability Theory detect unstable learning behavior in neural networks.

Citation:
Yan Liu, Sampath Yerramalla, Edgar Fuller, Bojan Cukic, Srikanth Gururajan, "Adaptive Control Software: Can We Guarantee Safety?," compsac, vol. 2, pp.100-103, 28th Annual International Computer Software and Applications Conference - Workshops and Fast Abstracts - (COMPSAC'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.