Verification of NASA emergent systems

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2004, Pages 231-238

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

^a SCIENCE APPLICATIONS INTERNATIONAL CORPORATION   (United States)

^b NASA GODDARD SPACE FLIGHT CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STORAGE EQUIPMENT; EARTH (PLANET); MATHEMATICAL MODELS; NANOTECHNOLOGY; ROBOTICS; SATELLITES; SOCIAL ASPECTS; SPACECRAFT;

ASTEROID EXPLORATION; AUTONOMOUS NANOTECHNOLOGY (ANT); SATELLITE MISSIONS; SWARM-BASED MISSIONS;

INTELLIGENT AGENTS;

EID: 4444377231     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. ANTS team. Protocol for ANTS Encounters. NASA GSFC, Code 695.
2. 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.
3. Bonabeau, E., G. Theraulaz, et al. Self-organization in Social Insects, Trends in Ecology and Evolution, 1997, vol. 12, pp. 188-193.
4. Bonabeau, E. and Theraulaz, G., Swarm smarts. Scientific American, pp. 72-79, March 2000.
5. Clark, P.E., Rilee, M.L., Truszkowski, W., Marr, G., McLanahan, T., and Curtis, S.A. Prospecting ANTS Missions: Applying a New Paradigm to Lunar and Planetary Exploration. To appear.
6. 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.
7. Hinchey, M. and Bowen, J. Industrial-Strength Formal Methods in Practice. Springer. 1999.
8. 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).
9. 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.
10. Tofts, C. Describing social insect behaviour using process algebra. Transactions on Social Computing Simulation. 1991. 227-283.
11. 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.
12. Holcombe, M. Towards a formal description of intracellular biochemical organization. Technical Report CS-86-1. 1986. Dept of Computer Science, Sheffield University, United Kingdom.
13. Holcombe, M. Mathematical models of cell biochemistry. Technical Report CS-86-4. 1986. Dept of Computer Science, Sheffield University, United Kingdom.
14. Barnard, J., Whitworth, J. and Woodward, M. Communicating X-machines. Journal of Information and Software Technology, 38(6), 1996.
15. Kiniry, J.R. The Specification of Dynamic Distributed Component Systems. Masters' Thesis, CS-TR-98-08 1998 California Institute of Technology, Computer Science Department.
16. von Neumann, John. Theory of Self-Reproducing Automat. University of Illinois Press, Urbana, Illinois. 1996. Edited and completed by Burks, A.W.
17. Chandy, K. M. and Misra, J. Parallel Program Design: A Foundation. Addison-Wesley. 1988.
18. Hoare, C.A.R. Communicating Sequential Processes. Communications of the ACM, 21(8):666-677, August, 1978.
19. Rouff, C., Truszkowski, W., Rash, J. and Hinchey, M. Formal Approaches to Intelligent Swarms. IEEE/NASA Software Engineering Workshop, Greenbelt, MD. December 2003.