Verification of emergent behaviors in swarm-based systems

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

Volumn , Issue , 2004, Pages 443-448

  Rouff, Christopher ^a   Vanderbilt, Amy ^a   Hinchey, Mike ^b   Truszkowski, Walt ^c   Rash, James ^c  

^a SCIENCE APPLICATIONS INTERNATIONAL CORPORATION   (United States)

^b NASA GSFC Code 581   (United States)

^c NASA GSFC/Code 588   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS NANOTECHNOLOGY SWARM (ANTS); SWARM BASED SYSTEMS; VERIFICATION;

APPROXIMATION THEORY; AUTONOMOUS AGENTS; BANDWIDTH; CHANNEL CAPACITY; DATA ACQUISITION; NANOTECHNOLOGY; SOFTWARE ENGINEERING;

INTELLIGENT AGENTS;

EID: 7744239344     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2004.1316730     Document Type: Conference Paper

References (14)

1. Beni, G. and Want, J. Swarm Intelligence. In Proceedings of the Seventh Annual Meeting of the Robotics Society of Japan, pp 425-428, Tokyo, Japan, 1989, RSJ Press.
2. Bonabeau, E., G. Theraulaz, et al. Self-organization in Social Insects, Trends in Ecology and Evolution, 1997, vol. 12, pp. 188-193.
3. Curtis, S. A., J. Mica, J. Nuth, G. Marr, M. Rilee, and M. Bhat. ANTS (Autonomous Nano-Technology Swarm): An Artificial Intelligence Approach to Asteroid Belt Resource Exploration. International Astronautical Federation, 51st Congress, October 2000.
4. Hinchey, M. Jarvis, S. Concurrent Systems: Formal Development in CSP. McGraw-Hill. 1995.
5. Hinchey, M. and Bowen, J. Industrial-Strength Formal Methods in Practice. Springer. 1999.
6. Hoare, C.A.R. Communicating Sequential Processes. Communications of the ACM, 21(8):666-677, August, 1978.
7. Holcombe, M. Towards a formal description of intracellular biochemical organization. Technical Report CS-86-1. 1986. Dept of Computer Science, Sheffield University, United Kingdom.
8. Holcombe, M. Mathematical models of cell biochemistry. Technical Report CS-86-4. 1986. Dept of Computer Science, Sheffield University, United Kingdom.
9. Holzmann, H. J, Design and Validation of Computer Protocols, Prentice Hall Software Series, Englewood Cliffs, NJ, 1991.
10. Nayak, P. Pandurang, et. al. 1999. Validating the DS1 Remote Agent Experiment. In Proceedings of the 5th International Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS-99).
11. Rouff, C., Rash, J., Hinchey, M. Experience Using Formal Methods for Specifying a Multi-Agent System. Sixth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2000) September 11-15, 2000.
12. Rouff, C., Vanderbilt, A., Truszkowski, W., Rash, J., and Hinchey, M. Formal Approaches to Intelligent Swarm Technology, A Survey of Formal Methods for Intelligent Swarms. Technical Report 2003. http://ants.gsfc.nasa.gov.
13. Sumpter, D.J.T., Blanchard, G.B. and Broomhead, D.S. Ants and Agents: A Process Algebra Approach to Modelling Ant Colony Behaviour. Bulletin of Mathematical Bilogy. 2001, 63, 951-980.
14. Tofts, C. Describing social insect behaviour using process algebra. Transactions on Social Computing Simulation. 1991. 227-283.