Formal approaches to intelligent swarms
- 8 July 2004
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
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. Author(s) Rouff, C. SAIC, McLean, VA, USA Truszkowski, W. ; Rash, J. ; Hinchey, M.Keywords
This publication has 11 references indexed in Scilit:
- Experience using formal methods for specifying a multi-agent systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Ants and Agents: a Process Algebra Approach to Modelling Ant Colony BehaviourBulletin of Mathematical Biology, 2001
- Swarm SmartsScientific American, 2000
- Timed Communicating Object ZIEEE Transactions on Software Engineering, 2000
- Emergent cooperative goal-satisfaction in large-scale automated-agent systemsArtificial Intelligence, 1999
- Industrial-Strength Formal Methods in PracticePublished by Springer Nature ,1999
- Self-organization in social insectsTrends in Ecology & Evolution, 1997
- Communicating X-machinesInformation and Software Technology, 1996
- Modula-P-a language for parallel programming definition and implementation on a transputer networkPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1992
- Communicating sequential processesCommunications of the ACM, 1978