Intelligent swarms draw their inspiration from biology where many simple entities act independently, but when grouped, they appear to be highly organized. NASA is currently investigating swarm-based technologies for the development of prospective exploration missions to explore regions of space where a single large spacecraft would be impractical. The main emphasis of this research is to develop algorithms and prototyping models for self-managing swarm-based space-exploration systems. This article presents our work on formally modeling self-configuring behavior in such systems. We present a formal model for team formation based on Partially Observable Markov Decision Processes and Discrete Time Markov Chains along with formal models for planning and scheduling.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A Formal Approach to Self-configurable Swarm-based Space-exploration Systems


    Beteiligte:
    Vassev, E. (Autor:in) / Hinchey, M. (Autor:in) / Nixon, P. (Autor:in)


    Erscheinungsdatum :

    2010


    Format / Umfang :

    8 Seiten, 21 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Experiences applying Formal Approaches in the Development of Swarm-Based Space Exploration Systems

    Rouff, Christopher A. / Hinchey, Michael G. / Truszkowski, Walter F. et al. | NTRS | 2006


    Formal Methods for Autonomic and Swarm-based Systems

    Rouff, Christopher / Vanderbilt, Amy / Hinchey, Mike et al. | NTRS | 2004


    Formal Methods for Autonomic and Swarm-Based Systems

    C. Rouff / A. Vanderbilt / M. Hinchey et al. | NTIS | 2004


    Towards a Formal Approach to Swarm Technology

    Rouff, C.A. / Hinchey, M.G. / Truszkowski, W.F. et al. | AIAA | 2004


    MODEL-DRIVEN ENGINEERING FOR SWARM-BASED SPACE EXPLORATION MISSIONS

    Nardone, Roberto / Buccafurri, Francesco / Angelis, Vincenzo De et al. | TIBKAT | 2021