Future 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.
Properties of a Formal Method to Model Emergence in Swarm-Based Systems
Third NASA-Goddard/IEEE Workshop on Formal Approaches to Agent-Based Systems ; 2004 ; Greenbelt, MD, United States
01.01.2004
Preprint
Keine Angabe
Englisch
Formal Methods for Autonomic and Swarm-based Systems
NTRS | 2004
|Formal Methods for Autonomic and Swarm-Based Systems
NTIS | 2004
|A Formal Approach to Self-configurable Swarm-based Space-exploration Systems
Tema Archiv | 2010
|