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 BookConference contribution

4 Citations (Scopus)

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 languageEnglish
Title of host publicationProceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems
EditorsTughru Arslan, Didier Keymeulen, David Merodio, Khaled Benkrid, Ahmet T. Erdogan, Umeshkumar Patel, Adrian Stoica
Place of PublicationUnited States
PublisherIEEE, Institute of Electrical and Electronics Engineers
Pages83-90
Number of pages8
ISBN (Electronic)9781424458899
ISBN (Print)9781424458875
DOIs
Publication statusPublished - 2010
Externally publishedYes
Event2010 NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2010) - Anaheim, Anaheim, United States
Duration: 15 Jun 201018 Jun 2010

Conference

Conference2010 NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2010)
Abbreviated titleAHS 2010
CountryUnited States
CityAnaheim
Period15/06/1018/06/10

Fingerprint Dive into the research topics of 'A formal approach to self-configurable swarm-based space-exploration systems'. Together they form a unique fingerprint.

  • 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