Verification And Validation Of Neural Networks For Aerospace Systems

Author : National Aeronautics and Space Administration (NASA)
Publisher : Createspace Independent Publishing Platform
Page : 86 pages
File Size : 45,7 Mb
Release : 2018-06-12
Category : Electronic
ISBN : 1721037608

Get Book

Verification and Validation of Neural Networks for Aerospace Systems by National Aeronautics and Space Administration (NASA) Pdf

The Dryden Flight Research Center V&V working group and NASA Ames Research Center Automated Software Engineering (ASE) group collaborated to prepare this report. The purpose is to describe V&V processes and methods for certification of neural networks for aerospace applications, particularly adaptive flight control systems like Intelligent Flight Control Systems (IFCS) that use neural networks. This report is divided into the following two sections: 1) Overview of Adaptive Systems; and 2) V&V Processes/Methods.Mackall, Dale and Nelson, Stacy and Schumman, Johann and Clancy, Daniel (Technical Monitor)Ames Research Center; Armstrong Flight Research CenterAEROSPACE SYSTEMS; NEURAL NETS; SOFTWARE ENGINEERING; PROGRAM VERIFICATION (COMPUTERS); ADAPTIVE CONTROL; FLIGHT CONTROL; PERFORMANCE TESTS; COMPUTERIZED SIMULATION; SENSITIVITY ANALYSIS; AIRCRAFT STRUCTURES

Author : Brian J. Taylor
Publisher : Springer Science & Business Media
Page : 280 pages
File Size : 52,9 Mb
Release : 2006-03-20
Category : Computers
ISBN : 9780387294858

Get Book

Methods and Procedures for the Verification and Validation of Artificial Neural Networks by Brian J. Taylor Pdf

Neural networks are members of a class of software that have the potential to enable intelligent computational systems capable of simulating characteristics of biological thinking and learning. Currently no standards exist to verify and validate neural network-based systems. NASA Independent Verification and Validation Facility has contracted the Institute for Scientific Research, Inc. to perform research on this topic and develop a comprehensive guide to performing V&V on adaptive systems, with emphasis on neural networks used in safety-critical or mission-critical applications. Methods and Procedures for the Verification and Validation of Artificial Neural Networks is the culmination of the first steps in that research. This volume introduces some of the more promising methods and techniques used for the verification and validation (V&V) of neural networks and adaptive systems. A comprehensive guide to performing V&V on neural network systems, aligned with the IEEE Standard for Software Verification and Validation, will follow this book.

Author : Laura L. Pullum,Brian J. Taylor,Marjorie A. Darrah
Publisher : John Wiley & Sons
Page : 146 pages
File Size : 50,9 Mb
Release : 2007-03-09
Category : Computers
ISBN : 9780470084571

Get Book

Guidance for the Verification and Validation of Neural Networks by Laura L. Pullum,Brian J. Taylor,Marjorie A. Darrah Pdf

This book provides guidance on the verification and validation of neural networks/adaptive systems. Considering every process, activity, and task in the lifecycle, it supplies methods and techniques that will help the developer or V&V practitioner be confident that they are supplying an adaptive/neural network system that will perform as intended. Additionally, it is structured to be used as a cross-reference to the IEEE 1012 standard.

Author : Dale Mackall
Publisher : Unknown
Page : 92 pages
File Size : 43,7 Mb
Release : 2002
Category : Adaptive control systems
ISBN : NASA:31769000714017

Get Book

Verification and Validation of Neural Networks for Aerospace Systems by Dale Mackall Pdf

Author : National Aeronautics and Space Administration (NASA)
Publisher : Createspace Independent Publishing Platform
Page : 86 pages
File Size : 50,6 Mb
Release : 2018-07-08
Category : Electronic
ISBN : 1722610751

Get Book

Knowledge-Based Aircraft Automation by National Aeronautics and Space Administration (NASA) Pdf

The ultimate goal of this report was to integrate the powerful tools of artificial intelligence into the traditional process of software development. To maintain the US aerospace competitive advantage, traditional aerospace and software engineers need to more easily incorporate the technology of artificial intelligence into the advanced aerospace systems being designed today. The future goal was to transition artificial intelligence from an emerging technology to a standard technology that is considered early in the life cycle process to develop state-of-the-art aircraft automation systems. This report addressed the future goal in two ways. First, it provided a matrix that identified typical aircraft automation applications conducive to various artificial intelligence methods. The purpose of this matrix was to provide top-level guidance to managers contemplating the possible use of artificial intelligence in the development of aircraft automation. Second, the report provided a methodology to formally evaluate neural networks as part of the traditional process of software development. The matrix was developed by organizing the discipline of artificial intelligence into the following six methods: logical, object representation-based, distributed, uncertainty management, temporal and neurocomputing. Next, a study of existing aircraft automation applications that have been conducive to artificial intelligence implementation resulted in the following five categories: pilot-vehicle interface, system status and diagnosis, situation assessment, automatic flight planning, and aircraft flight control. The resulting matrix provided management guidance to understand artificial intelligence as it applied to aircraft automation. The approach taken to develop a methodology to formally evaluate neural networks as part of the software engineering life cycle was to start with the existing software quality assurance standards and to change these standards to include neural network dev...

