Toward V&V of Neural Network Based Controllers

Proceedings of the first ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02)

Volumn , Issue , 2002, Pages 67-72

  Schumann, Johann ^a   Nelson, Stacy ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; CONTROL EQUIPMENT; CONTROL SYSTEMS; DATA REDUCTION; ONLINE SYSTEMS;

SELF-HEALING SYSTEMS;

NEURAL NETWORKS;

EID: 0141649359     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/582128.582141     Document Type: Conference Paper

References (20)

1. C. M. Bishop. Neural Networks for Pattern Recognition. Clarendon-Press, Oxford, 1995.
2. 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.
3. J. E. Dennis and R. B. Schnabel. Numerical Methods for Unconstrained Optimization and Nonlinear Equations, volume 16 of Classics in Applied Mathematics. SIAM, 1996.
4. DO-178B: Software considerations in airborne systems and equipment certification. URL: http://www.rtca.org, 1992.
5. 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.
6. P. Gill, W. Murray, and M. Wright. Practical Optimization. Academic Press, 1981.
7. 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.
8. IEEE standards 12207.0, 12207.1, 12207.2. URL: http://ieeexplore.ieee.org, 1997.
9. C. Jorgensen. Direct adaptive aircraft control using neural networks. Technical Report TM-47136, NASA, 1997.
10. 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.
11. A. Kelkar. Neural networks for modeling and control of dynamic systems. Presentation at NASA Ames, Code IC, 2001.
12. D. Mackall, S. Nelson, and J. Schumann. Verification and Validation of Neural Networks of Aerospace Applications. Technical Report CR-211409, NASA, 2002.
13. NASA guidebook for safety critical software. Technical Report NASA-GB-1740.13-96, NASA, 1996.
14. 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).
15. M. Norgaard, O. Ravn, N. Poulsen, and L. K. Hansen. Neural Networks for Modeling and Control of Dynamic Systems. Springer, 2002.
16. A. Sastry and M. Bodson. Adaptive Control: Stability, Convergence and Robustness, Prentice Hall, 1994. http://www.ece.utah.edu/̃bodson/acscr.
17. J. Schumann. Vericonn: Verification of controllers based on adaptive neural networks - white paper -. Technical report, NASA Ames, Automated Software Engineering, 2001.
18. J. Schumann. V&V issues for neural networks. Technical Report RIACS-TR-XX-02, RIACS, 2002.
19. D. Soloway and P. Haley. Reconfigurable flight control using neural generalized predictive control. In AIAA. Space 2000 Conference, number AIAA-2000-5328. AIAA, 2000.
20. J. Totah. Adaptive flight control and on-line learning. In AIAA Guidance, Navigation and Control Conference 1997, number AIAA-97-3537. AIAA, 1997.