Deadlock-free scheduling and control of flexible manufacturing cells using automata theory

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 36, Issue 2, 2006, Pages 327-337

  Golmakani, Hamid Reza ^a   Mills, James K ^a   Benhabib, Beno ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

Automata; Deadlock free scheduling; Heuristic search; Supervisory control

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTER SIMULATION; CONTROL THEORY; HEURISTIC PROGRAMMING; MATHEMATICAL PROGRAMMING; PETRI NETS; SCHEDULING;

DEADLOCK-FREE SCHEDULING; FLEXIBLE MANUFACTURING CELLS; HEURISTIC SEARCH; SUPERVISORY CONTROL;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 33244493562     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2005.851338     Document Type: Article

References (34)

1. K. B. Baker, Introduction to Sequencing and Scheduling. New York: Wiley, 1974.
2. M. Pinedo, Scheduling Theory: Algorithms and Systems. Englewood Cliffs, NJ: Prentice-Hall, 1995.
3. S. E. Ramaswamy and S. B. Joshi, "Deadlock-free schedules for automated manufacturing workstations," IEEE Trans. Robot. Autom., vol. 12, no. 3, pp. 391-400, Jun. 1996.
4. P. B. Luh and D. J. Hoitomt, "Scheduling of manufacturing systems using the Lagrangian relaxation technique," IEEE Trans. Automat. Contr., vol. 38, no. 7, pp. 1066-1079, Jul. 1993.
5. F.-S. Hsieh and S.-C. Chang, "Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems." IEEE Trans. Robot. Autom., vol. 10, no. 2, pp. 196-209, Apr. 1994.
6. H. S. Yan, N. S. Wang, X. Y. Cui, and J. G. Zhang, "Modeling, scheduling and control of flexible manufacturing systems by extended high-level evaluation Petri nets," IIE Trans., vol. 29, no. 2, pp. 147-158, 1997.
7. Y. Arzi and L. Iaroslavitz, "Neural network-based adaptive production control system for a flexible manufacturing cell under a random environment," IIE Trans., vol. 31, no. 3, pp. 217-230, 1999.
8. W. Guohua and P.-C. Yen, "A fuzzy logic system for dynamic job shop scheduling," in Proc. IEEE Int. Conf. Systems, Man and Cybernetics, Tokyo, Japan, 1999, pp. 546-551.
9. H. H. Xiong, M. Zhou, and C. N. Manikopoulos, "Scheduling flexible manufacturing systems based on timed Petri nets and fuzzy dispatching rules," in Proc. IEEE Symp. Emerging Technologies and Factory Automation, Paris, France, 1995, pp. 309-315.
10. S. R. Jernigan, S. Ramaswamy, and K. S. Barber, "On-line scheduling using a distributed simulation technique for intelligent manufacturing systems," in Proc. IEEE Int. Conf. Systems, Man and Cybernetics, Vancouver, Canada, 1995, pp. 2159-2164.
11. Y. Arzi and L. Iaroslavitz, "Operating an FMC by a decision-tree-based adaptive production control system," Int. J. Prod. Res., vol. 38, no. 3, pp. 675-697, 2000.
12. L. C. Rabelo, A. Jones, and Y. Yih, "Development of a real-time learning scheduler using Reinforcement Learning concepts," in Proc. IEEE Int. Symp. Intelligent Control, Columbus, OH, 1994, pp. 291-296.
13. T. O. Boucher, A. Yalcin, and T. Tai, "Dynamic routing and the performance of automated manufacturing cells," IIE Trans., vol. 32, no. 10, pp. 975-988, 2000.
14. A. J. Malo-Tamayo, D. Gavino-Contreras, and A. Ramirez-Trevino, "Petri net based control for the dynamic scheduling of a flexible manufacturing cell," in Proc. IEEE Int. Conf. Systems, Man and Cybernetics, San Diego, CA, 1998, pp. 553-557.
15. S. C. Park, N. Raman, and M. J. Shaw, "Adaptive scheduling in dynamic flexible manufacturing systems: A dynamic rule selection approach," IEEE Trans. Robot. Autom., vol. 13, no. 4, pp. 486-502, Aug. 1997.
16. I. Sabuncuoglu and S. Karabuk, "A beam search-based algorithm and evaluation of scheduling approaches for flexible manufacturing systems," IIE Trans., vol. 30, no. 2, pp. 179-192, 1998.
17. I. B. Abdallah, H. El Maraghy, and T. El Mekkawy, "An efficient search algorithm for deadlock-free scheduling in FMS using Petri nets," in Proc. IEEE Int. Conf. Robotics and Automation, Leuven, Belgium, 1998, pp. 1793-1798.
18. D. Y. Lee and F. DiCesare, "Scheduling flexible manufacturing systems using Petri nets and heuristic search," IEEE Trans. Robot. Autom., vol. 10, no. 2, pp. 123-132, Apr. 1994.
19. A. R. Moro, H. Yu, and G. Kelleher, "Hybrid heuristic search for the scheduling of flexible manufacturing systems using Petri nets," IEEE Trans. Robot. Autom., vol. 18, no. 2, pp. 240-245, Apr. 2002.
20. H. H. Xiong, M. Zhou, and R. J. Caudil, "A hybrid heuristic search algorithm for scheduling manufacturing systems," in Proc. IEEE Int. Conf. Robotics and Automation, Minneapolis, MN, 1996, pp. 2793-2797.
21. X. Cao and Y. Ho, "Models of discrete event dynamic systems," IEEE Control Syst. Mag., vol. 10, no. 4, pp. 69-76, Jun. 1990.
22. P. J. G. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event systems," SIAM J. Control Optim., vol. 25, no. 1, pp. 206-230, 1987.
23. M. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
24. S. Cavalieri and O. Mirabella, "A PN-based scheduler for a flexible semi-conductor manufacturing system," in Proc. IEEE Conf. Emerging Technologies and Factory Automation, Kauai, HI, 1996, vol. 2, pp. 724-729.
25. C. W. Cheng, T. H. Sun, and L. C. Fu, "Petri-Net based modeling and scheduling of a flexible manufacturing system," in Proc. IEEE Int. Conf. Robotics and Automation, San Diego, CA, 1994, vol. 1, pp. 513-518.
26. U. Syed, A. Robbi, and M. Zhou, "Anticipatory real-time scheduling in manufacturing cell design," in Proc. IEEE Int. Conf. Systems, Man and Cybernetics, Vancouver, Canada, 1995, pp. 4131-4136.
27. B. C. Damasceno and X. Xie, "Scheduling and deadlock avoidance of a flexible manufacturing system," in Proc. IEEE Int. Conf. Systems, Man and Cybernetics, San Diego, CA, 1998, vol. 1, pp. 564-569.
28. M. Der Jeng and S. Chang Chen, "Heuristic search based on Petri net structures for FMS scheduling," IEEE Trans. Ind. Appl., vol. 35, no. 1, pp. 196-202, Jan.-Feb. 1999.
29. H. H. Xiong and M. Zhou, "Deadlock-free scheduling of an automated manufacturing system based on Petri nets," in Proc. IEEE Int. Conf. Robotics and Automation, Albuquerque, NM, 1997, pp. 945-950.
30. S. C. Lauzon, A. K. L. Ma, J. K. Mills, and B. Benhabib, "An implementation methodology for the supervisory controller for flexible manufacturing workcells," SME, J. Manuf. Syst., vol. 16, no. 2, pp. 91-101, 1997.
31. A. Ramirez-Serano, C. Sriskandarajah, and B. Benhabib, "Automata-based modeling and control synthesis for manufacturing workcells with part-routing flexibility," IEEE Trans. Robot. Autom., vol. 16, no. 6, pp. 807-823, Dec. 2000.
32. A. Ramirez Serano, S. C. Zhu, and B. Benhabib, "Moore automata for flexible routing and flow control in manufacturing workcells," J. Auton. Robots, vol. 9, no. 1, pp. 59-69, 2000.
33. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation. New York: Addison-Wesley, 1979.
34. J. Pearl, Heuristics: Intelligent Search Strategies for Computer Problem Solving. Los Angeles, CA: Addison-Wesley, 1984.