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
2004-01-01
Preprint
No indication
English
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 Archive | 2010
|