|
Published Articles >> Table of Contents >> Abstract
28th Annual International Computer Software and Applications Conference - Workshops and Fast Abstracts - (COMPSAC'04)
pp. 100-103
Adaptive Control Software: Can We Guarantee Safety?
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
Full Article Text:
 
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2004.1342686
Send link to a friend
| Abstract |
|
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
Lyapunovs Stability Theory detect unstable learning behavior
in neural networks.
|
Additional Information
|
Citation:
Yan Liu, Sampath Yerramalla, Edgar Fuller, Bojan Cukic, Srikanth Gururajan,
"Adaptive Control Software: Can We Guarantee Safety?,"
compsac,
pp. 100-103,
28th Annual International Computer Software and Applications Conference - Workshops and Fast Abstracts - (COMPSAC'04),
2004
|
|