Verification of emergent behaviors in swarm-based systems

Christopher Rouff, Amy Vanderbilt, Mike Hinchey, Walt Truszkowski, James Rash

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

The emergent properties of swarms make swarm-based missions powerful, but at the same time more difficult to design and to assure that the proper behaviors will emerge. We are currently investigating formal methods and techniques for verification and validation of swarm-based missions. The Autonomous Nano-Technology Swarm (ANTS) mission is being used as an example and case study for swarm-based missions to experiment and test current formal methods with intelligent swarms. Using the ANTS mission, we have evaluated multiple formal methods to determine their effectiveness in modeling and assuring swarm behavior. This paper introduces how intelligent swarm technology is being proposed for NASA missions, and gives the results of a comparison of several formal methods and approaches for specifying intelligent swarm-based systems and their effectiveness for predicting emergent behavior.

Original languageEnglish
Title of host publicationProceedings - 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2004
EditorsV. Dvorak, M. Sveda
Pages443-448
Number of pages6
DOIs
Publication statusPublished - 2004
Externally publishedYes
EventProceedings - 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2004 - Brno
Duration: 24 May 200427 May 2004

Publication series

NameProceedings - 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2004

Conference

ConferenceProceedings - 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2004
CityBrno
Period24/05/0427/05/04

Fingerprint

Dive into the research topics of 'Verification of emergent behaviors in swarm-based systems'. Together they form a unique fingerprint.

Cite this