Properties of a formal method for prediction of emergent behaviors in swarm-based systems

Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004

Volumn , Issue , 2004, Pages 24-33

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

^a SCIENCE APPLICATIONS INTERNATIONAL CORPORATION   (United States)

^b NASA GODDARD SPACE FLIGHT CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS INTELLIGENT SWARMS; AUTONOMOUS NANO TECHNOLOGY SWARM (ANTS); SWARM SIMULATIONS; SWARM TECHNOLOGY;

CHAOS THEORY; COMPUTER SIMULATION; MARKOV PROCESSES; MATHEMATICAL MODELS; NANOTECHNOLOGY; PROBABILITY; SATELLITES; SPACE RESEARCH; SPACECRAFT; SPECIFICATIONS;

INTELLIGENT AGENTS;

EID: 16244383226     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2004.1347500     Document Type: Conference Paper

References (23)

1. ANTS team. Protocol for ANTS Encounters. NASA GSFC, Code 695.
2. ANTS Prospecting Asteroids Mission (ANTS/PAM). NASA Goddard Space Flight Center. http://ants.gsfc.nasa.gov/.
3. Beni, G. The Concept of Cellular Robotics. In Proceedings of the 1988 IEEE International Symposium on Intelligent Control, pp 57-62, Los Alamitos, CA 1988. IEEE Computer Society Press.
4. 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.
5. Bonabeau, E. and Theraulaz, G., Swarm smarts. Scientific American, pp. 72-79, March 2000.
6. Bonabeau, E., G. Theraulaz, et al. "Self-organization in Social Insects", Trends in Ecology and Evolution, 1997, vol. 12, pp. 188-193.
7. Bonabeau, E., Dorigo, M. and Theraulaz, G. Swarm Intelligence: From Natural to Artificial Systems. Oxford University Press, New York, 1999.
8. Clark, P. E., Curtis, S. A. and Rilee, M. L. ANTS: Applying a New Paradigm to Lunar and Planetary Exploration. Solar System Remote Sensing Symposium, Pittsburg, 2002.
9. Clare, E. and Wing, J. Formal Methods: State of the Art and Future Directions. Report by the Working Group on Formal Methods for the ACM Workshop on Strategic Directions in Computing Research, ACM Computing Surveys, vol. 28, no. 4, December 1996, pp. 626-643.
10. 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.
11. Curtis, S., Truszkowski, W., Rilee, M., and Clark, P. ANTS for the Human Exploration and Development of Space. IEEE Aerospace Conference, 2003.
12. Hinchey, M. Jarvis, S. Concurrent Systems: Formal Development in CSP. McGraw-Hill. 1995.
13. Hoare, C.A.R. Communicating Sequential Processes. Prentice Hall, 1985.
14. Iyengar, J., Truszkowski, W and Mills, F. Describing Intelligent Agent Behaviors. Journal of International Information Management, 10(2), 99-77. 2002.
15. Rilee, M.L., Boardsen, S.A., Bhat, M.K. and Curtis, S.A. Onboard Science Software Enabling Future Space Science and Space Weather Missions. 2002 IEEE Aerospace Conference Big Sky, Montana, March 2002.
16. 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.
17. Rouff, C., Truszkowski, W., Rash, J, and Hinchey, M. Formal Approaches to Intelligent Swarms. 28th NASA/ IEEE Software Engineering Workshop, Dec. 2003.
18. Rouff, C., Vanderbilt, A., Truszkowski, W., Rash, J, and Hinchey, M. Verification of NASA Emergent Systems. The 9th IEEE International Conference on Engineering of Complex Computer Systems, April 2004.
19. Sumpter, D.J.T., Blanchard, G.B. and Broomhead, D.S. Ants and Agents: A Process Algebra Approach to Modeling Ant Colony Behavior. Bulletin of Mathematical Biology. 2001, 63, 951-980.
20. Tofts, C. Describing social insect behavior using process algebra. Transactions on Social Computing Simulation. 1991. 227-283.
21. Weiss, G. Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence. The MIT Press. 1999.
22. Holcombe, W.M.L. X-machines as a Basis for System Specification. Software Engineering Journal, 3(2), 1988, 69-76.
23. Chandy, K.M. and Misra, J. Parallel Program Design: A Foundation. Addison-Wesley Publishing Company. 1988.