Applications of Neural Networks in High Assurance Systems

"Applications of Neural Networks in High Assurance Systems" is the first book directly addressing a key part of neural network technology: methods used to pass the tough verification and validation (V&V) standards required in many safety-critical applications. The book presents what ki...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Schumann, Johann. (Editor), Liu, Yan. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series:Studies in Computational Intelligence, 268
Subjects:
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-10690-3
LEADER 03298nam a22005175i 4500
001 10286
003 DE-He213
005 20130725195326.0
007 cr nn 008mamaa
008 100306s2010 gw | s |||| 0|eng d
020 # # |a 9783642106903  |9 978-3-642-10690-3 
024 7 # |a 10.1007/978-3-642-10690-3  |2 doi 
050 # 4 |a TA329-348 
050 # 4 |a TA640-643 
072 # 7 |a TBJ  |2 bicssc 
072 # 7 |a MAT003000  |2 bisacsh 
082 0 4 |a 519  |2 23 
100 1 # |a Schumann, Johann.  |e editor. 
245 1 0 |a Applications of Neural Networks in High Assurance Systems  |c edited by Johann Schumann, Yan Liu.  |h [electronic resource] / 
264 # 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg,  |c 2010. 
300 # # |a 280p. 99 illus.  |b online resource. 
336 # # |a text  |b txt  |2 rdacontent 
337 # # |a computer  |b c  |2 rdamedia 
338 # # |a online resource  |b cr  |2 rdacarrier 
347 # # |a text file  |b PDF  |2 rda 
490 1 # |a Studies in Computational Intelligence,  |v 268  |x 1860-949X ; 
505 0 # |a Application of Neural Networks in High Assurance Systems: A Survey -- Robust Adaptive Control Revisited: Semi-Global Boundedness and Margins -- Network Complexity Analysis of Multilayer Feedforward Artificial Neural Networks -- Stability, Convergence, and Verification and Validation Challenges of Neural Net Adaptive Flight Control -- Dynamic Allocation in Neural Networks for Adaptive Controllers -- Immune Systems Inspired Approach to Anomaly Detection, Fault Localization and Diagnosis in Automotive Engines -- Pitch-Depth Control of Submarine Operating in Shallow Water via Neuro-adaptive Approach -- Stick-Slip Friction Compensation Using a General Purpose Neuro-Adaptive Controller with Guaranteed Stability -- Modeling of crude oil blending via discrete-time neural Networks -- Adaptive Self-Tuning Wavelet Neural Network Controller for a Proton Exchange Membrane Fuel Cell. 
520 # # |a "Applications of Neural Networks in High Assurance Systems" is the first book directly addressing a key part of neural network technology: methods used to pass the tough verification and validation (V&V) standards required in many safety-critical applications. The book presents what kinds of evaluation methods have been developed across many sectors, and how to pass the tests. A new adaptive structure of V&V is developed in this book, different from the simple six sigma methods usually used for large-scale systems and different from the theorem-based approach used for simplified component subsystems. 
650 # 0 |a Engineering. 
650 # 0 |a Artificial intelligence. 
650 # 0 |a Engineering mathematics. 
650 # 0 |a Industrial engineering. 
650 1 4 |a Engineering. 
650 2 4 |a Appl.Mathematics/Computational Methods of Engineering. 
650 2 4 |a Artificial Intelligence (incl. Robotics). 
650 2 4 |a Automotive Engineering. 
650 2 4 |a Industrial and Production Engineering. 
700 1 # |a Liu, Yan.  |e editor. 
710 2 # |a SpringerLink (Online service) 
773 0 # |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783642106897 
830 # 0 |a Studies in Computational Intelligence,  |v 268  |x 1860-949X ; 
856 4 0 |u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-10690-3 
912 # # |a ZDB-2-ENG 
950 # # |a Engineering (Springer-11647)