NASA is investigating new paradigms for future space exploration, heavily focused on the (still) emerging technologies of autonomous and autonomic systems [47, 48, 49]. Missions that rely on multiple, smaller, collaborating spacecraft, analogous to swarms in nature, are being investigated to supplement and complement traditional missions that rely on one large spacecraft [16]. The small spacecraft in such missions would each be able to operate on their own to accomplish a part of a mission, but would need to interact and exchange information with the other spacecraft to successfully execute the mission.
Requirements of an Integrated Formal Method for Intelligent Swarms
2010-01-01
Aufsatz/Kapitel (Buch)
Keine Angabe
Englisch
Requirements of an integrated formal method for intelligent swarms
Tema Archiv | 2005
|Survey of Formal Methods for Intelligent Swarms
NTIS | 2004
|A Survey of Formal Methods for Intelligent Swarms
NTRS | 2004
|Towards Resilient UAV Swarms—A Breakdown of Resiliency Requirements in UAV Swarms
DOAJ | 2022
|BASE | 2022
|