Verifying large numbers of cooperating adaptive agents

Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS

Volumn 1, Issue , 2005, Pages 391-397

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

^a SCIENCE APPLICATIONS INTERNATIONAL CORPORATION   (United States)

^b NASA GODDARD SPACE FLIGHT CENTER   (United States)

Author keywords

Autonomy; Emergent behavior; Formal methods; Spacecraft; Swarms; Verification

Indexed keywords

AUTONOMY; EMERGENT BEHAVIOR; FORMAL METHODS; SWARMS; VERIFICATION;

DISTRIBUTED COMPUTER SYSTEMS; SPACE RESEARCH; SPACECRAFT; SPECIFICATIONS;

INTELLIGENT AGENTS;

EID: 23944509063     PISSN: 15219097     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICPADS.2005.294     Document Type: Conference Paper

References (14)

1. Bonabeau, E., G. Theraulaz, et al. Self-organization in Social Insects, Trends in Ecology and Evolution, 1997, vol. 12, pp. 188-193.
2. Chandy, K. M. and Misra, J. Parallel Program Design: A Foundation. Addison-Wesley. 1988.
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. Proc. International Astronautical Federation, 51st Congress, Oct. 2000.
4. Clark, P. E., Curtis, S. A. and Rilee, M. L. ANTS: Applying a New Paradigm to Lunar and Planetary Exploration. Proc. Solar System Remote Sensing Symposium, Pittsburg, 2002.
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, Aug., 1978.
7. Holcombe, M. Mathematical models of cell biochemistry. Technical Report CS-86-4. 1986. Dept of Computer Science, Sheffield University, UK.
8. Nayak, P. Pandurang, et al. Validating the DS1 Remote Agent Experiment. Proc. 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. Proc. 6th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2000), Sept. 11-15, 2000.
10. Rouff, C., Vanderbilt, A., Truszkowski, W., Rash, J. and Hinchey, M. Verification of NASA Emergent Systems. Proc. 9th International Conference on Engineering, of Complex Computer Systems (ICECCS 2004), Florence, Italy, April 14-16, 2004.
11. nd IEEE International Conference on Software Engineering and Formal Methods. Beijing, China, 26-30 September, 2004.
12. st International Conference on Integrated Formal Methods (IF M99). York, UK, June 28-29, 1999.
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 Biology, 63, 951-980, 2001
14. Tofts, C. Describing social insect behaviour using process algebra. Transactions on Social Computing Simulation, 227-283, 1991.