Adaptive control software: Can we guarantee safety?

Proceedings - International Computer Software and Applications Conference

Volumn 2, Issue , 2004, Pages 100-103

  Liu, Yan ^a   Yerramalla, Sampath ^a   Fuller, Edgar ^a   Cukic, Bojan ^a   Gururajan, Srikanth ^a  

^a WEST VIRGINIA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT FLIGHT CONTROL SYSTEMS (IFCS); NEURAL NETWORK LEARNING; ONLINE ADAPTATION; ONLINE STABILITY MONITORING TOOLS;

COMPUTER SOFTWARE; CONTROL EQUIPMENT; LARGE SCALE SYSTEMS; LEARNING SYSTEMS; LYAPUNOV METHODS; ONLINE SYSTEMS; SYSTEM STABILITY;

ADAPTIVE CONTROL SYSTEMS;

EID: 18844391520     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1002/0471648272.ch7     Document Type: Conference Paper

References (10)

1. Hull J., David Ward, Radoslaw R. Zakrzewski. Verification and Validation of Neural Networks for Safety-critical Applications, Proc. of American Control Conference, 2002.
2. Johann Schumann, Pramod Gupta, Stacy Nelson. On Verification & Validation of Neural Network Based Controllers, Poc. of Engineering Applications of Neural Networks (EANN), 2003.
3. M.A. Boyd, J, Schumann, G. Brat, D. Giannakopoulou, B. Cukic, and A. Mill, Validation and verification process guide for software and neural nets, Technical report, NASA Ames Research Center, September 2001.
4. Charles C. Jorgensen. Feedback linearized aircraft control using dynamic cell structures, World Automation Congress (ISSCI), Alaska, 1991, 050.1-050.6.
5. Johann Schumann, and Stacy Nelson, Towards V&V of neural network based controllers. Workshop on Self-Healing Systems, 2002.
6. D. Mackall, S. Nelson, and J. Schumann. Verification and validation of neural networks of aerospace applications, Technical report, CR-211409, NASA, 2002.
7. V. N. Vapnik, Statistical learning theory, Wiley, 1998.
8. D.M.J. Tax, and R.P.W. Duin, Outliers and data descriptions, Proc. ASCI 2001, 7th Annual Conf. of the Advanced School for Computing and Imaging (Heijen, NL, May 30-June 1), ASCI, Delft, 2001, 234-241.
9. V. I. Zubov, Methods of A. M. Lyapunov and their applications, U.S. Atomic Energy Commission, 1957.
10. S. Yerramalla, E. Fuller, B. Cukic. Lyapunov Analysis of Neural Network Stability in an Adaptive Flight Control System, 6th Symposium on Self Stabilizing Systems (SSS-03), San Francisco, CA, June 2003.