A formal approach to self-configurable swarm-based space-exploration systems
Version 2 2025-01-15, 01:14Version 2 2025-01-15, 01:14
Version 1 2023-05-23, 09:44Version 1 2023-05-23, 09:44
conference contribution
posted on 2025-01-15, 01:14authored byE 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