Artificial Neural Networks in Safety-critical Applications

[1]  H. R. Berenji,et al.  Fuzzy Logic Controllers , 1992 .

[2]  Adam Krzyżak,et al.  Methods of combining multiple classifiers and their applications to handwriting recognition , 1992, IEEE Trans. Syst. Man Cybern..

[3]  Geoffrey E. Hinton,et al.  A Learning Algorithm for Boltzmann Machines , 1985, Cogn. Sci..

[4]  Teuvo Kohonen,et al.  Self-Organization and Associative Memory, Third Edition , 1989, Springer Series in Information Sciences.

[5]  Bart Kosko,et al.  Fuzzy Engineering , 1996 .

[6]  Demetri Psaltis,et al.  Optical Neural Computers , 1987, Topical Meeting on Optical Computing.

[7]  Jim Woodcock,et al.  Using Z - specification, refinement, and proof , 1996, Prentice Hall international series in computer science.

[8]  Liming Chen,et al.  N-VERSION PROGRAMMINC: A FAULT-TOLERANCE APPROACH TO RELlABlLlTY OF SOFTWARE OPERATlON , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..

[9]  L. Cooper,et al.  When Networks Disagree: Ensemble Methods for Hybrid Neural Networks , 1992 .

[10]  Sompolinsky,et al.  Spin-glass models of neural networks. , 1985, Physical review. A, General physics.

[11]  Jyh-Shing Roger Jang,et al.  ANFIS: adaptive-network-based fuzzy inference system , 1993, IEEE Trans. Syst. Man Cybern..

[12]  Stephen Grossberg,et al.  A massively parallel architecture for a self-organizing neural pattern recognition machine , 1988, Comput. Vis. Graph. Image Process..

[13]  Constance L. Heitmeyer,et al.  Model Checking Complete Requirements Specifications Using Abstraction , 2004, Automated Software Engineering.

[14]  Mahdi Mahfouf,et al.  Unconstrained and constrained generalised predictive control of depth of anaesthesia during surgery , 2003 .

[15]  Jose C. Principe,et al.  Neural and adaptive systems : fundamentals through simulations , 2000 .

[16]  John Fox,et al.  A flexible architecture for autonomous agents , 1997, J. Exp. Theor. Artif. Intell..

[17]  Ray L. Somorjai,et al.  Application of Several Methods of Classification Fusion to Magnetic Resonance Spectra , 1996, Connect. Sci..

[18]  Halbert White,et al.  Artificial Neural Networks: Approximation and Learning Theory , 1992 .

[19]  Geoffrey G. Towell,et al.  Symbolic knowledge and neural networks: insertion, refinement and extraction , 1992 .

[20]  John C. Cherniavsky,et al.  Validation, Verification, and Testing of Computer Software , 1982, CSUR.

[21]  A. Avizienis,et al.  Dependable computing: From concepts to design diversity , 1986, Proceedings of the IEEE.

[22]  Algirdas Avizienis,et al.  The N-Version Approach to Fault-Tolerant Software , 1985, IEEE Transactions on Software Engineering.

[23]  Simon Haykin,et al.  Neural Networks: A Comprehensive Foundation , 1998 .

[24]  Marvin Minsky,et al.  Perceptrons: An Introduction to Computational Geometry , 1969 .

[25]  Jude W. Shavlik,et al.  Extracting Refined Rules from Knowledge-Based Neural Networks , 1993, Machine Learning.

[26]  Tommi Ojala,et al.  Neuro-fuzzy systems in control , 1995 .

[27]  Michio Sugeno,et al.  Fuzzy identification of systems and its applications to modeling and control , 1985, IEEE Transactions on Systems, Man, and Cybernetics.

[28]  L. P. J. Veelenturf,et al.  Analysis and applications of artificial neural networks , 1995 .

[29]  Hilary Buxton,et al.  A hybrid approach to breast cancer diagnosis , 2001 .

[30]  J. Zalewski,et al.  Software safety analysis using rough sets , 1998, Proceedings IEEE Southeastcon '98 'Engineering for a New Era'.

[31]  D. Ward,et al.  Verification and validation of neural networks for safety-critical applications , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[32]  G. A. Miller.  THE PSYCHOLOGICAL REVIEW THE MAGICAL NUMBER SEVEN, PLUS OR MINUS TWO: SOME LIMITS ON OUR CAPACITY FOR PROCESSING INFORMATION 1 , 1956 .

[33]  Chuen-Chien Lee.  FUZZY LOGIC CONTROL SYSTEMS: FUZZY LOGIC CONTROLLER - PART I , 1990 .

[34]  John Fox,et al.  Safe and sound - artificial intelligence in hazardous applications , 2000 .

