NASA is investigating new paradigms for future space exploration, heavily focused on the (still) emerging technologies of autonomous and autonomic systems [47, 48, 49]. Missions that rely on multiple, smaller, collaborating spacecraft, analogous to swarms in nature, are being investigated to supplement and complement traditional missions that rely on one large spacecraft [16]. The small spacecraft in such missions would each be able to operate on their own to accomplish a part of a mission, but would need to interact and exchange information with the other spacecraft to successfully execute the mission.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Requirements of an Integrated Formal Method for Intelligent Swarms


    Contributors:

    Publication date :

    2010-01-01


    Type of media :

    Article/Chapter (Book)


    Type of material :

    No indication


    Language :

    English




    Requirements of an integrated formal method for intelligent swarms

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


    Survey of Formal Methods for Intelligent Swarms

    W. Truszkowski / J. Rash / M. Hinchey et al. | NTIS | 2004


    A Survey of Formal Methods for Intelligent Swarms

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


    Towards Resilient UAV Swarms—A Breakdown of Resiliency Requirements in UAV Swarms

    Abhishek Phadke / F. Antonio Medrano | DOAJ | 2022

    Free access