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.
    LanguageEnglish
    Title of host publicationUnknown Host Publication
    Pages83-90
    Number of pages8
    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 → …

    Fingerprint

    Markov processes
    NASA
    Spacecraft
    Scheduling
    Planning

    Keywords

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

    Cite this

    Vassev, E ; Hinchey, M ; Nixon, Patrick. / A formal approach to self-configurable swarm-based space-exploration systems. Unknown Host Publication. 2010. pp. 83-90
    @inproceedings{357c99b9a27b4aa4b940e29d9c4bc5df,
    title = "A formal approach to self-configurable swarm-based space-exploration systems",
    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.",
    keywords = "artificial intelligence, biology, instruments, Markov processes, space vehicles, uncertainty",
    author = "E Vassev and M Hinchey and Patrick Nixon",
    year = "2010",
    doi = "10.1109/AHS.2010.5546276",
    language = "English",
    isbn = "978-1-4244-5887-5",
    pages = "83--90",
    booktitle = "Unknown Host Publication",

    }

    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, Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems, 1/01/10. https://doi.org/10.1109/AHS.2010.5546276

    A formal approach to self-configurable swarm-based space-exploration systems. / Vassev, E; Hinchey, M; Nixon, Patrick.

    Unknown Host Publication. 2010. p. 83-90.

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

    TY - GEN

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

    AU - Vassev, E

    AU - Hinchey, M

    AU - Nixon, Patrick

    PY - 2010

    Y1 - 2010

    N2 - 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.

    AB - 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.

    KW - artificial intelligence

    KW - biology

    KW - instruments

    KW - Markov processes

    KW - space vehicles

    KW - uncertainty

    U2 - 10.1109/AHS.2010.5546276

    DO - 10.1109/AHS.2010.5546276

    M3 - Conference contribution

    SN - 978-1-4244-5887-5

    SP - 83

    EP - 90

    BT - Unknown Host Publication

    ER -