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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Requirements of an integrated formal method for intelligent swarms


    Contributors:


    Publication date :

    2005


    Size :

    9 Seiten, 3 Bilder, 3 Tabellen, 37 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Requirements of an Integrated Formal Method for Intelligent Swarms

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


    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