World Library  

Add to Book Shelf
Flag as Inappropriate
Email this Book

Verifying Large Numbers of Cooperating Adaptive Agents: by Christopher A. Rouff

By Rouff, Christopher A.

Click here to view

Book Id: WPLBN0000684278
Format Type: PDF eBook
File Size: 892.88 KB
Reproduction Date:

Title: Verifying Large Numbers of Cooperating Adaptive Agents: by Christopher A. Rouff  
Author: Rouff, Christopher A.
Language: English
Subject: Government publications, National Aeronautics and Space Administration (U.S.), NASA reference publication
Collections: NASA Publication Collection
Publication Date:
Publisher: National Aeronautics and Space Administration Publication


APA MLA Chicago

A, R. C. (n.d.). Verifying Large Numbers of Cooperating Adaptive Agents. Retrieved from

Abstract: NASA is proposing to use large numbers of cooperating spacecraft in future exploration missions. These swarms will exhibit complex behaviors and interactions that can result in unintended emergent properties. Verifying the proper behavior of these new types of missions will be critical to their success. This paper gives the results of research into the use of formal methods techniques for verification of a large number of cooperating agents. Multiple formal methods were evaluated to determine their effectiveness in assuring the behavior of swarms of spacecraft. The NASA ANTS mission was used as an example of swarm intelligence against which to apply the formal methods. This paper discusses the evaluation of these formal methods, provides a partial specification of ANTS using four selected methods, and an outline of an integrated formal method for verifying future NASA swarm missions...


Click To View

Additional Books

  • Common File User's Guide (by )
  • National Polar-Orbiting Operational Envi... (by )
  • Flight According to Principle (by )
  • National Aeronautics and Space Administr... (by )
  • Space Shuttle: Information Management Re... (by )
  • Landsat 7 Processing System (Lps) Users ... (by )
  • Space Telescope Science Institute Next G... (by )
  • Version 3 (by )
  • Analysis of Phase-Type Stochastic Petri ... (by )
  • Developing an Open Source Option for Nas... (by )
  • Assessing Generalization of Feed Forward... (by )
  • Mission Operations Directorate Flight Di... (by )
Scroll Left
Scroll Right


Copyright © World Library Foundation. All rights reserved. eBooks from World Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.