[35]  Noel E. Sharkey,et al.  Neural Nets and Diversity , 1995, SAFECOMP.

[36]  Nikola Kasabov,et al.  Foundations Of Neural Networks, Fuzzy Systems, And Knowledge Engineering [Books in Brief] , 1996, IEEE Transactions on Neural Networks.

[37]  Bev Littlewood,et al.  Modeling software design diversity: a review , 2001, CSUR.

[38]  Michael Kearns,et al.  A Bound on the Error of Cross Validation Using the Approximation and Estimation Rates, with Consequences for the Training-Test Split , 1995, Neural Computation.

[39]  Torres Wilfredo,et al.  Software Fault Tolerance: A Tutorial , 2000 .

[40]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[41]  B. Kosko.  Fuzzy systems as universal approximators , 1992, [1992 Proceedings] IEEE International Conference on Fuzzy Systems.

[42]  Joydeep Ghosh,et al.  Hybrid intelligent architecture and its application to water reservoir control , 1997 .

[43]  Christopher M. Bishop,et al.  Novelty detection and neural network validation , 1994 .

[44]  R. M. Pitblado,et al.  A Modified Hazop Methodology For Safety Critical System Assessment , 1993 .

[45]  Teuvo Kohonen,et al.  Associative memory. A system-theoretical approach , 1977 .

[46]  Christopher M. Bishop,et al.  Neural networks for pattern recognition , 1995 .

[47]  Eric N. Johnson,et al.  REUSABLE LAUNCH VEHICLE ADAPTIVE GUIDANCE AND CONTROL USING NEURAL NETWORKS , 2001 .

[48]  Ramanathan V. Guha,et al.  CYC: A Midterm Report , 1990, AI Mag..

[49]  Jonathan E. Fieldsend,et al.  Novel algorithms for multi-objective search and their application in multi-objective evolutionary neural network training , 2003 .

[50]  D M Rodvold,et al.  Artificial neural networks in clinical urology. , 1999, Urology.

[51]  George Cybenko,et al.  Approximation by superpositions of a sigmoidal function , 1992, Math. Control. Signals Syst..

[52]  Stefan Wermter,et al.  A Novel Modular Neural Architecture for Rule-Based and Similarity-Based Reasoning , 1998, Hybrid Neural Systems.

[53]  Noel E. Sharkey,et al.  Combining diverse neural nets , 1997, The Knowledge Engineering Review.

[54]  David S. Touretzky,et al.  Connectionist Approaches to Language Learning , 1991 .

[55]  Jim Austin,et al.  Safety critical neural networks , 1995 .

[56]  R. Tibshirani,et al.  Combining Estimates in Regression and Classification , 1996 .

[57]  Stephen Grossberg,et al.  The ART of adaptive pattern recognition by a self-organizing neural network , 1988, Computer.

[58]  Jeffrey L. Elman,et al.  Finding Structure in Time , 1990, Cogn. Sci..

[59]  Michael I. Jordan.  Attractor dynamics and parallelism in a connectionist sequential machine , 1990 .

[60]  Geoffrey E. Hinton,et al.  Learning representations by back-propagating errors , 1986, Nature.

[61]  Dr. Hans Hellendoorn,et al.  An Introduction to Fuzzy Control , 1996, Springer Berlin Heidelberg.

[62]  D.R. Wallace,et al.  Software verification and validation: an overview , 1989, IEEE Software.

[63]  Iain Bate,et al.  Architectural considerations in the certification of modular systems , 2002, Reliab. Eng. Syst. Saf..

[64]  Marcello R. Napolitano,et al.  Verifying Stability of Dynamic Soft-Computing Systems , 1997 .

[65]  B. Kosko,et al.  What is the best shape for a fuzzy set in function approximation? , 1996, Proceedings of IEEE 5th International Fuzzy Systems.

[66]  I. Turksen,et al.  Measurement of Membership Functions: Theoretical and Empirical Work , 2000 .

[67]  Lars Kai Hansen,et al.  Neural Network Ensembles , 1990, IEEE Trans. Pattern Anal. Mach. Intell..

[68]  Vladimir N. Vapnik,et al.  The Nature of Statistical Learning Theory , 2000, Statistics for Engineering and Information Science.

[69]  Julian Morris,et al.  Process Systems Applications of Artificial Neural Networks , 1995 .

[70]  W. Pitts,et al.  A Logical Calculus of the Ideas Immanent in Nervous Activity (1943) , 2021, Ideas That Created the Future.

[71]  David Robertson,et al.  Industrial Use of Safety-Related Expert Systems , 2000 .

[72]  D Psaltis,et al.  Optical implementation of the Hopfield model. , 1985, Applied optics.

