Using fuzzy self-organising maps for safety critical systems

This paper defines a type of constrained Artificial Neural Network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. Previous work has defined a safety lifecycle for ANNs without detailing a specific neural model. Building on this previous work, the underpinning of the devised model is based upon an existing neuro-fuzzy system called the Fuzzy Self-Organising Map (FSOM). The FSOM is type of ‘hybrid’ ANN which allows behaviour to be described qualitatively and quantitatively using meaningful expressions. Safety of the FSOM is argued through adherence to safety requirements – derived from hazard analysis and expressed using safety constraints. The approach enables the construction of compelling (product-based) arguments for mitigation of potential failure modes associated with the FSOM. The constrained FSOM has been termed a ‘Safety Critical Artificial Neural Network’ (SCANN). The SCANN can be used for nonlinear function approximation and allows certified learning and generalisation. A discussion of benefits for real-world applications is also presented within the paper.

[1]  Wen Wu,et al.  Towards Developing Verifiable Neural Network Controller , 1996 .

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

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

[4]  S. Hyakin,et al.  Neural Networks: A Comprehensive Foundation , 1994 .

[5]  Zeshan Kurd,et al.  Artificial Neural Networks in Safety-critical Applications , 2002 .

[6]  Paulo J,et al.  Industrial use of safety-related artificial neural networks , 2001 .

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

[8]  Jim Austin,et al.  Developing artificial neural networks for safety critical systems , 2006, Neural Computing and Applications.

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

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

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

[12]  Teuvo Kohonen,et al.  Self-Organization and Associative Memory , 1988 .

[13]  David Clark,et al.  Safety and Security Analysis of Object-Oriented Models , 2002, SAFECOMP.

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

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

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

[17]  Tim Kelly,et al.  Safety Lifecycle for Developing Safety Critical Artificial Neural Networks , 2003, SAFECOMP.

[18]  Petri Vuorimaa,et al.  Fuzzy self-organizing map , 1994 .

[19]  Tim Kelly,et al.  Establishing Safety Criteria for Artificial Neural Networks , 2003, KES.

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

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

[22]  Tim Kelly,et al.  Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control , 2005, SAFECOMP.

[23]  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).

[24]  José Valente de Oliveira,et al.  Semantic constraints for membership function optimization , 1999, IEEE Trans. Syst. Man Cybern. Part A.

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

[26]  J. Mendel.  Fuzzy logic systems for engineering: a tutorial , 1995, Proc. IEEE.