Author : W. Eric Wong,Bojan Cukic
Publisher : World Scientific
Page : 308 pages
File Size : 45,5 Mb
Release : 2011
Category : Computers
ISBN : 9789814340922

Get Book

Adaptive Control Approach for Software Quality Improvement by W. Eric Wong,Bojan Cukic Pdf

This book focuses on the topic of improving software quality using adaptive control approaches. As software systems grow in complexity, some of the central challenges include their ability to self-manage and adapt at run time, responding to changing user needs and environments, faults, and vulnerabilities. Control theory approaches presented in the book provide some of the answers to these challenges. The book weaves together diverse research topics (such as requirements engineering, software development processes, pervasive and autonomic computing, service-oriented architectures, on-line adaptation of software behavior, testing and QoS control) into a coherent whole. Written by world-renowned experts, this book is truly a noteworthy and authoritative reference for students, researchers and practitioners to better understand how the adaptive control approach can be applied to improve the quality of software systems. Book chapters also outline future theoretical and experimental challenges for researchers in this area.

Author : Michael G. Hinchey,James L. Rash,Walter F. Truszkowski,Christopher A. Rouff
Publisher : Springer
Page : 291 pages
File Size : 48,9 Mb
Release : 2005-01-25
Category : Computers
ISBN : 9783540309604

Get Book

Formal Approaches to Agent-Based Systems by Michael G. Hinchey,James L. Rash,Walter F. Truszkowski,Christopher A. Rouff Pdf

The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in April 2004 in conjunction with the IEEE Computer Society. The first FAABS workshop was help in April 2000 and the second in October 2002. Interest in agent-based systems continues to grow and this is seen in the wide range of conferences and journals that are addressing the research in this area as well as the prototype and developmental systems that are coming into use. Our third workshop, FAABS-III, was held in April, 2004. This volume contains the revised papers and posters presented at that workshop. The Organizing Committee was fortunate in having significant support in the planning and organization of these events, and were privileged to have wor- renowned keynote speakers Prof. J Moore (FAABS-I), Prof. Sir Roger Penrose (FAABS-II), and Prof. John McCarthy (FAABS-III), who spoke on the topic of se- aware computing systems, auguring perhaps a greater interest in autonomic computing as part of future FAABS events. We are grateful to all who attended the workshop, presented papers or posters, and participated in panel sessions and both formal and informal discussions to make the workshop a great success. Our thanks go to the NASA Goddard Space Flight Center, Codes 588 and 581 (Software Engineering Laboratory) for their financial support and to the IEEE Computer Society (Technical Committee on Complexity in Computing) for their sponsorship and organizational assistance.

Author : Jun Wang,Laiwan Chan,DeLiang Wang
Publisher : Springer
Page : 1227 pages
File Size : 48,7 Mb
Release : 2006-10-03
Category : Computers
ISBN : 9783540464853

Get Book

Neural Information Processing by Jun Wang,Laiwan Chan,DeLiang Wang Pdf

The three volume set LNCS 4232, LNCS 4233, and LNCS 4234 constitutes the refereed proceedings of the 13th International Conference on Neural Information Processing, ICONIP 2006, held in Hong Kong, China in October 2006. The 386 revised full papers presented were carefully reviewed and selected from 1175 submissions.

Author : Johann M.Ph. Schumann,Yan Liu
Publisher : Springer
Page : 248 pages
File Size : 53,6 Mb
Release : 2010-03-10
Category : Technology & Engineering
ISBN : 9783642106903

Get Book

Applications of Neural Networks in High Assurance Systems by Johann M.Ph. Schumann,Yan Liu Pdf

"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.

Author : Anonim
Publisher : Unknown
Page : 702 pages
File Size : 51,5 Mb
Release : 1995
Category : Aeronautics
ISBN : UIUC:30112048646605

Get Book

Scientific and Technical Aerospace Reports by Anonim Pdf

Author : Jun Wang
Publisher : Springer Science & Business Media
Page : 1470 pages
File Size : 53,6 Mb
Release : 2006-05-12
Category : Computers
ISBN : 9783540344377

Get Book

Advances in Neural Networks - ISNN 2006 by Jun Wang Pdf

This is Volume II of a three volume set constituting the refereed proceedings of the Third International Symposium on Neural Networks, ISNN 2006. 616 revised papers are organized in topical sections on neurobiological analysis, theoretical analysis, neurodynamic optimization, learning algorithms, model design, kernel methods, data preprocessing, pattern classification, computer vision, image and signal processing, system modeling, robotic systems, transportation systems, communication networks, information security, fault detection, financial analysis, bioinformatics, biomedical and industrial applications, and more.

