The use of swarm technologies has become prevalent in a variety of application domains: medical, bioinformatics, military/defense, surveillance, even internet television broadcasting. Future NASA missions will exploit such technologies to enable spacecraft to be sent where heretofore it was impossible, to ensure greater protection of space assets, and to increase the likelihood of mission success. The authors describe some of the basic concepts of swarms, and discuss the requirements of a formal method suitable for use with swarm-based systems. They also present some findings of their FAST (Formal Approaches to Swarm Technologies) project, which is attempting to identify a suitable integrated formal method for this task.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Requirements of an integrated formal method for intelligent swarms


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


    Erscheinungsdatum :

    2005


    Format / Umfang :

    9 Seiten, 3 Bilder, 3 Tabellen, 37 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Survey of Formal Methods for Intelligent Swarms

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


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

    Abhishek Phadke / F. Antonio Medrano | DOAJ | 2022

    Freier Zugriff


    APPLICATIONS AND POTENTIALS OF INTELLIGENT SWARMS (APIS) FOR MAGNETOSPHERIC STUDIES

    Rajan, Raj Thilak / Ben-Maor, Shoshana / Kaderali, Shaziana et al. | TIBKAT | 2021


    Robot Swarms

    Morring, Frank, Jr. | NTRS | 2005