Tools and Methods for the Verification and Validation of Adaptive Aircraft Control Systems

The appeal of adaptive control to the aerospace domain should be attributed to the neural network models adopted in online adaptive systems for their ability to cope with the demands of a changing environment. However, continual changes induce uncertainty that limits the applicability of conventional validation techniques to assure the reliable performance of such systems. In this paper, we present several advanced methods proposed for verification and validation (V&V) of adaptive control systems, including Lyapunov analysis, statistical inference, and comparison to the well-known Kalman filters. We also discuss two monitoring tools for two types of neural networks employed in the NASA F-15 flight control system as adaptive learners: the confidence tool for the outputs of a Sigma-Pi network, and the validity index for the output of a Dynamic Cell Structure (DCS) network.

[1]  S. Haykin.  Kalman Filtering and Neural Networks , 2001 .

[2]  Thomas Martinetz,et al.  Topology representing networks , 1994, Neural Networks.

[3]  E. Fuller,et al.  An approach to predicting non-deterministic neural network behavior , 2005, Proceedings. 2005 IEEE International Joint Conference on Neural Networks, 2005..

[4]  Mohinder S. Grewal,et al.  Kalman Filtering: Theory and Practice Using MATLAB , 2001 .

[5]  Richard A. Brown,et al.  Introduction to random signals and applied kalman filtering (3rd ed , 2012 .

[6]  P. Gupta,et al.  Toward Verification and Validation of Adaptive Aircraft Controllers , 2005, 2005 IEEE Aerospace Conference.

[7]  Johann Schumann,et al.  Analysis of Aircraft Control Performance using a Fuzzy Rule Base Representation of the Cooper-Harper Aircraft Handling Quality Rating , 2006 .

[8]  Bojan Cukic,et al.  Validating a neural network-based online adaptive system , 2005 .

[9]  Mark B. Tischler,et al.  OPTIMIZATION AND COMPARISON OF ALTERNATIVE FLIGHT CONTROL SYSTEM DESIGN METHODS USING A COMMON SET OF HANDLING-QUALITIES CRITERIA , 2001 .

[10]  George E. Cooper,et al.  Handling qualities and pilot evaluation , 1986 .

[11]  Anthony J. Calise,et al.  FAULT TOLERANT FLIGHT CONTROL VIA ADAPTIVE NEURAL NETWORK AUGMENTATION , 1998 .

[12]  Teuvo Kohonen,et al.  Self-Organizing Maps , 2010 .

[13]  David J. Lary,et al.  Using an Extended Kalman Filter Learning Algorithm for Feed-Forward Neural Networks to Describe Tracer Correlations , 2004 .

[14]  Lyle H. Ungar,et al.  Using radial basis functions to approximate a function and its error bounds , 1992, IEEE Trans. Neural Networks.

[15]  Youmin Zhang,et al.  A Fast U-d Factorization-based Learning Algorithm with Applications to Nonlinear System Modeling and Identification , 2022 .

[16]  Anthony J. Calise,et al.  Nonlinear adaptive flight control using neural networks , 1998 .

[17]  Gerald Sommer,et al.  On-line Learning with Dynamic Cell Structures , 2004 .

[18]  Johann Schumann,et al.  A tool for verification and validation of neural network based adaptive controllers for high assurance systems , 2004, Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings..

[19]  Derong Liu,et al.  Neural networks for modeling and control of dynamic systems: a practitioner's handbook: M. Nørgaard, O. Ravn, N.K. Poulsen, and L.K. Hansen; Springer, London, 2000, 246pp., paperback, ISBN 1-85233-227-1 , 2002, Autom..

[20]  Heekuck Oh,et al.  Neural Networks for Pattern Recognition , 1993, Adv. Comput..

[21]  Johann Schumann,et al.  Monitoring the Performance of a Neuro-Adaptive Controller , 2004 .

[22]  Gerald Sommer,et al.  Dynamic Cell Structures , 1994, NIPS.

[23]  Bernd Fritzke,et al.  Growing cell structures--A self-organizing network for unsupervised and supervised learning , 1994, Neural Networks.

[24]  Zhiwei Xu,et al.  Predicting with Confidence - An Improved Dynamic Cell Structure , 2005, ICNC.