DocumentCode :
3226399
Title :
Verification of emergent behaviors in swarm-based systems
Author :
Rouff, Christopher ; Vanderbilt, Amy ; Hinchey, Mike ; Truszkowski, Walt ; Rash, James
fYear :
2004
fDate :
24-27 May 2004
Firstpage :
443
Lastpage :
448
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 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.
Keywords :
aerospace computing; calculus of communicating systems; communicating sequential processes; emergent phenomena; formal specification; formal verification; multi-agent systems; nanotechnology; Autonomous Nano-Technology Swarm mission; NASA missions; formal verification; intelligent swarm technology; swarm emergent properties; Belts; Earth; Insects; Intelligent agent; Intelligent systems; NASA; Nanotechnology; Particle swarm optimization; Space technology; Testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the
Print_ISBN :
0-7695-2125-8
Type :
conf
DOI :
10.1109/ECBS.2004.1316730
Filename :
1316730
Link To Document :
بازگشت