Aerospace Control and Guidance Systems Committee

Announcements

You must first log in to access prior meeting presentations, register for a meeting, or nominate some for the Ward Award.

If you do not have a login account, or cannot remember the email address associated with your account, please click on the Application Form link below.

Login

Site Search

Search our site:

Upcoming Events

Photos

Meeting Highlights New!

Subcommittee S

Prior Meetings

Abstracts may be viewed by anyone. Presentations are only available to active members who have logged in.

Meeting 132
(coming soon)

Home

Ward Memorial Award

Planning Advisory Board

Downloads

Constitution and By-Laws

About

History

Contact Us

← Return to agenda

Meeting	ACGS Committee Meeting 98 - Williamsburg - October 2006
Agenda Location	9 SUBCOMMITTEE E - FLIGHT, PROPULSION AND AUTONOMOUS VEHICLE CONTROL SYSTEMS 9.4 Advanced Verification and Validation Procedures and Tools for the Certification of Learning Systems in Aerospace Applications
Title	Advanced Verification and Validation Procedures and Tools for the Certification of Learning Systems in Aerospace Applications
Presenter	Stephen Jacklin
Affiliation	NASA Ames Research Center
Available Downloads*	presentation
	Downloads are available to members who are logged in and either Active* or attended this meeting.
Abstract	This paper presents the procedures and tools presently developed or currently being developed to enable the verification, validation, and ultimate certification of adaptive control systems using learning algorithms. Verification and validation problems for both the outer-loop (finite-state) executive operating system and the inner-loop (continuous) closed-loop learning controllers are considered, including non-determinism, coverage, and regression testing. Adaptive control technologies that incorporate learning algorithms have been proposed to enhance automatic flight control, facilitate recovery operations for autonomously controlled vehicles, and to maintain vehicle performance in the face of unknown, changing, or poorly defined operating environments. However, in order for adaptive control systems to be used in safety-critical aerospace applications, they must be proven to be highly safe and reliable. Rigorous methods for adaptive software verification and validation must be developed to ensure that control system software failures will not occur. Of central importance in this regard is the need to establish reliable methods that guarantee convergent learning, rapid convergence (learning) rate, and algorithm stability. These technologies advanced simulation techniques, the application of automated program analysis methods, techniques to improve the learning process, analytical methods to verify stability, methods to automatically synthesize code, model checking, compositional verification, and tools to provide on-line software assurance. The application of these tools relative to the software lifecycle is discussed.