University of Tasmania
Browse

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

Version 2 2025-01-15, 01:14
Version 1 2023-05-23, 09:44
conference contribution
posted on 2025-01-15, 01:14 authored by E Vassev, M Hinchey, P Nixon
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.

History

Publication title

Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems (AHS)

Volume

20

Pagination

83-90

ISBN

978-1-4244-5887-5

Department/School

Research Division

Publisher

IEEE

Publication status

  • Published

Place of publication

IEEE Digital Library

Event title

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

Event Venue

Anaheim, CA, USA

Date of Event (Start Date)

2010-06-15

Date of Event (End Date)

2010-06-18

Rights statement

Copyright 2010 IEEE

Socio-economic Objectives

220499 Information systems, technologies and services not elsewhere classified

Usage metrics

    University Of Tasmania

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC