A formal approach to self-configurable swarm-based space-exploration systems

E Vassev, M Hinchey, Patrick Nixon

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)

    Abstract

    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.
    Original languageEnglish
    Title of host publicationUnknown Host Publication
    PublisherIEEE
    Pages83-90
    Number of pages8
    ISBN (Print)978-1-4244-5887-5
    DOIs
    Publication statusPublished - 2010
    EventProceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems - Anaheim, CA, USA
    Duration: 1 Jan 2010 → …

    Conference

    ConferenceProceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems
    Period1/01/10 → …

    Keywords

    • artificial intelligence
    • biology
    • instruments
    • Markov processes
    • space vehicles
    • uncertainty

    Fingerprint Dive into the research topics of 'A formal approach to self-configurable swarm-based space-exploration systems'. Together they form a unique fingerprint.

  • Cite this

    Vassev, E., Hinchey, M., & Nixon, P. (2010). A formal approach to self-configurable swarm-based space-exploration systems. In Unknown Host Publication (pp. 83-90). IEEE. https://doi.org/10.1109/AHS.2010.5546276