Requirements of an integrated formal method for intelligent swarms

FMICS'05 - Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems

Volumn , Issue , 2005, Pages 125-133

  Hinchey, M G ^a   Rouff, C A ^b   Rash, J L ^a   Truszkowski, W F ^a  

^a NASA GODDARD SPACE FLIGHT CENTER   (United States)

^b SCIENCE APPLICATIONS INTERNATIONAL CORPORATION   (United States)

Author keywords

Formal methods; Integrated hybrid methods; Swarms; Verification

Indexed keywords

BROADCASTING; INTERNET; PROJECT MANAGEMENT; SPACE SURVEILLANCE; SPACECRAFT OBSERVATORIES;

FORMAL METHODS; INTEGRATED/HYBRID METHODS; INTELLIGENT SWARMS; VERIFICATION;

INTELLIGENT AGENTS;

EID: 33749011186     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1081180.1081196     Document Type: Conference Paper

References (37)

1. T. Balch, A. Feldman, and Z. Khan. Automatic classification of insect behavior using computer vision and behavior recognition. In P roc. Second International Workshop on the Mathematics and Algorithms of Social Insects, Atlanta, Georgia, USA, 16-17 December 2003.
2. G. Beni. The concept of cellular robotics. In Proc. 1988 IEEE International Symposium on Intelligent Control, pages 57-62. IEEE Computer Society Press, Los Alamitos, Calif., 1988.
3. G. Beni and J. Want. Swarm intelligence. In Proc. Seventh Annual Meeting of the Robotics Society of Japan, pages 425-428, Tokyo, Japan, 1989. RSJ Press.
4. E. Bonabeau and G. Théraulaz. Swarm smarts. Scientific American, pages 72-79, March 2000.
5. M. J. Butler. csp2B : A Practical Approach To Combining CSP and B. Declarative Systems and Software Engineering Group, Department of Electronics and Computer Science, University of Southampton, February 1999.
6. S. Carlson. Artificial life: Boids of a feather flock together. Scientific American, November 2000.
7. W. Cedeno and D. K. Agrafiotis. Combining particle swarms and k-nearest neighbors for the development of quantitative structure-activity relationships. Int. J. Comput. Res., 11(4):443-452, 2003.
8. K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley Publishing Company, 1988.
9. S. Curtis, M. Rilee, W. Truszkowski, C. Cheung, and P. Clark. Neural basis function control of super micro autonomous reconfigurable technology (SMART) nano-systems. In Proc. First AIAA Intelligent Systems Technical Conference. AIAA, 20-22 September 2004.
10. S. A. Curtis, J. Mica, J. Nuth, G. Marr, M. L. Rilee, and M. K. Bhat. ANTS (Autonomous Nano-Technology Swarm): An artificial intelligence approach to asteroid belt resource exploration. In Proc. Int'l Astronautical Federation, 51st Congress, October 2000.
11. S. A. Curtis, W. F. Truszkowski, M. L. Rilee, and P. E. Clark. ANTS for the human exploration and development of space. In Proc. IEEE Aerospace Conference, Big Sky, Montana, USA, 9-16 March 2003.
12. M. Dorigo and L. M. Gambardella. Ant colonies for the traveling salesman problem. BioSystems, 43:73-81, 1997.
13. M. Dorigo and Stützle. Ant Colony Optimization. MIT Press, 2004.
14. J. L. Fiadeiro. Categories for Software Engineering. Springer-Verlag, London, 2004.
15. D. E. Hiebeier. The swarm simulation system and individual-based modeling. In Proc. Decision Support 2001: Advanced Technology for Natural Resource Management, Toronto, Canada, September 1994.
16. M. G. Hinchey and S. A. Jarvis. Concurrent Systems: Formal Development in CSP. International Series in Software Engineering. McGraw-Hill International, London, UK, 1995.
17. M. G. Hinchey, J. L. Rash, W. F. Truszkowski, C. A. Rouff, and R. Sterrit. Autonomous and autonomic swarms. In Proc. The 2005 International Conference on Software Engineering Research and Practice (SERP'05), pages 36-42, Las Vegas, Nevada, USA, 27 June 2005. CSREA Press.
18. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice Hall International, Englewood Cliffs, NJ, 1985.
19. W. M. L. Holcombe. Mathematical models of cell biochemistry. Technical Report CS-86-4, Sheffield University, UK, 1986.
20. W. M. L. Holcombe. Towards a formal description of intracellular biochemical organization. Technical Report CS-86-1, Sheffield University, UK, 1986.
21. W. M. L. Holcombe. X-Machines as a basis for system specification. Software Engineering, 3(2):69-76, 1988.
22. J. R. Kiniry. The specification of dynamic distributed component systems. Master's thesis, California Institute of Technology, 1998.
23. F. Luna and B. Stefansson. Economic Simulations in Swarm: Agent-Based Modelling and Object Oriented Programming. Kluwer Academic Publishers, 2000.
24. C. W. Reynolds. Flocks, herds, and schools: A distributed behavioral model. Computer Graphics, 21(4):25-34, 1987.
25. M. L. Rilee, S. A. Boardsen, M. K. Bhat, and S. A. Curtis. Onboard science software enabling future space science and space weather missions. In Proc. 2002 IEEE Aerospace Conference, Big Sky, Montana, March 2002.
26. C. Rouff, A. Vanderbilt, M. Hinchey, W. Truszkowski, and J. Rash. Properties of a formal method for prediction of emergent behaviors in swarm-based systems. In Proc. 2nd IEEE International Conference on Software Engineering and Formal Methods, Beijing, China, September 2004.
27. C. A. Rouff, J. L. Rash, and M. G. Hinchey. Experience using formal methods for specifying a multi-agent system. In Proc. Sixth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2000), Tokyo, Japan, 2000. IEEE Computer Society Press, Los Alamitos, Calif.
28. C. A. Rouff, W. F. Truszkowski, M. G. Hinchey, and J. L. Rash. Verification of NASA emergent systems. In P roc. 9th IEEE International Conference on Engineering of Complex Computer Systems, Florence, Italy, April 2004. IEEE Computer Society Press, Los Alamitos, Calif.
29. C. A. Rouff, W. F. Truszkowski, J. L. Rash, and M. G. Hinchey. A survey of formal methods for intelligent swarms. Technical Report TM-2005-212779, NASA Goddard Space Flight Center, Greenbelt, Maryland, 2005.
30. M. Savage and M. Askenazi. Arborscapes: A swarm-based multi-agent ecological disturbance model. Working paper 98-06-056, Santa Fe Institute, Santa Fe, New Mexico, 1998.
31. W. M. Spears and D. F. Gordon. Using artificial physics to control agents. In Proc. IEEE International Conference on Information, Intelligence, and Systems, Charlotte, North Carolina, November 1999.
32. C. Suhl. RT-Z: An integration of Z and Timed CSP. In Proc. 1st International Conference on Integrated Formal Methods (IFM99), York, United Kingdom, June 1999.
33. D. J. T. Sumpter, G. B. Blanchard, and D. S. Broomhead. Ants and agents: a process algebra approach to modelling ant colony behaviour. Bulletin of Mathematical Biology, 63(5):951-980, September 2001.
34. C. Tofts. Describing social insect behavior using process algebra. Transactions on Social Computing Simulation, pages 227-283, 1991.
35. W. Truszkowski, M. Hinchey, J. Rash, and C. Rouff. NASA's swarm missions: The challenge of building autonomous software. IEEE IT Professional, 6(5):47-52, September/October 2004.
36. W. F. Truszkowski, M. G. Hinchey, J. L. Rash, and C. A. Rouff. Autonomous and autonomic systems: A paradigm for future space exploration missions. IEEE Transactions on Systems, Man and Cybernetics, Part C, 2006 (to appear).
37. J. von Neumann. Theory of Self-Reproducing Automata. University of Illinois Press, Urbana, Illinois, 1996.