Toward verification and validation of adaptive aircraft controllers

IEEE Aerospace Conference Proceedings

Volumn 2005, Issue , 2005, Pages

  Schumann, Johann ^a   Gupta, Pramod ^a   Jacklin, Stephen ^a  

^a NASA AMES RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FIXED-GAIN CONTROL; INTELLIGENT FLIGHT CONTROL; NEURO-ADAPTIVE CONTROLLERS; SAFETY CERTIFICATION;

AIRCRAFT; COMPUTER SIMULATION; NEURAL NETWORKS; NONLINEAR SYSTEMS; UNCERTAIN SYSTEMS;

ADAPTIVE CONTROL SYSTEMS;

EID: 33751517674     PISSN: 1095323X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AERO.2005.1559606     Document Type: Conference Paper

References (11)

1. Ch. M. Bishop. Neural Networks for Pattern Recognition. Clarendon-Press, Oxford, 1995.
2. A. Calise and R. Rysdyk. Nonlinear adaptive flight control using neural networks. IEEE Control Systems Mag azine, 21(6): 14-26, 1998.
3. P Gupta, K. Loparo, J. Schumann, and F. Scares. Verification and validation methodology of real-time adaptive neural networks for aerospace applications. In International Conference on Computational Intelligence for Modeling, Control, and Automation, 2004.
4. P. Gupta and J. Schumann. A tool for verification and validation of neural network based adaptive controllers for high assurance systems. In Proceedings High Assurance Software Engineering (HASE). IEEE, 2004.
5. S. Jacklin, M. Lowry, J. Schumann, P. Gupta, J. Bosworth, E. Zavala, J. Kelly, K. Hayhurst, C. Belcastro, and C. Belcastro. Verification, validation and certification challenges for adaptive flight control systems software. In AIAA Guidance Navigation and Control Conference and Exhibit, 2004.
6. M. Norgaard, O. Ravn, N.K. Poulsen, and L. K. Hansen. Neural Networks for Modeling and Control of Dynamic Systems. Springer, 2002.
7. Rumelhart, McClelland, and the PDP Research Group. Parallel Distributed Processing. MIT Press, 1986.
8. R. Rysdyk and A. Calise. Fault tolerant flight control via adaptive neural network augmentation. AIAA American Institute of Aeronautics and Astronautics, AIAA-98-4483:1722-1728, 1998.
9. J. Schumann and P. Gupta. On verification & validation of neural network based controllers. In Proceedings of the Conference on Engineering Applications in Neural Networks (EANN 03), pages 40-47, 2003.
10. J. Schumann and S. Nelson. Toward V&V of neural network based controllers. In Proceedings WOSS (Workshop on Self-Healing Systems, 2002, pages 67-72. ACM Press, 2002.
11. J. Schumann and P. Gupta. Monitoring the performance of a neuro-adaptive controller. In Proceedings of the 24th International Workshop on Bayesian Inference and Maximum Entropy Methods in Sciences and Engieering, MAXENT 2004, 2004.