[73]  Amanda J. C. Sharkey,et al.  On Combining Artificial Neural Nets , 1996, Connect. Sci..

[74]  David Zipser,et al.  Feature Discovery by Competive Learning , 1986, Cogn. Sci..

[75]  Jude Shavlik,et al.  A Framework for Combining Symbolic and Neural Learning , 1992 .

[76]  Costas Kiparissides,et al.  Mathematical Modelling and Sensitivity Analysis of High Pressure Polyethylene Reactors , 1986 .

[77]  Sebastian Thrun,et al.  Extracting Provably Correct Rules from Artificial Neural Networks , 1993 .

[78]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[79]  Robert A. Jacobs,et al.  Methods For Combining Experts' Probability Assessments , 1995, Neural Computation.

[80]  R. Yager,et al.  Analysis of Flexible Structured Fuzzy Logic Controllers , 1994, IEEE Trans. Syst. Man Cybern. Syst..

[81]  Watts S. Humphrey,et al.  Managing the software process , 1989, The SEI series in software engineering.

[82]  D. Keating-Wilkes,et al.  THE COSTS OF ACCIDENTS AT WORK , 1999 .

[83]  C. H. Sequin,et al.  Fault tolerance in artificial neural networks , 1990, 1990 IJCNN International Joint Conference on Neural Networks.

[84]  Lorenzo Strigini,et al.  The reliability of diverse systems: a contribution using modelling of the fault creation process , 2001, 2001 International Conference on Dependable Systems and Networks.

[85]  Teuvo Kohonen,et al.  Self-organized formation of topologically correct feature maps , 2004, Biological Cybernetics.

[86]  Nugroho Iwan Santoso,et al.  Nuclear plant fault diagnosis using probabilistic reasoning , 1999, 1999 IEEE Power Engineering Society Summer Meeting. Conference Proceedings (Cat. No.99CH36364).

[87]  Jude W. Shavlik,et al.  Knowledge-Based Artificial Neural Networks , 1994, Artif. Intell..

[88]  Morris W. Hirsch,et al.  Convergent activation dynamics in continuous time networks , 1989, Neural Networks.

[89]  Rudolf Kruse,et al.  A fuzzy neural network learning fuzzy control rules and membership functions by fuzzy error backpropagation , 1993, IEEE International Conference on Neural Networks.

[90]  Li-Xin Wang,et al.  Adaptive fuzzy systems and control - design and stability analysis , 1994 .

[91]  Felix Redmill.  Safety Integrity Levels — theory and problems , 2000 .

[92]  Neil R. Storey,et al.  Safety-critical computer systems , 1996 .

[93]  A. A. Mullin,et al.  Principles of neurodynamics , 1962 .

[94]  L. Wang,et al.  Fuzzy systems are universal approximators , 1992, [1992 Proceedings] IEEE International Conference on Fuzzy Systems.

[95]  George J. Klir,et al.  Fuzzy sets, uncertainty and information , 1988 .

[96]  P. Werbos,et al.  Beyond Regression : "New Tools for Prediction and Analysis in the Behavioral Sciences , 1974 .

[97]  Sandra Simonsen-Anderson,et al.  Safe and sound. , 2002, Nursing management.

[98]  D. Partridge,et al.  Engineering reliable neural networks , 1995 .

[99]  Noel E. Sharkey,et al.  The "Test and Select" Approach to Ensemble Combination , 2000, Multiple Classifier Systems.

[100]  Bernard Widrow,et al.  Adaptive switching circuits , 1988 .

[101]  William B. Yates,et al.  Engineering Multiversion Neural-Net Systems , 1996, Neural Computation.

[102]  Ashish Darbari,et al.  Rule Extraction from Trained ANN: A Survey , 2000 .

[103]  Tim Kelly,et al.  Arguing Safety - A Systematic Approach to Managing Safety Cases , 1998 .

[104]  Dietmar Reinert,et al.  Risk and system integrity concepts for safety-related control systems , 1993, Microprocess. Microsystems.

[105]  Alan F. T. Winfield,et al.  Designing Behaviour Based Systems Using the Space-time Distance Principle , 2001 .

[106]  E. Hisdal.  Are grades of membership probabilities , 1988 .

[107]  Derek Partridge,et al.  Software Diversity: Practical Statistics for Its Measurement and Exploitation | Draft Currently under Revision , 1996 .

[108]  Tim Kelly,et al.  Functional hazard analysis for highly integrated aerospace systems , 1998 .

[109]  Ali H. Sayed,et al.  LMS is H∞ Optimal , 1995 .

[110]  Terrence L. Fine,et al.  Sample Size Requirements for Feedforward Neural Networks , 1994, NIPS.

[111]  W. W. Royce,et al.  Managing the development of large software systems , 1970 .

