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

E Vassev; M Hinchey; Patrick Nixon

doi:10.1109/AHS.2010.5546276

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

E Vassev, M Hinchey, Patrick Nixon

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

6 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 language	English
Title of host publication	Unknown Host Publication
Publisher	IEEE
Pages	83-90
Number of pages	8
ISBN (Print)	978-1-4244-5887-5
DOIs	https://doi.org/10.1109/AHS.2010.5546276
Publication status	Published (in print/issue) - 2010
Event	Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems - Anaheim, CA, USA Duration: 1 Jan 2010 → …

Conference

Conference	Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems
Period	1/01/10 → …

Keywords

artificial intelligence
biology
instruments
Markov processes
space vehicles
uncertainty

Access to Document

10.1109/AHS.2010.5546276

Cite this

@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",

publisher = "IEEE",

address = "United States",

note = "Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems ; Conference date: 01-01-2010",

}

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

PB - IEEE

T2 - Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems

Y2 - 1 January 2010

ER -

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

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this