TY - GEN
T1 - Formal approaches to intelligent swarms
AU - Rouff, C.
AU - Truszkowski, W.
AU - Rash, J.
AU - Hinchey, M.
N1 - Publisher Copyright:
© 2004 IEEE.
PY - 2004
Y1 - 2004
N2 - Autonomous intelligent swarms of satellites are being proposed for future space missions. These types of missions provide greater flexibility and the chance to perform more and different kinds of science than traditional single satellite/vehicle missions, but also have complex interactions and behaviors. The emergent properties of swarms make these missions powerful, but at the same time are more difficult to design and assure that the proper behaviors will emerge due to their complexity. We are currently investigating formal methods and techniques for verification and validation of swarm-based missions. The advantage of using formal methods is their ability to mathematically assure the behavior of a swarm, emergent or otherwise. The autonomous nanotechnology swarm (ANTS) mission is being used as an example and case study for swarm-based missions for which to experiment and test current formal methods with intelligent swarms.
AB - Autonomous intelligent swarms of satellites are being proposed for future space missions. These types of missions provide greater flexibility and the chance to perform more and different kinds of science than traditional single satellite/vehicle missions, but also have complex interactions and behaviors. The emergent properties of swarms make these missions powerful, but at the same time are more difficult to design and assure that the proper behaviors will emerge due to their complexity. We are currently investigating formal methods and techniques for verification and validation of swarm-based missions. The advantage of using formal methods is their ability to mathematically assure the behavior of a swarm, emergent or otherwise. The autonomous nanotechnology swarm (ANTS) mission is being used as an example and case study for swarm-based missions for which to experiment and test current formal methods with intelligent swarms.
UR - http://www.scopus.com/inward/record.url?scp=84954449812&partnerID=8YFLogxK
U2 - 10.1109/SEW.2003.1270725
DO - 10.1109/SEW.2003.1270725
M3 - Conference contribution
AN - SCOPUS:84954449812
T3 - Proceedings - 28th Annual NASA Goddard Software Engineering Workshop, SEW 2003
SP - 51
EP - 57
BT - Proceedings - 28th Annual NASA Goddard Software Engineering Workshop, SEW 2003
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 28th Annual NASA Goddard Software Engineering Workshop, SEW 2003
Y2 - 3 December 2003 through 4 December 2003
ER -