Scheduling of deadlock and failure-prone automated manufacturing systems via hybrid heuristic search

This work focuses on the scheduling problem of deadlock and failure-prone automated manufacturing systems, and presents a new scheduling method by combining a robust supervisory control policy and hybrid heuristic search. It aims to minimise makespan, i.e. the completion time of the last part. Based on the extended reach ability graph of the system, it establishes a new heuristic function and two dispatching rules to guide the search process for a schedule. By embedding a robust supervisory control policy into the search process, it develops a polynomial robust dynamic window search algorithm. Failure and repair events of unreliable resources may occur during the execution of a schedule obtained by the proposed algorithm and may make the schedule infeasible. To reduce the influence caused by them and ensure all parts to be finished, this work proposes two event-driven strategies. The first one suspends the execution of the parts requiring failed resources and those to be started until all failed resources are repaired and permits only those parts that have already been processed on working machines to be completed. The second one invokes the proposed algorithm to obtain a new schedule at the vertex generated after a resource failure or repair event and executes the new schedule. Both strategies are effective while the latter performs better at the expense of more computation.

[1]  M. Selim Akturk,et al.  Match-up scheduling under a machine breakdown , 1999, Eur. J. Oper. Res..

[2]  Jianchao Luo,et al.  Robust supervisory control policy for automated manufacturing systems with a single unreliable resource , 2017 .

[3]  R. Akella,et al.  Optimal control of production rate in a failure prone manufacturing system , 1985, 1985 24th IEEE Conference on Decision and Control.

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

[5]  Judea Pearl,et al.  Heuristics : intelligent search strategies for computer problem solving , 1984 .

[6]  MengChu Zhou,et al.  Deadlock-Free Genetic Scheduling Algorithm for Automated Manufacturing Systems Based on Deadlock Control Policy , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[7]  Hongnian Yu,et al.  Integrating Petri Nets and hybrid heuristic search for the scheduling of FMS , 2002, Comput. Ind..

[8]  Dimitri Lefebvre,et al.  Deadlock-free scheduling for timed Petri net models combined with MPC and backtracking , 2016, 2016 13th International Workshop on Discrete Event Systems (WODES).

[9]  Christian Bierwirth,et al.  Production Scheduling and Rescheduling with Genetic Algorithms , 1999, Evolutionary Computation.

[10]  Stanley B. Gershwin,et al.  Improvement of the evaluation of closed-loop production systems with unreliable machines and finite buffers , 2014, Comput. Ind. Eng..

[11]  H. Yua,et al.  Combined Petri net modelling and AI-based heuristic hybrid search for flexible manufacturing systems — part II . Heuristic hybrid search , 2015 .

[12]  Song Foh Chew,et al.  Robust supervisory control for Production Systems with multiple resource failures , 2006, IEEE Transactions on Automation Science and Engineering.

[13]  MengChu Zhou,et al.  Deadlock-Free Scheduling of Automated Manufacturing Systems Using Petri Nets and Hybrid Heuristic Search , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[14]  Jianchao Luo,et al.  Robust deadlock control for automated manufacturing systems with an unreliable resource , 2016, Inf. Sci..

[15]  Sanja Petrovic,et al.  SURVEY OF DYNAMIC SCHEDULING IN MANUFACTURING SYSTEMS , 2006 .

[16]  Stanley B. Gershwin,et al.  An efficient new job release control methodology , 2009 .

[17]  Li Li,et al.  A fuzzy Petri net-based reasoning method for rescheduling , 2011 .

[18]  MengChu Zhou,et al.  A robust deadlock prevention control for automated manufacturing systems with unreliable resources , 2016, Inf. Sci..

[19]  Miquel Angel Piera,et al.  A coloured Petri net-based hybrid heuristic search approach to simultaneous scheduling of machines and automated guided vehicles , 2016 .

[20]  Miquel Angel Piera Eroles,et al.  TIMSPAT - Reachability graph search-based optimization tool for colored Petri net-based scheduling , 2016, Comput. Ind. Eng..

[21]  Frank DiCesare,et al.  Scheduling flexible manufacturing systems using Petri nets and heuristic search , 1994, IEEE Trans. Robotics Autom..

[22]  Keyi Xing,et al.  Robust supervisory control policy for avoiding deadlock in automated manufacturing systems with unreliable resources , 2014 .

[23]  Reha Uzsoy,et al.  Executing production schedules in the face of uncertainties: A review and some future directions , 2005, Eur. J. Oper. Res..

[24]  MengChu Zhou,et al.  Deadlock control methods in automated manufacturing systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[25]  Song Foh Chew,et al.  Resource failure and blockage control for production systems , 2011, Int. J. Comput. Integr. Manuf..

[26]  Bo Huang,et al.  Scheduling FMS with alternative routings using Petri nets and near admissible heuristic search , 2012 .

[27]  MengChu Zhou,et al.  Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[28]  Ihsan Sabuncuoglu,et al.  Routing-based reactive scheduling policies for machine failures in dynamic job shops , 2001 .

[29]  M. A. LAWLEYy Control of deadlock and blocking for production systems with unreliable workstations , 2003 .

[30]  Jeffrey W. Herrmann,et al.  Analytical models to predict the performance of a single-machine system under periodic and event-driven rescheduling strategies , 2000 .

[31]  MuDer Jeng,et al.  Deadlock prevention policy based on Petri nets and siphons , 2001 .

[32]  Song Foh Chew,et al.  Using shared resource capacity for robust control of failure prone manufacturing systems , 2005, IEEE International Conference on Automation Science and Engineering, 2005..

[33]  Stanley B. Gershwin,et al.  An approximate analytical method for evaluating the performance of closed-loop flow systems with unreliable machines and finite buffers , 2007 .

[34]  Xiao Chen,et al.  Deadlock-free genetic scheduling for flexible manufacturing systems using Petri nets and deadlock controllers , 2014 .

[35]  Jeffrey W. Herrmann,et al.  Rescheduling Manufacturing Systems: A Framework of Strategies, Policies, and Methods , 2003, J. Sched..

[36]  Hoda A. ElMaraghy,et al.  Deadlock-free scheduling in flexible manufacturing systems using Petri nets , 2002 .

[37]  Anil K. Jain,et al.  PRODUCTION SCHEDULING/RESCHEDULING IN FLEXIBLE MANUFACTURING , 1997 .

[38]  Miquel Angel Piera Eroles,et al.  Deadlock-Free Scheduling Method for Flexible Manufacturing Systems Based on Timed Colored Petri Nets and Anytime Heuristic Search , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[39]  MengChu Zhou,et al.  Transition Cover-Based Design of Petri Net Controllers for Automated Manufacturing Systems , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[40]  Lei Ma,et al.  Rescheduling Trains Using Petri Nets and Heuristic Search , 2016, IEEE Transactions on Intelligent Transportation Systems.

[41]  Mark A. Lawley,et al.  Robust supervisory control policies for manufacturing systems with unreliable resources , 2002, IEEE Trans. Robotics Autom..

[42]  Hang Lei,et al.  Deadlock-free scheduling for flexible manufacturing systems using Petri nets and heuristic search , 2014, Comput. Ind. Eng..

[43]  Hongnian Yu,et al.  Advanced scheduling methodologies for flexible manufacturing systems using Petri nets and heuristic search , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[44]  Andrea Rossi,et al.  Dynamic scheduling of FMS using a real-time genetic algorithm , 2000 .

[45]  Keyi Xing,et al.  Robust supervisory control for avoiding deadlocks in automated manufacturing systems with one specified unreliable resource , 2014 .