Distributed spatial control, global monitoring and steering of mobile agents

In this paper we combine two frameworks in the context of an important application. The first framework, called "artificial physics", is described in detail in a companion paper by Spears and Gordon (1999). The purpose of artificial physics is the distributed spatial control of large collections of mobile physical agents. The agents can be composed into geometric patterns (e.g., to act as a sensing grid) by having them sense and respond to local artificial forces that are motivated by natural physics laws. The purpose of the second framework is global monitoring of the agent formations developed with artificial physics. Using only limited global information, the monitor checks that the desired geometric pattern emerges over time as expected. If there is a problem, the global monitor steers the agents to self-repair: our combined approach of local control through artificial physics, global monitoring, and "steering" for self-repair is implemented and tested on a problem where multiple agents form a hexagonal lattice pattern.

[1]  Oussama Khatib,et al.  Real-Time Obstacle Avoidance for Manipulators and Mobile Robots , 1986 .

[2]  Tucker R. Balch,et al.  Behavior-based formation control for multirobot teams , 1998, IEEE Trans. Robotics Autom..

[3]  William M. Spears,et al.  Using artificial physics to control agents , 1999, Proceedings 1999 International Conference on Information Intelligence and Systems (Cat. No.PR00446).

[4]  Oussama Khatib,et al.  Real-Time Obstacle Avoidance for Manipulators and Mobile Robots , 1985, Autonomous Robot Vehicles.

[5]  Guangtian Liu,et al.  Efficient Run-time Monitoring Of Timing Constraints , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

[6]  O. Khatib,et al.  Real-Time Obstacle Avoidance for Manipulators and Mobile Robots , 1985, Proceedings. 1985 IEEE International Conference on Robotics and Automation.

[7]  T. Hogg,et al.  Controlling Agents in Smart Matter with Global Constraints , 1997, AAAI Workshop: Constraints & Agents.

[8]  E. Winfree.  Simulations of Computing by Self-Assembly , 1998 .

[9]  Guy Juanole,et al.  Observer-A Concept for Formal On-Line Validation of Distributed Systems , 1994, IEEE Trans. Software Eng..

[10]  Amitabha Mukerjee,et al.  Neat vs Scruffy: A survey of Computational Models for Spatial Expressions , 1998 .

[11]  Hanêne Ben-Abdallah,et al.  Formally specified monitoring of temporal properties , 1999, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

[12]  Pradeep K. Khosla,et al.  Real-time obstacle avoidance using harmonic potential functions , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[13]  B. Berger,et al.  Local rules simulation of the kinetics of virus capsid self-assembly. , 1998, Biophysical journal.

[14]  Rudolph E. Seviora,et al.  An approach to automatic detection of software failures in real-time systems , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

[15]  Sriram Sankar,et al.  Concurrent runtime monitoring of formally specified programs , 1993, Computer.