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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Requirements of an Integrated Formal Method for Intelligent Swarms


    Beteiligte:
    Hinchey, M. G. (Autor:in) / Rash, J. L. (Autor:in) / Rouff, C. A. (Autor:in) / Truszkowski, W. F. (Autor:in) / Vanderbilt, A. K. C. S. (Autor:in)

    Erscheinungsdatum :

    2010-01-01


    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Requirements of an integrated formal method for intelligent swarms

    Hinchey, M.G. / Rouff, C.A. / Rash, J.L. et al. | Tema Archiv | 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

    Freier Zugriff