NASA is studying advanced technologies for a future robotic exploration mission to the asteroid belt. This mission, the prospective ANTS (Autonomous Nano Technology Swarm) mission, will comprise of 1,000 autonomous robotic agents designed to cooperate in asteroid exploration. The emergent properties of swarm type missions make them powerful, but at the same time are more difficult to design and assure that the proper behaviors will emerge. We are currently investigating formal methods and techniques for verification and validation of future swarm-based missions. The advantage of using formal methods is their ability to mathematically assure the behavior of a swarm, emergent or otherwise. The ANT mission is being used as an example and case study for swarm-based missions for which to experiment and test current formal methods with intelligent swam. Using the ANTS mission, we have evaluated multiple formal methods to determine their effectiveness in modeling and assuring swarm behavior.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Verification of NASA Emergent Systems


    Beteiligte:

    Kongress:

    Artificial Intelligence Applications and Innovations-2004 ; 2004 ; Toulouse, France


    Erscheinungsdatum :

    2004-01-01


    Medientyp :

    Preprint


    Format :

    Keine Angabe


    Sprache :

    Englisch


    Schlagwörter :


    Verification of NASA Emergent Systems

    C. Rouff / A. K. C. S. Vanderbilt / W. Truszkowski et al. | NTIS | 2004




    Component Verification and Certification in NASA Missions

    D. Giannakopoulou / J. Penix | NTIS | 2001


    Component Verification and Certification in NASA Missions

    Giannakopoulou, Dimitra / Penix, John / Norvig, Peter | NTRS | 2001