Tools and methods for the verification and validation of adaptive aircraft control systems

IEEE Aerospace Conference Proceedings

Volumn , Issue , 2007, Pages

  Schumann, Johann ^a   Liu, Yan ^b  

^a Research Institute for Advanced Computer Science   (United States)

^b MOTOROLA INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FLIGHT CONTROL SYSTEMS; KALMAN FILTERS; LYAPUNOV METHODS; NEURAL NETWORKS; ONLINE SYSTEMS; STATISTICAL METHODS; VERIFICATION;

AEROSPACE DOMAINS; LYAPUNOV ANALYSIS; STATISTICAL INFERENCE;

ADAPTIVE CONTROL SYSTEMS;

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

References (26)

1. Ahrns, L, Bruske, J., Sommer, G.: On-line Learning with Dynamic Cell Structures. In: Proc. Artificial Neural Networks, Vol. 2. EC2, France (1995) 141-146
2. Bishop, C.M.: Neural Networks for Pattern Recognition. Oxford University Press, Oxford, UK (1995)
3. Brown, R., Hwang, P.: Introduction to Random Signals and Applied Kalman Filtering. Wiley (1997)
4. Bruske, J., Sommer, G.: Dynamic Cell Structures. In: NIPS, Vol. 7. (1995) 497-504
5. Calise A., Rysdyk. R.: Nonlinear Adaptive Flight Control Using Neural Networks. IEEE Control Systems Magazine 21(6) (1998) 14-26
6. Fritzke, B.: Growing Cell Structures - a Self-organizing Network for Unsupervised and Supervised Learning. Neural Networks 7(9) (1993) 1441-1460
7. Fuller, E., Yerramalla, S., Cukic, B.,Gururajan, S.: An Approach to Predicting Non-deterministic Neural Network Behavior. In: Proc. IJCNN (2005)
8. Grewal, M. and Andrews, A.: Kalman Filtering: Theory and Practice Using MATLAB. Wiley (2001)
9. Gupta, P., Schumann, J.: A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems. In: Proc. High Assurance Software Engineering, IEEE Press (2004)
10. Harper, R., Cooper, G.: Handling qualities and pilot evaluation. J. Guidance, Control, and Dynamics, 9 (1986) 515-529
11. Haykin, S. (ed): Kalman Filtering and Neural Networks. Wiley (2001)
12. Kohonen, T.; Self-Organizing Maps. Springer (1997)
13. Lary, D., Mussa, H.: Using an extended Kalman filter learning algorithm for feed-forward neural networks to describe tracer correlations. Atmos. Chem. Phys. Discuss., 4:3653-3667, 2004.
14. Leonard, J.A., Kramer, M.A., Ungar, L.H.: Using Radial Basis Functions to Approximate a Function and Its Error Bounds. IEEE Transactions on Neural Networks 3(4) (1992) 624-627
15. Liu, Y.: Validating A Neural Network-based Online Adaptive System. PhD thesis, West Virginia University, Morgantown (2005)
16. Liu, Y., Cukic, B., Jiang, M., Xu, Z.: Predicting with Confidence - An Improved Dynamic Cell Structure. In: Wang., L, Advances in Neural Computation, Vol. 1, Springer (2005) 750-759
17. Mackall, D., Nelson, S., Schumann, J.: Verification and Validation of Neural Networks of Aerospace Applications. Technical Report CR-211409, NASA (2002)
18. Martinez, T., Schulten, K.: Topology Representing Networks. Neural Networks 7(3) (1994) 507-522
19. Norgaard, M., Ravn O., Poulsen, N., Hansen, L.K.: Neural Networks for Modeling and Control of Dynamic Systems. Springer (2002)
20. Rumelhart, McClelland, and the PDP Research Group: Parallel Distributed Processing. MIT Press (1986)
21. Rysdyk R.,Calise, A.: Fault Tolerant Flight Control via Adaptive Neural Network Augmentation. AIAA-98-4483 (1998) 1722-1728
22. Schumann, J., Gupta, P.: Monitoring the Performance of A Neuro-adaptive Controller. In: Proc. MAXENT, AIP (2004) 289-296
23. Schumann, J., Gupta, P., Jacklin. S.: Toward Verification and Validation of Adaptive Aircraft Controllers. In: Proc. IEEE Aerospace Conference. IEEE Press (2005)
24. Tischler, M., Lee, J., Colbourne, J.: Optimization and comparison of alternative flight control system design methos using a common set of handling-qualities criteria. In AIAA Conference (2001)
25. Tseng, C., Gupta, P., Schumann, J.: Performance analysis using a fuzzy rule base representation of the cooperharper rating. In Aerospace Conf. IEEE (2006)
26. Zhang, Y. and Li, X.R.: A fast u-d factorization-based learning algorithm with applications to nonlinear system modeling and identification. IEEE Transactions on Neural Networks, 10(4) (1999)930-938