Author : Ke Chen,Lipo Wang
Publisher : Springer
Page : 512 pages
File Size : 44,6 Mb
Release : 2006-11-15
Category : Computers
ISBN : 9783540361220

Get Book

Trends in Neural Computation by Ke Chen,Lipo Wang Pdf

Trends in Neural Computation includes twenty chapters contributed by leading experts or formed by extending well-selected papers presented in the 2005 International Conference on Natural Computation. The book reviews the latest progress in a range of different areas of neural computation, including theoretical neural computation, biologically plausible neural modeling, computational cognitive science, artificial neural networks – architectures and learning algorithms and their applications in real-world problems.

Author : Ravi Rajamani
Publisher : SAE International
Page : 196 pages
File Size : 40,6 Mb
Release : 2018-11-28
Category : Technology & Engineering
ISBN : 9780768095395

Get Book

Diagnostics and Prognostics of Aerospace Engines by Ravi Rajamani Pdf

The propulsion system is arguably the most critical part of the aircraft; it certainly is the single most expensive component of the vehicle. Ensuring that engines operate reliably without major maintenance issues is an important goal for all operators, military or commercial. Engine health management (EHM) is a critical piece of this puzzle and has been a part of the engine maintenance for more than five decades. In fact, systematic condition monitoring was introduced for engines before it was applied to other systems on the aircraft. Diagnostics and Prognostics of Aerospace Engines is a collection of technical papers from the archives of SAE International, which introduces the reader to a brief history of EHM, presents some examples of EHM functions, and outlines important future trends. The goal of engine health maintenance is ultimately to reduce the cost of operations by catching problems before they become major issues, by helping reduce repair times through diagnostics, and by facilitating logistic optimization through prognostic estimates. Diagnostics and Prognostics of Aerospace Engines shows that the essence of these goals has not changed over time.

Author : Nhan T. Nguyen
Publisher : Springer
Page : 453 pages
File Size : 45,6 Mb
Release : 2018-03-01
Category : Technology & Engineering
ISBN : 9783319563930

Get Book

Model-Reference Adaptive Control by Nhan T. Nguyen Pdf

This textbook provides readers with a good working knowledge of adaptive control theory through applications. It is intended for students beginning masters or doctoral courses, and control practitioners wishing to get up to speed in the subject expeditiously. Readers are taught a wide variety of adaptive control techniques starting with simple methods and extending step-by-step to more complex ones. Stability proofs are provided for all adaptive control techniques without obfuscating reader understanding with excessive mathematics. The book begins with standard model-reference adaptive control (MRAC) for first-order, second-order, and multi-input, multi-output systems. Treatment of least-squares parameter estimation and its extension to MRAC follow, helping readers to gain a different perspective on MRAC. Function approximation with orthogonal polynomials and neural networks, and MRAC using neural networks are also covered. Robustness issues connected with MRAC are discussed, helping the student to appreciate potential pitfalls of the technique. This appreciation is encouraged by drawing parallels between various aspects of robustness and linear time-invariant systems wherever relevant. Following on from the robustness problems is material covering robust adaptive control including standard methods and detailed exposition of recent advances, in particular, the author’s work on optimal control modification. Interesting properties of the new method are illustrated in the design of adaptive systems to meet stability margins. This method has been successfully flight-tested on research aircraft, one of various flight-control applications detailed towards the end of the book along with a hybrid adaptive flight control architecture that combines direct MRAC with least-squares indirect adaptive control. In addition to the applications, understanding is encouraged by the use of end-of-chapter exercises and associated MATLAB® files. Readers will need no more than the standard mathematics for basic control theory such as differential equations and matrix algebra; the book covers the foundations of MRAC and the necessary mathematical preliminaries.

Author : Emil Vassev,Mike Hinchey
Publisher : Springer
Page : 260 pages
File Size : 51,9 Mb
Release : 2014-08-27
Category : Computers
ISBN : 9783319098166

Get Book

Autonomy Requirements Engineering for Space Missions by Emil Vassev,Mike Hinchey Pdf

Advanced space exploration is performed by unmanned missions with integrated autonomy in both flight and ground systems. Risk and feasibility are major factors supporting the use of unmanned craft and the use of automation and robotic technologies where possible. Autonomy in space helps to increase the amount of science data returned from missions, perform new science, and reduce mission costs. Elicitation and expression of autonomy requirements is one of the most significant challenges the autonomous spacecraft engineers need to overcome today. This book discusses the Autonomy Requirements Engineering (ARE) approach, intended to help software engineers properly elicit, express, verify, and validate autonomy requirements. Moreover, a comprehensive state-of-the-art of software engineering for aerospace is presented to outline the problems handled by ARE along with a proof-of-concept case study on the ESA's BepiColombo Mission demonstrating the ARE’s ability to handle autonomy requirements.