loading...
A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems
Tampa, Florida March 25-March 26
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/HASE.2004.1281757Eighth IEEE International Symposium o ...
 This Article 
 
PURCHASE ARTICLE: $0
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Pramod Gupta, QSS Inc.
Johann Schumann, RIACS/NASA Ames
High reliability of mission- and safety-critical software systems has been identified by NASA as a high-priority technology challenge. We present an approach for the performance analysis of a neural network (NN) in an advanced adaptive control system. This problem is important in the context of safety-critical applications that require certification, such as flight software in aircraft. We have developed a tool to measure the performance of the NN during operation by calculating a confidence interval (error bar) around the NN's output. Our tool can be used during pre-deployment verification as well as monitoring the network performance during operation. The tool has been implemented in Simulink and simulation results on a F-15 aircraft are presented.
Citation:
Pramod Gupta, Johann Schumann, "A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems," hase, pp.277-278, Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.