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 -