NASA is researching advanced technologies for future exploration missions using intelligent swarms of robotic vehicles. One of these missions is the Autonomous Nan0 Technology Swarm (ANTS) mission that will explore the asteroid belt using 1,000 cooperative autonomous spacecraft. The emergent properties of intelligent swarms make it a potentially powerful concept, but at the same time more difficult to design and ensure that the proper behaviors will emerge. NASA is investigating formal methods and techniques for verification of such missions. The advantage of using formal methods is the ability to mathematically verify the behavior of a swarm, emergent or otherwise. Using the ANTS mission as a case study, we have evaluated multiple formal methods to determine their effectiveness in modeling and ensuring desired swarm behavior. This paper discusses the results of this evaluation and proposes an integrated formal method for ensuring correct behavior of future NASA intelligent swarms.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Experiences applying Formal Approaches in the Development of Swarm-Based Space Exploration Systems


    Beteiligte:

    Erscheinungsdatum :

    01.01.2006


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




    A Formal Approach to Self-configurable Swarm-based Space-exploration Systems

    Vassev, E. / Hinchey, M. / Nixon, P. | Tema Archiv | 2010



    Formal Methods for Autonomic and Swarm-based Systems

    Rouff, Christopher / Vanderbilt, Amy / Hinchey, Mike et al. | NTRS | 2004


    Formal Methods for Autonomic and Swarm-Based Systems

    C. Rouff / A. Vanderbilt / M. Hinchey et al. | NTIS | 2004


    MODEL-DRIVEN ENGINEERING FOR SWARM-BASED SPACE EXPLORATION MISSIONS

    Nardone, Roberto / Buccafurri, Francesco / Angelis, Vincenzo De et al. | TIBKAT | 2021