ABSTRACT
Online adaptation is a powerful means to handle unexpected slow or catastrophic changes of the system's behavior (e.g., a stuck or broken rudder of an aircraft). Therefore, adaptation is one way for realizing a self-healing system. Substantial research and development has been made to use neural networks (NN) for such tasks (e.g., integrated in various unmanned helicopters and test-flown on a modified F-15 aircraft). Despite the advantages of adaptive neural network based systems, the lack of methods to perform certification, verification, and validation (V&V) of such systems severely restricts their applicability.In this paper, we report on ongoing work to develop V&V techniques and processes for NN-based safety-critical control systems, in our case an aircraft flight control system. Although the project ultimately aims at V&V of online adaptive systems, this paper focuses on the first part of this project dealing with so-called pre-trained neural networks (PTNN). V&V techniques developed here are important pre-requisites for handling the online adaptive case. In particular, we describe highlights of a process guide which has been developed within this project and discuss important V&V issues which need to be addressed during certification.
- C. M. Bishop. Neural Networks for Pattern Recognition. Clarendon-Press, Oxford, 1995. Google ScholarDigital Library
- A. Calise and R. Rysdyk. Adaptive model inversion flight control for tiltrotor aircraft. In AIAA Guidance, Navigation and Control Conference 1997, number AIAA-97-3758. AIAA, 1997.Google Scholar
- J. E. Dennis and R. B. Schnabel. Numerical Methods for Unconstrained Optimization and Nonlinear Equations, volume 16 of Classics in Applied Mathematics. SIAM, 1996. Google ScholarDigital Library
- DO-178B: Software considerations in airborne systems and equipment certification. URL: http://www.rtca.org, 1992.Google Scholar
- S. S. Ge, T. Lee, and C. J. Harris. Adaptive Neural Network Control of Robotic Manipulators, volume 19 of World Scientific Series in Robotics and Intelligent Systems. World Scientific, 1998. Google ScholarDigital Library
- P. Gill, W. Murray, and M. Wright. Practical Optimization. Academic Press, 1981.Google Scholar
- M. Idan, M. Johnson, and A. Calise. A hierarchical approach to adaptive control for improved flight safety. In AIAA Guidance, Navigation and Control Conference 2001, number AIAA-2001-4209. AIAA, 2001.Google Scholar
- IEEE standards 12207.0, 12207.1, 12207.2. URL: http://ieeexplore.ieee.org, 1997.Google Scholar
- C. Jorgensen. Direct adaptive aircraft control using neural networks. Technical Report TM-47136, NASA, 1997.Google Scholar
- J. Kaneshige and K. Gundy-Burlet. Integrated neural flight and propulsion control system. In AIAA Guidance, Navigation and Control Conference 2001, number AIAA-2001-4386. AIAA, 2001.Google Scholar
- A. Kelkar. Neural networks for modeling and control of dynamic systems. Presentation at NASA Ames, Code IC, 2001.Google Scholar
- D. Mackall, S. Nelson, and J. Schumann. Verification and Validation of Neural Networks of Aerospace Applications. Technical Report CR-211409, NASA, 2002.Google Scholar
- NASA guidebook for safety critical software. Technical Report NASA-GB-1740.13-96, NASA, 1996.Google Scholar
- NASA procedures and guidelines NPG: 2820.draft, NASA software guidelines and requirements as of 3/19/01. NASA Ames Research Center, Moffett Field, California, USA, 2001. (Responsible Office: Code AE/Office of the Chief Engineer).Google Scholar
- M. Norgaard, O. Ravn, N. Poulsen, and L. K. Hansen. Neural Networks for Modeling and Control of Dynamic Systems. Springer, 2002. Google ScholarDigital Library
- A. Sastry and M. Bodson. Adaptive Control: Stability, Convergence and Robustness. Prentice Hall, 1994. http://www.ece.utah.edu/~bodson/acscr. Google ScholarDigital Library
- J. Schumann. Vericonn: Verification of controllers based on adaptive neural networks --- white paper---. Technical report, NASA Ames, Automated Software Engineering, 2001.Google Scholar
- J. Schumann. V&V issues for neural networks. Technical Report RIACS-TR-XX-02, RIACS, 2002.Google Scholar
- D. Soloway and P. Haley. Reconfigurable flight control using neural generalized predictive control. In AIAA Space 2000 Conference, number AIAA-2000-5328. AIAA, 2000.Google ScholarCross Ref
- J. Totah. Adaptive flight control and on-line learning. In AIAA Guidance, Navigation and Control Conference 1997, number AIAA-97-3537. AIAA, 1997.Google Scholar
- Toward V&V of neural network based controllers
Recommendations
Comparative Study of Neural Network Controllers for Nonlinear Dynamic Systems
AI '00: Proceedings of the 13th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial IntelligenceControllers based on artificial neural networks (ANNs) are demonstrating high potential in the nonconventional control of nonlinear dynamic systems. This work presents a comparative study of neurocontrollers based on different topologies of ANN, namely ...
FPGA Design and Implementation Issues of Artificial Neural Network Based PID Controllers
ARTCOM '09: Proceedings of the 2009 International Conference on Advances in Recent Technologies in Communication and ComputingThis paper discusses implementation issues of FPGA and ANN based PID controllers. FPGA-based reconfigurable computing architectures are suitable for hardware implementation of neural networks. FPGA realization of ANNs with a large number of neurons is ...
AdaBoost-based artificial neural network learning
A boosting-based method of learning a feed-forward artificial neural network (ANN) with a single layer of hidden neurons and a single output neuron is presented. Initially, an algorithm called Boostron is described that learns a single-layer perceptron ...
Comments