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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Survey of Formal Methods for Intelligent Swarms


    Contributors:
    W. Truszkowski (author) / J. Rash (author) / M. Hinchey (author) / C. A. Rouff (author)

    Publication date :

    2004


    Size :

    51 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    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. / Rouff, C.A. / Rash, J.L. et al. | Tema Archive | 2005


    Requirements of an Integrated Formal Method for Intelligent Swarms

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



    Robot Swarms

    Morring, Frank, Jr. | NTRS | 2005