TY - GEN
T1 - Verification of emergent behaviors in swarm-based systems
AU - Rouff, Christopher
AU - Vanderbilt, Amy
AU - Hinchey, Mike
AU - Truszkowski, Walt
AU - Rash, James
PY - 2004
Y1 - 2004
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=7744239344&partnerID=8YFLogxK
U2 - 10.1109/ECBS.2004.1316730
DO - 10.1109/ECBS.2004.1316730
M3 - Conference contribution
AN - SCOPUS:7744239344
SN - 0769521258
SN - 9780769521251
T3 - Proceedings - 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2004
SP - 443
EP - 448
BT - Proceedings - 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2004
A2 - Dvorak, V.
A2 - Sveda, M.
T2 - Proceedings - 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2004
Y2 - 24 May 2004 through 27 May 2004
ER -