Stability and deadlock avoidance in distributed systems for traffic control

This paper describes a distributed method for traffic control and addresses the crucial problem of stability from both a formal and a practical perspective. Within a continuous-time and continuous-space approximation, a mathematical analysis first demonstrates the inherent stability of priority-based local decision making. Then, a more realistic model takes into account a network's finite connectivity and the time-discrete nature of events. This paper shows how deadlock-avoidance algorithms can be effectively included in a distributed system. Experimental results obtained by a realistic railway model prove that the inclusion of deadlock avoidance can provide early detection of critical situations, thus making it possible to schedule appropriate decisions or to drive a routing mechanism to enhance traffic flow.

[1]  Thomas J. Laffey,et al.  Real-Time Knowledge-Based Systems , 1988, AI Mag..

[2]  Victor R. Lesser,et al.  Functionally Accurate, Cooperative Distributed Systems , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[3]  Asrar U. H. Sheikh,et al.  The communications system architecture of the North American Advanced Train Control System , 1990 .

[4]  Barry G. Silverman,et al.  Distributed Inference and Fusion Algorithms for Real-Time Supervisory Controller Positions , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[5]  Donald F. Towsley,et al.  A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution , 1989, IEEE Trans. Software Eng..

[6]  A. Nico Habermann,et al.  Prevention of system deadlocks , 1969, CACM.

[7]  Arie Shoshani,et al.  System Deadlocks , 1971, CSUR.

[8]  Andrew B. Whinston,et al.  A distributed knowledge-based approach for planning and controlling projects , 1993, IEEE Trans. Syst. Man Cybern..

[9]  Victor R. Lesser,et al.  The Distributed Vehicle Monitoring Testbed: A Tool for Investigating Distributed Problem Solving Networks , 1983, AI Mag..

[10]  Michael N. Huhns,et al.  An architecture for control and communications in distributed artificial intelligence systems , 1985 .

[11]  Rodolfo Zunino,et al.  A distributed intelligence methodology for railway traffic control , 1990 .

[12]  Mukul K. Sinha,et al.  A Priority Based Distributed Deadlock Detection Algorithm , 1985, IEEE Transactions on Software Engineering.

[13]  Keith S. Decker,et al.  Distributed problem-solving techniques: A survey , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[14]  S. Sone,et al.  Traffic dynamics of automated transit systems with pre-established schedules , 1984, IEEE Transactions on Systems, Man, and Cybernetics.

[15]  M. E. Bennett,et al.  Real-time continuous AI systems , 1987 .

[16]  Randall Steeb,et al.  Strategies of Cooperation in Distributed Problem Solving , 1983, IJCAI.

[17]  Mukesh Singhal,et al.  Deadlock detection in distributed systems , 1989, Computer.

[18]  Edmund H. Durfee,et al.  Approximate Processing in Real-Time Problem Solving , 1988, AI Mag..