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

Emil Vassev; Mike Hinchey; Paddy Nixon

doi:10.1109/AHS.2010.5546276

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

Emil Vassev, Mike Hinchey, Paddy Nixon

Department of Computer Science & Information Systems

University College Dublin

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

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	2010 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2010
Pages	83-90
Number of pages	8
DOIs	https://doi.org/10.1109/AHS.2010.5546276
Publication status	Published - 2010
Event	2010 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2010 - Anaheim, CA, United States Duration: 15 Jun 2010 → 18 Jun 2010

Publication series

Name	2010 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2010

Conference

Conference	2010 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2010
Country/Territory	United States
City	Anaheim, CA
Period	15/06/10 → 18/06/10

Access to Document

10.1109/AHS.2010.5546276

Cite this

@inproceedings{19db0352668c48a2805f1e9677b9d549,

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

author = "Emil Vassev and Mike Hinchey and Paddy Nixon",

year = "2010",

doi = "10.1109/AHS.2010.5546276",

language = "English",

isbn = "9781424458875",

series = "2010 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2010",

pages = "83--90",

booktitle = "2010 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2010",

note = "2010 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2010 ; Conference date: 15-06-2010 Through 18-06-2010",

}

Vassev, E, Hinchey, M & Nixon, P 2010, A formal approach to self-configurable swarm-based space-exploration systems. in 2010 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2010., 5546276, 2010 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2010, pp. 83-90, 2010 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2010, Anaheim, CA, United States, 15/06/10. https://doi.org/10.1109/AHS.2010.5546276

A formal approach to self-configurable swarm-based space-exploration systems. / Vassev, Emil; Hinchey, Mike; Nixon, Paddy.
2010 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2010. 2010. p. 83-90 5546276 (2010 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2010).

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

TY - GEN

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

AU - Vassev, Emil

AU - Hinchey, Mike

AU - Nixon, Paddy

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.

UR - http://www.scopus.com/inward/record.url?scp=77956970113&partnerID=8YFLogxK

U2 - 10.1109/AHS.2010.5546276

DO - 10.1109/AHS.2010.5546276

M3 - Conference contribution

AN - SCOPUS:77956970113

SN - 9781424458875

T3 - 2010 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2010

SP - 83

EP - 90

BT - 2010 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2010

T2 - 2010 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2010

Y2 - 15 June 2010 through 18 June 2010

ER -

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

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this