TY  - BOOK
AU  - Schumann,Johann
AU  - Liu,Yan
ED  - SpringerLink (Online service)
TI  - Applications of Neural Networks in High Assurance Systems
T2  - Studies in Computational Intelligence,
SN  - 9783642106903
AV  - TA329-348 
U1  - 519 23
PY  - 2010///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Engineering
KW  - Artificial intelligence
KW  - Engineering mathematics
KW  - Industrial engineering
KW  - Appl.Mathematics/Computational Methods of Engineering
KW  - Artificial Intelligence (incl. Robotics)
KW  - Automotive Engineering
KW  - Industrial and Production Engineering
N1  - 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 -- Design and Flight Test of an Intelligent Flight Control System -- 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 -- Erratum to: Network Complexity Analysis of Multilayer Feedforward Artificial Neural Networks
N2  - "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
UR  - http://dx.doi.org/10.1007/978-3-642-10690-3
ER  -