[112]  Lionel Tarassenko,et al.  Clinical applications of artificial neural networks: Neural network analysis of sleep disorders , 2001 .

[113]  Peter J. Fleming,et al.  Fuzzy scheduling control of a gas turbine aero-engine: a multiobjective approach , 2002, IEEE Trans. Ind. Electron..

[114]  Efrem G. Mallach.  Emulator Architecture , 1975, Computer.

[115]  Peter G. Bishop,et al.  The Practicalities of Goal-Based Safety Regulation , 2001 .

[116]  Petri Vuorimaa,et al.  A neuro-fuzzy system for chemical agent detection , 1995, IEEE Trans. Fuzzy Syst..

[117]  Hao Ying,et al.  General SISO Takagi-Sugeno fuzzy systems with linear rule consequent are universal approximators , 1998, IEEE Trans. Fuzzy Syst..

[118]  Misha Mahowald,et al.  A silicon model of early visual processing , 1993, Neural Networks.

[119]  J J Hopfield,et al.  Neural networks and physical systems with emergent collective computational abilities. , 1982, Proceedings of the National Academy of Sciences of the United States of America.

[120]  Christian Genest,et al.  Combining Probability Distributions: A Critique and an Annotated Bibliography , 1986 .

[121]  Bev Littlewood,et al.  Choosing Between Fault-Tolerance and Increased V&V for Improving Reliability , 2000, PDPTA.

[122]  Stephen Grossberg,et al.  Adaptive pattern classification and universal recoding: II. Feedback, expectation, olfaction, illusions , 1976, Biological Cybernetics.

[123]  Eric N. Johnson,et al.  Adaptive guidance and control for autonomous launch vehicles , 2001, 2001 IEEE Aerospace Conference Proceedings (Cat. No.01TH8542).

[124]  David S. Broomhead,et al.  Multivariable Functional Interpolation and Adaptive Networks , 1988, Complex Syst..

[125]  Hideyuki Takagi,et al.  Neural networks designed on approximate reasoning architecture and their applications , 1992, IEEE Trans. Neural Networks.

[126]  M. Sugeno,et al.  Derivation of Fuzzy Control Rules from Human Operator's Control Actions , 1983 .

[127]  Sergio B. Guarro,et al.  Reliability, availability, maintainability and safety assessment: By Alain Villemeur. John Wiley & Sons Ltd, Baffins Lane, Chichester, West Sussex PO19 1UD, UK, ISBN 0-471-93048-2 (vol. 1) and ISBN 0-471-93049-0 (vol. 2) , 1994 .

[128]  David M. Rodvold.  A software development process model for artificial neural networks in critical applications , 1999, IJCNN'99. International Joint Conference on Neural Networks. Proceedings (Cat. No.99CH36339).

[129]  Mutsuo M. Yanase,et al.  Fuzziness and Probability , 1985 .

[130]  Peter A. Lindsay,et al.  A systematic approach to software safety integrity levels , 1997, SAFECOMP.

[131]  Fred Henrik Hamker,et al.  Life-long learning Cell Structures--continuously learning without catastrophic interference , 2001, Neural Networks.

[132]  Ian T. Nabney,et al.  Practical Assessment of Neural Network Applications , 1997, SAFECOMP.

[133]  Roger S. Pressman,et al.  Software Engineering: A Practitioner's Approach , 1982 .

[134]  B. W. Eddershaw,et al.  Lessons Learned from the Failure of a Computer System Controlling a Nylon Polymer Plant , 1987 .

[135]  Yoichi Hayashi,et al.  A Neural Expert System with Automated Extraction of Fuzzy If-Then Rules , 1990, NIPS.

[136]  Joachim Diederich,et al.  Survey and critique of techniques for extracting rules from trained artificial neural networks , 1995, Knowl. Based Syst..

[137]  W. Daniel Hillis,et al.  The connection machine , 1985 .

[138]  John E. Moody,et al.  Towards Faster Stochastic Gradient Search , 1991, NIPS.

[139]  Bev Littlewood,et al.  Conceptual Modeling of Coincident Failures in Multiversion Software , 1989, IEEE Trans. Software Eng..

[140]  Jose C. Principe,et al.  Neural and adaptive systems , 2000 .

[141]  David H. Krantz,et al.  From Indices to Mappings: The Representational Approach to Measurement , 1991 .

[142]  Fernando Santos Osório,et al.  INSS : un système hybride neuro-symbolique pour l'apprentissage automatique constructif , 1998 .

[143]  Nancy G. Leveson,et al.  Safeware: System Safety and Computers , 1995 .

[144]  Galina L. Rogova,et al.  Combining the results of several neural network classifiers , 1994, Neural Networks.