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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:
    Vassev, E. (author) / Hinchey, M. (author) / Nixon, P. (author)


    Publication date :

    2010


    Size :

    8 Seiten, 21 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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


    Towards a Formal Approach to Swarm Technology

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


    Formal Methods for Autonomic and Swarm-Based Systems

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


    Formal Methods for Autonomic and Swarm-based Systems

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


    MODEL-DRIVEN ENGINEERING FOR SWARM-BASED SPACE EXPLORATION MISSIONS

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