eCite Digital Repository

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


Vassev, E and Hinchey, M and Nixon, P, A formal approach to self-configurable swarm-based space-exploration systems, Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems (AHS), 15-18 June 2010, Anaheim, CA, USA, pp. 83-90. ISBN 978-1-4244-5887-5 (2010) [Refereed Conference Paper]

Copyright Statement

Copyright 2010 IEEE

DOI: doi:10.1109/AHS.2010.5546276


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.

Item Details

Item Type:Refereed Conference Paper
Keywords:artificial intelligence, biology, instruments, Markov processes, space vehicles, uncertainty
Research Division:Information and Computing Sciences
Research Group:Human-centred computing
Research Field:Pervasive computing
Objective Division:Information and Communication Services
Objective Group:Information systems, technologies and services
Objective Field:Information systems, technologies and services not elsewhere classified
UTAS Author:Nixon, P (Professor Paddy Nixon)
ID Code:97695
Year Published:2010
Deposited By:Information and Communication Technology
Deposited On:2015-01-08
Last Modified:2015-01-28

Repository Staff Only: item control page