Stability monitoring and analysis of learning in an adaptive system

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2005, Pages 70-79

  Yerramalla, Sampath ^a   Cukic, Bojan ^a   Mladenovski, Martin ^a,c   Fuller, Edgar ^b  

^a West Virginia University   (United States)

^b WEST VIRGINIA UNIVERSITY   (United States)

^c MICROSOFT   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE COMPUTING SYSTEMS; DEMPSTER-SHAFER THEORY; SOFTWARE VERIFICATION; STABILITY MONITORING;

ASYMPTOTIC STABILITY; COMPUTATIONAL METHODS; COMPUTER SOFTWARE; DATA ACQUISITION; LEARNING ALGORITHMS; LYAPUNOV METHODS;

ADAPTIVE SYSTEMS;

EID: 27544450504     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2005.89     Document Type: Conference Paper

References (20)

1. J. Bruske, G. Sommer. Dynamic Cell Structures, Neural Information Processing Systems, Vol.7, pp.497-504, 1995.
2. J. Bruske, G. Sommer. Dynamic Cell Structure Learns Perfectly Topology Preserving Map. Neural Computations, Vol.7, No.4, pp.845-865, 1995.
3. C. C. Jorgensen. Feedback Linearized Aircraft Control Using Dynamic Cell Structures. World Automation Congress, ISSCI 050.1-050.6, Alaska, 1991.
4. The Boeing Company. Intelligent Flight Control: Advanced Concept Program. Project report, 1999.
5. S. Yerramalla, B. Cukic, E. Fuller. Lyapunov Stability Analysis of Quantization Error for DCS Neural Networks. International Joint Conference on Neural Networks, Oregon, July 2003.
6. S. Yerramalla, B. Cukic, E. Fuller. Lyapunov Analysis of Neural Network Stability in an Adaptive Flight Control System. Sixth Symposium on Self-Stabilbizing Systems, 2003.
7. J. Hull, D. Ward, R. R. Zakrzewski. Verification and Validation of Neural Networks for Safety-Critical Applications. In Proc. of the American Control Conference, Vol.6, No.8-10, pp.4789-4794, May 2002.
8. M. A. Boyd, J. Schumann, G. Brat, D. Giannakopoulou, B. Cukic, A. Mili. "Validation and Verification Process Guide for Software and Neural Nets". A technical report for NASA Ames Research Center, 2001.
9. M. Lowry, M. Boyd, D. Kulkarni. Towards a Theory for Integration of Mathematical Verification and Empirical Testing. In Proc. of the 13th IEEE International Conference on Automated Software Engineering, pp.332-331, October 1998.
10. B. J. Taylor, M. A. Darrah. Verification and Validation of Neural Networks: A Sampling of Research in Progress. In Proc. of the AeroSense, Orlando, FL, April 2003.
11. X. Yu, M. O. Efe, O. Kaynak. A Backpropagation Learning Framework for Feedforward Neural Networks, IEEE Transactions on Neural Networks, No. 0-7803-6685-9/01, 2001.
12. M. G. Perhinschi, G. Campa, M. R. Napolitano, M. Lando, L. Massotti, M. L. Fravolini. A Simulation Tool for online Real-Time Parameter Identification. In Proc. of the AIAA Modeling and Simulation Conference, 2002.
13. N. Rouche, P. Habets, M. Laloy. Stability Theory by Liapunov's Direct Method. Springer-Verlag, New York Inc. publishers, 1997.
14. V. I. Zubov. Methods of A. M. Lyapunov and Their Applications. U.S. Atomic Energy Commission, 1957.
15. Philip K. McKinley, Sayed M. Sadjadi, Eric P. Kasten, Betty H. C. Cheng. Composing Adaptive Software. Computer, July 2004.
16. Robin R. Murphy. Adaptive Rule of Combinations for Observations Over Time. Fusion and Integration for Intelligent Systems (MFI96), Dec. 8-11, pp.125-131, 1996.
17. Robin R. Murphy. Dempster-Shafer Theory for Sensor Fusion in Autonomous Mobile Robots. IEEE Transactions on Robotics and Automation, Vol. 14, Issue 2, Apr 1998, pp: 197-206.
18. Yifeng Zhou, Henry Leung. Minimum Entropy Approach for Multisensor Data Fusion. In Proceedings of the 1997 IEEE Signal Processing Workshop on Higher Order Statistics (SPW-HOS '97), 1997.
19. B. Solaiman, L.E. Pierce, F.T. Ulaby. Multisensor Data Fusion Using Fuzzy Concepts: Application to Land-Cover Classification Using ERS-I/JERS-I SAR Composites. IEEE Transactions on Geoscience and Remote Sensing, Vol. 37, Issue 3, May 1999.
20. H. K. Khalil. Nonlinear Systems (2nd edn). Prentice-Hall: Upper Saddle River, 1996.