{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T06:57:33Z","timestamp":1760079453519},"publisher-location":"Berlin, Heidelberg","reference-count":57,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642106897"},{"type":"electronic","value":"9783642106903"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-10690-3_1","type":"book-chapter","created":{"date-parts":[[2010,3,6]],"date-time":"2010-03-06T06:47:07Z","timestamp":1267858027000},"page":"1-19","source":"Crossref","is-referenced-by-count":15,"title":["Application of Neural Networks in High Assurance Systems: A Survey"],"prefix":"10.1007","author":[{"given":"Johann","family":"Schumann","sequence":"first","affiliation":[]},{"given":"Pramod","family":"Gupta","sequence":"additional","affiliation":[]},{"given":"Yan","family":"Liu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"American Power Conference. Proceesings of the American Power Conference 1998, vol. 60, 2 vol. set (1998)"},{"key":"1_CR2","unstructured":"American National Standards. Software Engineering Standards. IEEE, Wiley and Sons (1984)"},{"key":"1_CR3","volume-title":"Adaptive Control","author":"K.J. Astrom","year":"1994","unstructured":"Astrom, K.J., Wittenmark, B.: Adaptive Control. Addison-Wesley, Reading (1994)"},{"key":"1_CR4","unstructured":"Bansal, R.C.: Overview and literature survey of artificial neural networks applications to power systems (1992\u20132004). Journal - Institution of Engineers India. Electrical Engineering Division\u00a0(86), 282\u2013296 (2006)"},{"key":"1_CR5","unstructured":"The Boeing Company. Intelligent Flight Control: Advanced Concept Program. Technical Report (1999)"},{"key":"1_CR6","unstructured":"Boyd, M.A., Schumann, J., Brat, G., Giannakopoulou, D., Cukic, B., Mili, A.: Validation and verification process guide for software and neural nets. Technical report, NASA Ames Research Center (2001)"},{"issue":"6","key":"1_CR7","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/37.736008","volume":"21","author":"A. Calise","year":"1998","unstructured":"Calise, A., Rysdyk, R.: Nonlinear adaptive flight control using neural networks. IEEE Control Systems Magazine\u00a021(6), 14\u201326 (1998)","journal-title":"IEEE Control Systems Magazine"},{"key":"1_CR8","unstructured":"DO-178B: Software Considerations in Airborne Systems and Equipment Certification (1992), http:\/\/www.rtca.org"},{"key":"1_CR9","unstructured":"DTI. DTI final report: Evaluation of parallel processing and neural computing application programmes. Assessment Paper 38 URN 99\/922 (1999)"},{"key":"1_CR10","first-page":"545","volume-title":"Proc. ICSE 2001","author":"C. Ebert","year":"2001","unstructured":"Ebert, C., Parro, C.H., Suttels, R., Kolarczyk, H.: Improving Validation Activities in a Global Software Development. In: Proc. ICSE 2001, p. 545. IEEE, Los Alamitos (2001)"},{"key":"1_CR11","volume-title":"Neural Networks in Computer Intelligence","author":"L. Fu","year":"1994","unstructured":"Fu, L.: Neural Networks in Computer Intelligence. McGraw Hill, New York (1994)"},{"key":"1_CR12","first-page":"3017","volume-title":"Proc. IJCNN 2007","author":"A. Getman","year":"2007","unstructured":"Getman, A., Zhou, H., Jammalamadaka, S.: An automated network for detecting diesel engine misfire. In: Proc. IJCNN 2007, pp. 3017\u20133021. IEEE, Los Alamitos (2007)"},{"issue":"4","key":"1_CR13","doi-asserted-by":"publisher","first-page":"2164","DOI":"10.1016\/j.dss.2006.06.011","volume":"42","author":"D. Ghosh","year":"2007","unstructured":"Ghosh, D., Sharman, R., Rao, R.H., Upadhyaya, S.: Self-healing systems \u2014 survey and synthesis. Decision Support Systems\u00a042(4), 2164\u20132185 (2007)","journal-title":"Decision Support Systems"},{"key":"1_CR14","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF00344744","volume":"23","author":"S. Grossberg","year":"1988","unstructured":"Grossberg, S.: Adaptive pattern classification and universal recoding: I. Parallel development and coding of neural feature detectors. Biological Cybernetics\u00a023, 121\u2013134 (1976); Reprinted in Anderson and Rosenfeld (1988)","journal-title":"Biological Cybernetics"},{"issue":"1","key":"1_CR15","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1111\/j.1551-6708.1987.tb00862.x","volume":"11","author":"S. Grossberg","year":"1987","unstructured":"Grossberg, S.: Competitive learning: From interactive activation to adaptive resonance. Cognitive Science\u00a011(1), 23\u201363 (1987)","journal-title":"Cognitive Science"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Gupta, P., Guenther, K., Hodgkinson, J., Jacklin, S., Richard, M., Schumann, J., Soares, F.: Performance Monitoring and Assessment of Neuro-Adaptive Controllers for Aerospace Applications Using a Bayesian Approach. In: Guidance, Navigation and Control (GNC) Conference, AIAA 2005-6451 (2005)","DOI":"10.2514\/6.2005-6451"},{"issue":"2","key":"1_CR17","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s10115-006-0063-1","volume":"12","author":"O. Gusikhin","year":"2007","unstructured":"Gusikhin, O., Rychtyckyj, N., Filev, D.: Intelligent systems in the automotive industry: Applications and trends. Knowl. Inf. Syst.\u00a012(2), 147\u2013168 (2007)","journal-title":"Knowl. Inf. Syst."},{"key":"1_CR18","unstructured":"Tarafdar Haque, M., Kashtiban, A.M.: Application of neural networks in power systems: A Review. Transaction on Engineering, Computing and Technology (6), 53\u201356 (2005)"},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/0893-6080(89)90020-8","volume":"2","author":"K.M. Hornik","year":"1989","unstructured":"Hornik, K.M., Stinchcombe, M., White, H.: Multilayer Feedforward Networks are Universal Approximators. Neural Networks\u00a02, 359\u2013366 (1989)","journal-title":"Neural Networks"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Hrycej, T.: Neural-network-based car drive train control. In: Proc. 42nd IEEE Vehicular Technology Conference, vol.\u00a02, pp. 1042\u20131045 (1992)","DOI":"10.1109\/VETEC.1992.245249"},{"issue":"6","key":"1_CR21","first-page":"1707","volume":"28","author":"K.J. Hunt","year":"1996","unstructured":"Hunt, K.J., Sbabaro, D., Zbikowski, R., Gawthrop, P.J.: Neural Networks for Control Systems\u2014A Survey. Automatica\u00a028(6), 1707\u20131712 (1996)","journal-title":"Automatica"},{"key":"1_CR22","first-page":"753","volume-title":"Proc. First IEEE International Conference on Neural Networks","author":"W.R. Hutchison","year":"1987","unstructured":"Hutchison, W.R., Stephens, K.R.: The airline marketing tactician (AMT): A commercial application of adaptive networking. In: Proc. First IEEE International Conference on Neural Networks, vol.\u00a02, pp. 753\u2013756. IEEE, Los Alamitos (1987)"},{"key":"1_CR23","unstructured":"Irwin, D.: The industrial Electronics Handbook. Technology & Engineering (1997)"},{"key":"1_CR24","unstructured":"Jorgensen, C.: Feedback linearized aircraft control using dynamic cell structures. In: World Automation Congress (ISSCI), Alaska, pp. 050.1-050.6 (1991)"},{"key":"1_CR25","doi-asserted-by":"publisher","first-page":"813","DOI":"10.1097\/00003246-198510000-00009","volume":"13","author":"W.A. Knaus","year":"1985","unstructured":"Knaus, W.A., Draper, E.A., Wagner, D.P., Zimmerman, J.E.: Apache II: a Severity of Disease Classification System. Critical Care Medicine\u00a013, 813\u2013829 (1985)","journal-title":"Critical Care Medicine"},{"key":"1_CR26","unstructured":"Lawrence, S., Tsoi, A.C., Back, A.D.: Function approximation with neural networks and local methods: Bias, variance and smoothness. In: Australian Conference on Neural Networks, pp. 16\u201321 (1996)"},{"issue":"4","key":"1_CR27","doi-asserted-by":"publisher","first-page":"624","DOI":"10.1109\/72.143377","volume":"3","author":"J.A. Leonard","year":"1992","unstructured":"Leonard, J.A., Kramer, M.A., Ungar, L.H.: Using radial basis functions to approximate a function and its error bounds. IEEE Transactions on Neural Networks\u00a03(4), 624\u2013627 (1992)","journal-title":"IEEE Transactions on Neural Networks"},{"volume-title":"Current Applications of Neural Networks","year":"1992","key":"1_CR28","unstructured":"Lisboa, P. (ed.): Current Applications of Neural Networks. Chapman and Hall, Boca Raton (1992)"},{"volume-title":"Neural Network Applications in Business","year":"2000","key":"1_CR29","unstructured":"Lisboa, P., Vellido, A., Edisbury, B. (eds.): Neural Network Applications in Business. World Scientific, Singapore (2000)"},{"volume-title":"Artifical Neural Networks in Biomedicine","year":"2000","key":"1_CR30","unstructured":"Lisboa, P., Ifeachfor, E., Szczepaniak, P. (eds.): Artifical Neural Networks in Biomedicine. Springer, Heidelberg (2000)"},{"key":"1_CR31","unstructured":"Lisboa, P.: Industrial use of safety-related artificial neural networks. Contract Research Report 327\/2001, Liverpool John Moores University, Liverpool (2001)"},{"key":"1_CR32","unstructured":"Liu, Y., Yerramalla, S., Fuller, E., Cukic, B., Gururajan, S.: Adaptive Control Software: Can we guarantee safety? In: Proc. of the 28th International Computer Software and Applications Conference; Workshop on Software Cybernetics (2004)"},{"key":"1_CR33","doi-asserted-by":"crossref","first-page":"750","DOI":"10.1007\/11539087_99","volume-title":"Advances in Neural Computation","author":"Y. Liu","year":"2005","unstructured":"Liu, Y., Cukic, B., Jiang, M., Xu, Z.: Predicting with Confidence\u2014An Improved Dynamic Cell Structure. In: Advances in Neural Computation, vol.\u00a01, pp. 750\u2013759. Springer, Heidelberg (2005)"},{"key":"1_CR34","unstructured":"Liu, Y.: Validating A Neural Network-based Online Adaptive System. PhD thesis, West Virginia University, Morgantown (2005)"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Marshall, L.F., Tool, B.M., Bowers, S.A.: The National Traumatic Coma Data Bank Part 2: Patients who talk and deteriorate: Implications for treatment. Journal of Neurosurgery\u00a059(2) (1983)","DOI":"10.3171\/jns.1983.59.2.0285"},{"key":"1_CR36","unstructured":"Mathur, A., et al.: Turbine Back Pressure Identification and Optimization with Learning Neural Networks. Advances in Instrumentation and Control (45): 1, 229\u2013236 (1990)"},{"key":"1_CR37","unstructured":"Ram\u00edrez Mendoza, R.A., Morales-Men\u00e9ndez, R., Cant\u00fa-Ortiz, F.J.: Neural nets modelling for automotive welding process. In: Hamza, M.H. (ed.) Modelling and Simulation. Acta Press (2005)"},{"key":"1_CR38","volume-title":"Computer Related Risks","author":"P.G. Neumann","year":"1995","unstructured":"Neumann, P.G.: Computer Related Risks. ACM Press, New York (1995)"},{"key":"1_CR39","unstructured":"Ng, A., Jin Kim, H.: Stable adaptive control with online learning. In: Proceedings of NIPS, vol.\u00a017 (2005)"},{"key":"1_CR40","volume-title":"Neural Networks for Modeling and Control of Dynamic Systems","author":"M. Norgaard","year":"2002","unstructured":"Norgaard, M., Ravn, O., Poulsen, N.K., Hansen, L.K.: Neural Networks for Modeling and Control of Dynamic Systems. Springer, Heidelberg (2002)"},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"Peterson, G.E.: A foundation for neural network verification and validation. In: SPIE Science of Artificial Neural Networks II, vol.\u00a01966, pp. 196\u2013207 (1993)","DOI":"10.1117\/12.152651"},{"key":"1_CR42","volume-title":"Software Engineering: A Practitioner\u2019s Approach","author":"R. Pressman","year":"1999","unstructured":"Pressman, R.: Software Engineering: A Practitioner\u2019s Approach. McGraw-Hill, New York (1999)"},{"issue":"2-3","key":"1_CR43","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1016\/j.neunet.2007.12.043","volume":"21","author":"D. Prokhorov","year":"2008","unstructured":"Prokhorov, D.: Toyota Prius HEV Neurocontrol and Diagnostics. Neural Networks\u00a021(2-3), 458\u2013465 (2008)","journal-title":"Neural Networks"},{"key":"1_CR44","unstructured":"Pullum, L., Taylor, B., Darrah, M.: Guidance for the Verification and Validation of Neural Networks. Emerging Technologies. Wiley-IEEE Computer Society Press (2007)"},{"key":"1_CR45","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1002\/3527606181.ch9","volume-title":"Steels and Materials for Power Plants","author":"P. Ruha","year":"2006","unstructured":"Ruha, P., Peura, P., Oyj, R., Jansen, M.: Using Neural Networks in Steel Strip Rolling. In: Steels and Materials for Power Plants, pp. 51\u201356. Wiley, Chichester (2006)"},{"key":"1_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-89247-2_2","volume-title":"Runtime Verification","author":"J. Rushby","year":"2008","unstructured":"Rushby, J.: Runtime Certification. In: Leucker, M. (ed.) RV 2008. LNCS, vol.\u00a05289, pp. 21\u201335. Springer, Heidelberg (2008)"},{"key":"1_CR47","doi-asserted-by":"crossref","unstructured":"Rysdyk, R., Calise, A.: Fault tolerant flight control via adaptive neural network augmentation. AIAA American Institute of Aeronautics and Astronautics, AIAA-98-4483, pp. 1722\u20131728 (1998)","DOI":"10.2514\/6.1998-4483"},{"issue":"4","key":"1_CR48","doi-asserted-by":"publisher","first-page":"847","DOI":"10.1109\/72.595882","volume":"8","author":"S.D.G. Smith","year":"1997","unstructured":"Smith, S.D.G., Escobedo, R., Anderson, M., Caudell, T.P.: A deployed engineering design retrieval system using neural networks. IEEE Trans. on Neural Networks\u00a08(4), 847\u2013851 (1997)","journal-title":"IEEE Trans. on Neural Networks"},{"key":"1_CR49","unstructured":"Santoso, N., Petsche, T.: A Method for Blade Temperatrue Estimation in a Steam Turbine. European Patent, No EP0944866 (2001)"},{"key":"1_CR50","volume-title":"Adaptive Control: Stability, Convergence and Robustness","author":"A. Sastry","year":"1994","unstructured":"Sastry, A., Bodson, M.: Adaptive Control: Stability, Convergence and Robustness. Prentice Hall, Englewood Cliffs (1994), http:\/\/www.ece.utah.edu\/~bodson\/acscr"},{"key":"1_CR51","doi-asserted-by":"crossref","unstructured":"Schumann, J., Gupta, P.: Monitoring the performance of a neuro-adaptive controller. In: Proc. of the 24th Intl. Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering (2004)","DOI":"10.1063\/1.1835225"},{"key":"1_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"981","DOI":"10.1007\/11760023_145","volume-title":"Advances in Neural Networks - ISNN 2006","author":"J. Schumann","year":"2006","unstructured":"Schumann, J., Liu, Y.: Performance Estimation of a Neural Network-based Controller. In: Wang, J., Yi, Z., \u017burada, J.M., Lu, B.-L., Yin, H. (eds.) ISNN 2006. LNCS, vol.\u00a03972, pp. 981\u2013990. Springer, Heidelberg (2006)"},{"key":"1_CR53","volume-title":"IEEE Aerospace Conference","author":"J. Schumann","year":"2007","unstructured":"Schumann, J., Liu, Y.: Tools and Methods for the Verification and Validation of Adaptive Aircraft Control Systems. In: IEEE Aerospace Conference. IEEE Press, Los Alamitos (2007)"},{"key":"1_CR54","doi-asserted-by":"crossref","unstructured":"Tarassenko, L.: LogiCook and QUESTAR: two case studies in successful technology transfer. IEE Digest\u00a01997(14) (1997)","DOI":"10.1049\/ic:19970099"},{"key":"1_CR55","unstructured":"Tibshirani, R.: Bias, Variance and Prediction Error for Classification Rule. Technical Report, Statistics Department, University of Toronto (1996)"},{"key":"1_CR56","doi-asserted-by":"crossref","unstructured":"Yerramalla, S., Cukic, B., Fuller, E.: Lyapunov Stability Analysis of Quantization Error for DCS Neural Networks. In: Proc. Intl. Joint Conference on Neural Networks, IJCNN 2003 (2003)","DOI":"10.1109\/IJCNN.2003.1223790"},{"key":"1_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/3-540-45032-7_6","volume-title":"Self-Stabilizing Systems","author":"S. Yerramalla","year":"2003","unstructured":"Yerramalla, S., Fuller, E., Cukic, B.: Lyapunov Analysis of neural network stability in an adaptive flight control system. In: Huang, S.-T., Herman, T. (eds.) SSS 2003. LNCS, vol.\u00a02704, pp. 77\u201391. Springer, Heidelberg (2003)"}],"container-title":["Studies in Computational Intelligence","Applications of Neural Networks in High Assurance Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10690-3_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,24]],"date-time":"2021-10-24T06:59:18Z","timestamp":1635058758000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10690-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642106897","9783642106903"],"references-count":57,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10690-3_1","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2010]]}}}