Ubiquitous software controller to prevent deadlocks for automated guided vehicle systems in a container port terminal environment

Deadlocks in automated container terminals cause significant losses in port operational performance and thus, in order for the successful implementation of automated guided vehicle systems for container ports, it is crucial to prevent deadlocks. A graph-based representation of deadlocks is provided in this study, and deadlocks are prevented by imposing constraints in vehicle movements. Such constraints are embedded in the software controller by attaching control nodes. The simulation results show that the operational performances of container terminals may significantly be improved by the proposed controller.

[1]  MengChu Zhou.  Deadlock avoidance schemes in a distributed robotic system: Petri net modeling and analysis , 1995, J. Field Robotics.

[2]  Hyunbo Cho,et al.  Graph-theoretic deadlock detection and resolution for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

[3]  Spyros Reveliotis,et al.  Flexible manufacturing system structural control and the Neighborhood Policy, part 1. Correctness and scalability , 1997 .

[4]  Matthias Lehmann,et al.  Deadlock handling for real-time control of AGVs at automated container terminals , 2006, OR Spectr..

[5]  Bruce H. Krogh,et al.  Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows , 1990, IEEE Trans. Robotics Autom..

[6]  Shi-Chung Chang,et al.  Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems , 1994, IEEE Trans. Robotics Autom..

[7]  Hyunbo Cho,et al.  A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems , 1994 .

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

[9]  Kap Hwan Kim,et al.  Deadlock prevention for automated guided vehicles in automated container terminals , 2006, OR Spectr..

[10]  Richard A. Wysk,et al.  Detection of deadlocks in flexible manufacturing cells , 1991, IEEE Trans. Robotics Autom..

[11]  Armin Zimmermann.  Colored Petri Nets , 2008 .

[12]  Maria Pia Fanti,et al.  Event-based feedback control for deadlock avoidance in flexible production systems , 1997, IEEE Trans. Robotics Autom..

[13]  Spyros A. Reveliotis,et al.  A correct and scalable deadlock avoidance policy for flexible manufacturing systems , 1998, IEEE Trans. Robotics Autom..

[14]  Y. Narahari,et al.  Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models , 1990, IEEE Trans. Robotics Autom..

[15]  Javier Martínez,et al.  A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

[16]  Xiaolan Xie,et al.  A class of Petri nets for manufacturing system integration , 1997, IEEE Trans. Robotics Autom..

[17]  Chang Ho Yang,et al.  Simulation-based performance evaluation of transport vehicles at automated container terminals , 2004 .

[18]  Joaquín Ezpeleta,et al.  Automatic synthesis of colored Petri nets for the control of FMS , 1997, IEEE Trans. Robotics Autom..

[19]  Mark Lawley,et al.  Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems , 1997, IEEE Trans. Autom. Control..

[20]  Spyros Reveliotis,et al.  Flexible manufacturing system structural control and the Neighborhood Policy, part 2. Generalization, optimization, and efficiency , 1997 .

[21]  Feng Chu,et al.  Deadlock analysis of Petri nets using siphons and mathematical programming , 1997, IEEE Trans. Robotics Autom..

[22]  Ravindra K. Ahuja,et al.  Network Flows: Theory, Algorithms, and Applications , 1993 .