A tool for verification and validation of neural network based adaptive controllers for high assurance systems

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn 8, Issue , 2004, Pages 277-278

  Gupta, Pramod ^a   Schumann, Johann ^a  

^a NASA AMES RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ERROR BANDS; ERROR BARS; FLIGHT CONTROL SYSTEM (FCS); SAFETY-CRITICAL SOFTWARE;

ADAPTIVE CONTROL SYSTEMS; AERODYNAMICS; AIRCRAFT; COMPUTER SIMULATION; COMPUTER SOFTWARE; OPTIMIZATION; PROBABILITY; PROBLEM SOLVING;

NEURAL NETWORKS;

EID: 2942524043     PISSN: 15302059     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (6)

1. D. Mackall, S. Nelson, and J. Schumann. Verification and Validation of Neural Networks of Aerospace Applications. Technical Report CR-211409, NASA, 2002.
2. A. Mill, B. Cukic, Y. Liu, and R. Ayed. Towards the Verification and Validation of online adaptive Systems. In Comp. Methods in SW Eng. Kluwer, 2003.
3. R. Rysdyk and A. Calise. Fault tolerant Flight Control via adaptive Neural Network augmeatation. AIAA, AIAA-98-4483:1722-1728, 1998.
4. J. Schumann and P. Gupta. On V&V of Neural Network based Controllers. In EANN 03, pp 40-47, 2003.
5. J. Schumann and S. Nelson. Toward V&V of Neural Network based Controllers. In WOSS, pp 67-72. ACM, 2002.
6. S. Yerramalla, E. Fuller, M. Mladenovski, and B. Cukic. Lyapunov analysis of Neural Network Stability in an adaptive Flight Control System. In Proc. DSN'03, 2003.