{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:10:20Z","timestamp":1725549020075},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540244226"},{"type":"electronic","value":"9783540309604"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30960-4_12","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T19:19:26Z","timestamp":1267125566000},"page":"173-188","source":"Crossref","is-referenced-by-count":5,"title":["An Approach to V&V of Embedded Adaptive Systems"],"prefix":"10.1007","author":[{"given":"Sampath","family":"Yerramalla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edgar","family":"Fuller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bojan","family":"Cukic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Srikanth","family":"Gururajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"The Boeing Company, Intelligent flight control: advanced concept program, Technical report (1999)","key":"12_CR1"},{"unstructured":"Jorgensen, C.C.: Feedback linearized aircraft control using dynamic cell structures, World Automation Congress (ISSCI), Alaska, pp. 050.1\u2013050.6 (1991)","key":"12_CR2"},{"issue":"6","key":"12_CR3","doi-asserted-by":"publisher","first-page":"1280","DOI":"10.2514\/3.21542","volume":"18","author":"M. Napolitano","year":"1995","unstructured":"Napolitano, M., Neppach, C.D., Casdorph, V., Naylor, S., Innocenti, M.: A neural network-based scheme for sensor failure detection, identification and accomodation. AIAA Journal of Control and Dynamics\u00a018(6), 1280\u20131286 (1995)","journal-title":"AIAA Journal of Control and Dynamics"},{"unstructured":"Institute of Software Reseach. Dynamic cell structure neural network report for the intelligent flight control system, Technical report, Document ID: IFC-DCSRD002- UNCLASS-010401 (January 2001)","key":"12_CR4"},{"doi-asserted-by":"crossref","unstructured":"Schumann, J., Nelson, S.: Towards V&V of neural network based controllers. In: Workshop on Self-Healing Systems (2002)","key":"12_CR5","DOI":"10.1145\/582128.582141"},{"unstructured":"Mackall, D., Nelson, S., Schumann, J.: Verification validation of neural networks of aerospace applications, Technical report, CR-211409, NASA (2002)","key":"12_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 (September 2001)","key":"12_CR7"},{"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, Hong Kong (September 2004)","key":"12_CR8"},{"key":"12_CR9","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., Mladenovski, M., Cukic, B.: Lyapunov Analysis of Neural Network Stability in an Adaptive Flight Control System. In: Huang, S.-T., Herman, T. (eds.) SSS 2003, vol.\u00a02704, pp. 77\u201391. Springer, Heidelberg (2003)"},{"key":"12_CR10","volume-title":"Statistical learning theory","author":"V.N. Vapnik","year":"1998","unstructured":"Vapnik, V.N.: Statistical learning theory. Wiley, Chichester (1998)"},{"unstructured":"Tax, D.M.J., Duin, R.P.W.: Outliers and data descriptions. In: Proc. ASCI 2001, 7th Annual Conf. of the Advanced School for Computing and Imaging, Heijen, NL,ASCI, Delft, May 30-June 1, pp. 234\u2013241 (2001)","key":"12_CR11"},{"issue":"11-13","key":"12_CR12","doi-asserted-by":"publisher","first-page":"1191","DOI":"10.1016\/S0167-8655(99)00087-2","volume":"20","author":"D.M.J. Tax","year":"1999","unstructured":"Tax, D.M.J., Duin, R.P.W.: Support vector domain description. Pattern Recognition Letters\u00a020(11-13), 1191\u20131199 (1999)","journal-title":"Pattern Recognition Letters"},{"unstructured":"Tax, D.M.J., Duin, R.P.W.: Data domain description using support vectors. In: Proc. European Symposium on Artificial Neural Networks, Bruges, D-Facto, Brussels, April 21-23 (1999), pp. 251\u2013257 (1999)","key":"12_CR13"},{"unstructured":"Tax, D.M.J., Ypma, A., Duin, R.P.W.: Support vector data description applied to machine vibration analysis. In: Proc. 5th Annual Conference of the Advanced School for Computing and Imaging, Heijen, NL, ASCI, Delft, June 15-17, pp. 398\u2013405 (1999)","key":"12_CR14"},{"issue":"9","key":"12_CR15","doi-asserted-by":"publisher","first-page":"1464","DOI":"10.1109\/5.58325","volume":"78","author":"T. Kohonen","year":"1990","unstructured":"Kohonen, T.: The self-organizing map. Proc. of the IEEE\u00a078(9), 1464\u20131480 (1990)","journal-title":"Proc. of the IEEE"},{"unstructured":"Zubov, V.I.: Methods of A. M. Lyapunov and their applications. U.S. Atomic Energy Commission (1957)","key":"12_CR16"},{"issue":"9","key":"12_CR17","doi-asserted-by":"publisher","first-page":"1441","DOI":"10.1016\/0893-6080(94)90091-4","volume":"7","author":"B. Fritzke","year":"1993","unstructured":"Fritzke, B.: Growing cell structures - a self-organizing network for unsupervised and supervised learning. Neural Networks\u00a07(9), 1441\u20131460 (1993)","journal-title":"Neural Networks"},{"issue":"3","key":"12_CR18","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1016\/0893-6080(94)90109-0","volume":"7","author":"T. Martinetz","year":"1994","unstructured":"Martinetz, T., Schulten, K.: Topology representing networks. Neural Networks\u00a07(3), 507\u2013522 (1994)","journal-title":"Neural Networks"},{"issue":"4","key":"12_CR19","doi-asserted-by":"publisher","first-page":"845","DOI":"10.1162\/neco.1995.7.4.845","volume":"7","author":"J. Bruske","year":"1995","unstructured":"Bruske, J., Sommer, G.: Dynamic cell structure learns perfectly topology preserving map. Neural Computation\u00a07(4), 845\u2013865 (1995)","journal-title":"Neural Computation"},{"key":"12_CR20","volume-title":"Stability theory by Liapunov\u2019s direct method","author":"N. Rouche","year":"1997","unstructured":"Rouche, N., Habets, P., Laloy, M.: Stability theory by Liapunov\u2019s direct method. Springer, New York Inc. (1997)"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Agent-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30960-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T13:46:37Z","timestamp":1552398397000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30960-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540244226","9783540309604"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30960-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}