Verification and validation of neural networks: A sampling of research in progress

Proceedings of SPIE - The International Society for Optical Engineering

Volumn 5103, Issue , 2003, Pages 8-16

  Taylor, Brian ^a   Darrah, Marjorie ^a   Moats, Christina ^b  

^a Institute for Scientific Research Incorporated   (United States)

^b NASA IV and V Facility   (United States)

Author keywords

Neural networks; Software certification; Verification and validation

Indexed keywords

ADAPTIVE CONTROL SYSTEMS; AUTONOMOUS AGENTS; DATA REDUCTION; INTELLIGENT CONTROL; LEARNING ALGORITHMS; SAMPLING;

ADAPTIVE FLIGHT CONTROLLERS;

NEURAL NETWORKS;

EID: 0345376956     PISSN: 0277786X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1117/12.487527     Document Type: Conference Paper

References (28)

1. Skapura, David M. and Peter S. Gordon, Building Neural Networks, Addison-Wesley, 1996.
2. Ripley, B.D., Pattern Recognition and Neural Networks, Cambridge University Press, 1996.
3. Cukic, Bojan, Brian J. Taylor, and Harhsinder Singh, "Automated generation of test trajectories for embedded flight control systems," International Journal of Software Engineering and Knowledge Engineering, 12(2), pp. 175-200, 2002.
4. th IEEE International Conference on Tools with Artificial Intelligence, 2002.
5. Schumann, J., and Stacy Nelson, "Toward V&V of Neural Network Based Controllers," Workshop on Self-Healing Systems, 2002.
6. nd Generation RLV TA-5 IVHM Project, 2002.
7. Andrews, Robert; and S. Geva, "On the Effects of Initializing a Neural Network With Prior Knowledge," Proceedings of the International Conference on Neural Information Processing, pp. 251-256, Perth, Western Australia, 1999.
8. Andrews, Robert; J. Diederich; and A. B. Tickle, "A Survey and Critique Of Techniques For Extracting Rules From Trained Artificial Neural Networks." Knowledge Based Systems 8, pp.373-389, 1995.
9. Boz, Olcay, 2002, "Extracting Decision Trees From Trained Neural Networks," KDD-2002 The Eighth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2002.
10. Wing, J. M., "A Specifier's Introduction to Formal Methods," IEEE Computer 23 (9), pp.8-24, 1990.
11. CONNECT webpage, http://wwvv.first.fraunhofer.de/connect/
12. nn/xnn webpage, http://www.bgif.no/neureka/
13. Craven, M.W., and J.W. Shavik, "Extracting tree-structured representations of trained neural networks," Advances in Neural Information Processing Systems 8, MIT Press, Denver, CO., 1996.
14. Bishop, C. M., Neural Networks for Pattern Recognition. Oxford University Press, Oxford, 2000.
15. Sharkey, Amanda and Noel Sharkey, "How to improve the reliability of Artificial Neural Networks". Department of Computer Science, University of Sheffield, UK. Research Report CS-95-11, 1995.
16. Sharkey, AJ.C., N.E. Sharkey, and O.G. Chandroth, "Neural nets and diversity, Proceedings of the 14th International Conference on Computer Safety, Reliability and Security, pp. 375-389,Springer-Verlag, 1995.
17. Krogh, Anders and Jesper Veldelsby, "Neural network ensembles, cross validation, and active learning." Advances in Neural Information Processing Systems 7, pp. 231-238, 1995.
18. Craven, Mark W., and Jude W. Shavlik, "Visualizing learning and computation in artificial neural networks," International Journal on Artificial Intelligence Tools 1 (3), pp. 399-425, 1992.
19. Wejchert, J., and G. Tesauro, "Neural network visualization," Advances in Neural Information Processing System 2, pp. 465-472, 1990.
20. Munro, P., "Visualization of 2-D hidden unit space," Technical Report LIS035/IS91003, School of Library and Information Science, University of Pittsburgh, Pittsburgh, PA, 1991.
21. Pratt, L. Y. and S. Nicodemus, "Case studies in the use of a hyperplane animator for neural network research," Proceedings of the IEEE International Conference on Neural Networks, IEEE World Congress on Computational Intelligence 1, pp. 78-83, 1993.
22. th International Symposium on Artificial Intelligence, Robotics, and Automation for Space, Tokyo, Japan, 1997.
23. Perhinschi M. G., G. Campa, M. R. Napolitano, M. Lando, L. Massotti, M. L. Fravolini, "A Simulation Tool for On-Line Real Time Parameter Identification," Proceedings of the AIAA Modeling and Simulation Conference, AIAA2002-4685, Monterey, CA, 2002.
24. Mathworks, Inc., Neural Network User's Guide (version 3), 1998.
25. Perhinschi, M. G., G. Campa, M. R. Napolitano, M. Lando, L. Massotti, and M.L. Fravolini, "Modeling and simulation of a fault tolerant flight control system." Submitted to International Journal of Modelling and Simulation in April 2002.
26. Instant Recall, Inc., Final Report for the Verification and Validation of Neural Nets, 1997. http://www.irecall.com/neural/nnindex.htm
27. Yao, Xin, "Evolving Artificial Neural Networks," Proceedings of the IEEE 87(9), pp.1423-1447, 1999.
28. Hull, J., David Ward, Radoslaw R. Zakrzewski, "Verification and Validation of Neural Networks for Safety-Critical Applications," Proceedings of American Control Conference, Anchorage, AK, 2002.