2010-Vassev-a-formal_pub.pdf (181.8 kB)
A formal approach to self-configurable swarm-based space-exploration systems
conference contribution
posted on 2011-02-04, 12:28 authored by Emil VassevEmil Vassev, Mike Hinchey, Paddy NixonIntelligent 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
5th NASA/ESA Conference on Adaptive Hardware and Systems (AHS) 2010;pp. 83 - 90Publisher
IEEE Computer SocietyNote
peer-reviewedOther Funding information
SFIRights
©2010 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works.Language
EnglishExternal identifier
Usage metrics
Categories
No categories selectedLicence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC