Search Results

RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems

Download or Read eBook RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems PDF written by Charles Pecheur and published by . This book was released on 2001 with total page 12 pages. Available in PDF, EPUB and Kindle.
RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems
Author :
Publisher :
Total Pages : 12
Release :
ISBN-10 : NASA:31769000642820
ISBN-13 :
Rating : 4/5 (20 Downloads)

Book Synopsis RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems by : Charles Pecheur

Book excerpt: The long-term future of space exploration at NASA is dependent on the full exploitation of autonomous and adaptive systems : careful monitoring of missions from earth, as is the norm now, will be infeasible due to the sheer number of proposed missions and the communication lag for deep-space missions. Mission managers are however worried about the reliability of these more intelligent systems. The main focus of the workshop was to address these worries and hence we invited NASA engineers working on autonomous and adaptive systems and researchers interested in the verification and validation ( V & V ) of software systems. The dual purpose of the meeting was to (1) make NASA engineers aware of the V & V techniques they could be using and (2) make the V& V community aware of the complexity of the systems NASA is developing.


RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems Related Books

RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems
Language: en
Pages: 12
Authors: Charles Pecheur
Categories: Computer software
Type: BOOK - Published: 2001 - Publisher:

DOWNLOAD EBOOK

The long-term future of space exploration at NASA is dependent on the full exploitation of autonomous and adaptive systems : careful monitoring of missions from
Methods and Procedures for the Verification and Validation of Artificial Neural Networks
Language: en
Pages: 280
Authors: Brian J. Taylor
Categories: Computers
Type: BOOK - Published: 2006-03-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Neural networks are members of a class of software that have the potential to enable intelligent computational systems capable of simulating characteristics of
AI Magazine
Language: en
Pages: 560
Authors:
Categories: Artificial intelligence
Type: BOOK - Published: 2000 - Publisher:

DOWNLOAD EBOOK

Monthly Catalog of United States Government Publications
Language: en
Pages: 496
Authors:
Categories: Government publications
Type: BOOK - Published: 2003 - Publisher:

DOWNLOAD EBOOK

Agent Technology from a Formal Perspective
Language: en
Pages: 359
Authors: Christopher Rouff
Categories: Mathematics
Type: BOOK - Published: 2006-01-27 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its import
Scroll to top