Swarms of intelligent autonomous spacecraft, involving complex behaviors and interactions, are being proposed for future space exploration missions. Such missions provide greater flexibility and offer the possibility of gathering more science data than traditional single spacecraft missions. The emergent properties of swarms make these missions powerful, but simultaneously far more difficult to design, and to assure that the proper behaviors will emerge. These missions are also considerably more complex than previous types of missions, and NASA, like other organizations, has little experience in developing or in verifying and validating these types of missions. A significant challenge when verifying and validating swarms of intelligent interacting agents is how to determine that the possible exponential interactions and emergent behaviors are producing the desired results. Assuring correct behavior and interactions of swarms will be critical to mission success. The Autonomous Nano Technology Swarm (ANTS) mission is an example of one of the swarm types of missions NASA is considering. The ANTS mission will use a swarm of picospacecraft that will fly from Earth orbit to the Asteroid belt.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Survey of Formal Methods for Intelligent Swarms


    Beteiligte:
    W. Truszkowski (Autor:in) / J. Rash (Autor:in) / M. Hinchey (Autor:in) / C. A. Rouff (Autor:in)

    Erscheinungsdatum :

    2004


    Format / Umfang :

    51 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    A Survey of Formal Methods for Intelligent Swarms

    Truszkowski, Walt / Rash, James / Hinchey, Mike et al. | NTRS | 2004


    Requirements of an Integrated Formal Method for Intelligent Swarms

    Hinchey, M. G. / Rash, J. L. / Rouff, C. A. et al. | NTRS | 2010


    Requirements of an integrated formal method for intelligent swarms

    Hinchey, M.G. / Rouff, C.A. / Rash, J.L. et al. | Tema Archiv | 2005



    Robot Swarms

    Morring, Frank, Jr. | NTRS | 2005