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

Emil Vassev; Mick Hinchey; Paddy Nixon

doi:10.1109/AHS.2010.5546276

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

Emil Vassev
, Mick Hinchey
, Paddy Nixon

Research output: A Conference proceeding or a Chapter in Book › Conference contribution › peer-review

6 Citations (Scopus)

77 Downloads (Pure)

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	Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems
Editors	Tughru Arslan, Didier Keymeulen, David Merodio, Khaled Benkrid, Ahmet T. Erdogan, Umeshkumar Patel, Adrian Stoica
Place of Publication	United States
Publisher	IEEE, Institute of Electrical and Electronics Engineers
Pages	83-90
Number of pages	8
ISBN (Electronic)	9781424458899
ISBN (Print)	9781424458875
DOIs	https://doi.org/10.1109/AHS.2010.5546276
Publication status	Published - 2010
Externally published	Yes
Event	2010 NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2010) - Anaheim, Anaheim, United States Duration: 15 Jun 2010 → 18 Jun 2010

Conference

Conference	2010 NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2010)
Abbreviated title	AHS 2010
Country/Territory	United States
City	Anaheim
Period	15/06/10 → 18/06/10

Access to Document

10.1109/AHS.2010.5546276

Conference ContributionFinal published version, 185 KB

Cite this

Vassev, E., Hinchey, M., & Nixon, P. (2010). A formal approach to self-configurable swarm-based space-exploration systems. In T. Arslan, D. Keymeulen, D. Merodio, K. Benkrid, A. T. Erdogan, U. Patel, & A. Stoica (Eds.), Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems (pp. 83-90). IEEE, Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/AHS.2010.5546276

Vassev, Emil ; Hinchey, Mick ; Nixon, Paddy. / A formal approach to self-configurable swarm-based space-exploration systems. Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems. editor / Tughru Arslan ; Didier Keymeulen ; David Merodio ; Khaled Benkrid ; Ahmet T. Erdogan ; Umeshkumar Patel ; Adrian Stoica. United States : IEEE, Institute of Electrical and Electronics Engineers, 2010. pp. 83-90

@inproceedings{78505b6c86a34093a7ce717ba1fb0361,

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 = "Emil Vassev and Mick Hinchey and Paddy Nixon",

year = "2010",

doi = "10.1109/AHS.2010.5546276",

language = "English",

isbn = "9781424458875",

pages = "83--90",

editor = "Tughru Arslan and Didier Keymeulen and David Merodio and Khaled Benkrid and Erdogan, \{Ahmet T.\} and Umeshkumar Patel and Adrian Stoica",

booktitle = "Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems",

publisher = "IEEE, Institute of Electrical and Electronics Engineers",

address = "United States",

note = "2010 NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2010), 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 T Arslan, D Keymeulen, D Merodio, K Benkrid, AT Erdogan, U Patel & A Stoica (eds), Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems. IEEE, Institute of Electrical and Electronics Engineers, United States, pp. 83-90, 2010 NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2010), Anaheim, California, 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, Mick; Nixon, Paddy.
Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems. ed. / Tughru Arslan; Didier Keymeulen; David Merodio; Khaled Benkrid; Ahmet T. Erdogan; Umeshkumar Patel; Adrian Stoica. United States: IEEE, Institute of Electrical and Electronics Engineers, 2010. p. 83-90.

Research output: A Conference proceeding or a Chapter in Book › Conference contribution › peer-review

TY - GEN

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

AU - Vassev, Emil

AU - Hinchey, Mick

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.

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 - 9781424458875

SP - 83

EP - 90

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

A2 - Arslan, Tughru

A2 - Keymeulen, Didier

A2 - Merodio, David

A2 - Benkrid, Khaled

A2 - Erdogan, Ahmet T.

A2 - Patel, Umeshkumar

A2 - Stoica, Adrian

PB - IEEE, Institute of Electrical and Electronics Engineers

CY - United States

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

Y2 - 15 June 2010 through 18 June 2010

ER -

Vassev E, Hinchey M, Nixon P. A formal approach to self-configurable swarm-based space-exploration systems. In Arslan T, Keymeulen D, Merodio D, Benkrid K, Erdogan AT, Patel U, Stoica A, editors, Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems. United States: IEEE, Institute of Electrical and Electronics Engineers. 2010. p. 83-90 doi: 10.1109/AHS.2010.5546276

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

Abstract

Conference

Access to Document

Fingerprint

Cite this