Distributed spatial control, global monitoring and steering of mobile agents

Proceedings - 1999 International Conference on Information Intelligence and Systems, ICIIS 1999

Volumn , Issue , 1999, Pages 681-688

  Gordon, Diana F ^a   Spears, William M ^a   Sokolsky, Oleg ^b   Lee, Insup ^b  

^a NAVAL RESEARCH LABORATORY   (United States)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MONITORING; MULTI AGENT SYSTEMS; REPAIR;

ARTIFICIAL FORCES; ARTIFICIAL PHYSICS; GEOMETRIC PATTERNS; GLOBAL INFORMATIONS; GLOBAL MONITORING; HEXAGONAL LATTICE; MOBILE PHYSICAL AGENTS; MULTIPLE AGENTS;

MOBILE AGENTS;

EID: 19144370322     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICIIS.1999.810365     Document Type: Conference Paper

References (14)

1. T. Balch and R. Arkin. Behavior-based formation control for multi-robot teams. IEEE Transactions on Robotics and Automation, 14(6):1-15, 1998.
2. B. Carlson, V. Gupta, and T. Hogg. Controlling agents in smart matter with global constraints. In AAAI-97 Workshop on Constraints and Agents, 1997.
3. M. Diaz, G. Juanole, and J.-P. Courtiat. Observer - a concept for formal on-line validation of distributed systems. 20(12):900-913, Dec. 1994.
4. O. Khatib. Real-time obstacle avoidance for manipulators and mobile robots. International Journal of Robotics Research, 5(1):90-98, 1986.
5. J. Kim and P. Khosla. Real-time obstacle avoidance using harmonic potential functions. In Proc. IEEE International Conference on Robotics and Automation, pages 790-796, 1991.
6. M. Kim, M. Viswanathan, H. Ben-Abdallah, S. Kannan, I. Lee, and O. Sokolsky. Formally specified monitoring of temporal properties. In Euromicro Conference on Real-Time Systems, to appear, 1999.
7. J. McMichael and M. Francis. Micro air ve- hicles - toward a new dimension in flight. http://www.darpa.mil/tto/mav/mav- auvsi.htm, 1997.
8. A. K. Mok and G. Liu. Efficient run-time monitoring of timing constraints. In IEEE Real-Time Technology and Applications Symposium, June 1997.
9. A. Mukerjee. Neat vs scruffy: A survey of computational models for spatial expressions. In P. Olivier and K. P. Gapp, editors, Computational Representation and Processing of Spatial Expressions, 1998.
10. S. Sankar and M. Mandal. Concurrent runtime monitoring of formally specified programs. In IEEE Computer, pages 32-41, March 1993.
11. T. Savor and R. E. Seviora. An approach to automatic detection of software failures in real-time systems. In IEEE Real-Time Technology and Applications Symposium, pages 136-146, June 1997.
12. R. Schwartz, P. Shor, P. Prevelige, and B. Berger. Local rules simulation of the kinetics of virus capsid self-assembly. Biophysics, 75:2626-2636, 1998.
13. W. Spears and D. Gordon. Using artificial physics to control agents. In IEEE International Conference on Information, Intelligence, and Systems, 1999.
14. E. Winfree. Simulations of computing by self-assembly. DI-MACS: DNA-Based Computers, June 1998.