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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Contributors:

    Conference:

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


    Publication date :

    2004-01-01


    Type of media :

    Preprint


    Type of material :

    No indication


    Language :

    English




    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 Archive | 2010