NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Properties of a Formal Method to Model Emergence in Swarm-Based SystemsFuture space missions will require cooperation between multiple satellites and/or rovers. Developers are proposing intelligent autonomous swarms for these missions, but swarm-based systems are difficult or impossible to test with current techniques. This viewgraph presentation examines the use of formal methods in testing swarm-based systems. The potential usefulness of formal methods in modeling the ANTS asteroid encounter mission is also examined.
Document ID
20040085888
Acquisition Source
Headquarters
Document Type
Preprint (Draft being sent to journal)
Authors
Rouff, Christopher (Science Applications International Corp. United States)
Vanderbilt, Amy (Science Applications International Corp. United States)
Truszkowski, Walt (NASA Goddard Space Flight Center Greenbelt, MD, United States)
Rash, James (NASA Goddard Space Flight Center Greenbelt, MD, United States)
Hinchey, Mike (NASA Goddard Space Flight Center Greenbelt, MD, United States)
Date Acquired
August 21, 2013
Publication Date
January 1, 2004
Subject Category
Spacecraft Design, Testing And Performance
Meeting Information
Meeting: Third NASA-Goddard/IEEE Workshop on Formal Approaches to Agent-Based Systems
Location: Greenbelt, MD
Country: United States
Start Date: April 26, 2004
End Date: April 27, 2004
Sponsors: NASA Goddard Space Flight Center, Institute of Electrical and Electronics Engineers
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Document Inquiry

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
No Preview Available