The emergent properties of swarms make swarm-based missions powerful, but at the same time more difficult to design and to assure that the proper behaviors will emerge. We are currently investigating formal methods and techniques for verification and validation of swarm-based missions. The Autonomous Nano-Technology Swarm (ANTS) mission is being used as an example and case study for swarm-based missions to experiment and test current formal methods with intelligent swarms. Using the ANTS mission, we have evaluated multiple formal methods to determine their effectiveness in modeling and assuring swarm behavior. This paper introduces how intelligent swarm technology is being proposed for NASA missions, and gives the results of a comparison of several formal methods and approaches for specifying intelligent swarm-based systems and their effectiveness for predicting emergent behavior.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Verification of Emergent Behaviors in Swarm-based Systems


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

    Kongress:

    IEEE ECBS/EASE 2004 ; 2004 ; Brno, Czech Republic


    Erscheinungsdatum :

    01.01.2004


    Medientyp :

    Preprint


    Format :

    Keine Angabe


    Sprache :

    Englisch


    Schlagwörter :


    Verification of Emergent Behaviors in Swarm-Based Systems

    C. Rouf / A. Vanderbilt / M. Hinchey | 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



    Verification of NASA Emergent Systems

    Rouff, Christopher / Vanderbilt, Amy K. C. S. / Truszkowski, Walt et al. | NTRS | 2004


    Detecting Emergent Behaviors with Semi-Boolean Algebra

    Haglich, P. / Rouff, C. / Pullum, L. et al. | British Library Conference Proceedings | 2010