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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Properties of a Formal Method to Model Emergence in Swarm-Based Systems


    Beteiligte:
    Rouff, Christopher (Autor:in) / Vanderbilt, Amy (Autor:in) / Truszkowski, Walt (Autor:in) / Rash, James (Autor:in) / Hinchey, Mike (Autor:in)

    Kongress:

    Third NASA-Goddard/IEEE Workshop on Formal Approaches to Agent-Based Systems ; 2004 ; Greenbelt, MD, United States


    Erscheinungsdatum :

    01.01.2004


    Medientyp :

    Preprint


    Format :

    Keine Angabe


    Sprache :

    Englisch




    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


    Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-based Systems

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



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

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